Comment by garmaine

Uh… isn’t this exactly what the (typed) relational model is?