I think their point is that it's the ability to express relational algebra in a natural way that's important, and the static/dynamic types thing is orthogonal t

I think their point is that it's the ability to express relational algebra in a natural way that's important, and the static/dynamic types thing is orthogonal to that.