Re: What to call this operator?

In article <1119991721.837976.26820_at_o13g2000cwo.googlegroups.com>, mikharakiri_nospaum_at_yahoo.com says...
> > the place of <OR> in the world puzzles me too. for one thing it appears
> > to me that it produces the same result of <AND> when there are no
> > attributes in common, ie. cartesian product. am i wrong?
>
> If relations have disjoint headers, the result would be an infinite
> relation, not the Cartesian product.

Minor nit: It would not be infinite if all the domains involved were finite.

> I don't quite see though how options #1 and #2 help reducing the number
> of primitive operations. How does D&D represents renaming and
> projection, for example?

As fundamental operators. Or to be more precise: projection is called <REMOVE>, specifies the attributes to remove instead of retain, and corresponds to the existential quantifier. I think D&D's <RENAME> could be dispensed with using Tropashko's technique, though.

-- 
Jon