Surajit Chaudhuri Database Types: A Plea for Simplicity (A Naive Semantics of Subtyping). 165-181 1990 DS-4 db/conf/ds/ds90.html#Chaudhuri90