I keep wondering why polymorpism concepts cannot be tied to or "updgraded" to sets. If we solve this, then perhaps we can satisfy both relational fans and OO fans:
[link|http://www.c2.com/cgi/wiki?SetsAndPolymorphism|http://www.c2.com/cg...tsAndPolymorphism]