# Re: curiousity of sets of no relations?

Date: Sat, 10 Jun 2006 16:58:27 GMT

Message-ID: <TSCig.7285$IK3.5860_at_pd7tw1no>

Bob Badour wrote:

> P.S. Table_Dee is not a valid result for Intersection because

*> intersection is defined on specific types of relations and not on
**> general relations the way Join is defined. A universal relation on RT is
**> not a valid result for Join because Join is not defined on a specific
**> type the way Intersection is.
*

I'm easily confused when I try to compare the two, maybe because of thinking that the set of all possible intersections is a subset of all possible joins. Red herring maybe due to introducing def'ns of competing operators, same phenomenon that makes contract law such a mess.

(one practical reason i like this "universal" relation, maybe it's the same reason I like <OR> and <NOT> in TTM is that it is a 'defined' way to produce the extension of a domain that is faster than typing it in!)

p Received on Sat Jun 10 2006 - 18:58:27 CEST