Re: Question about Date & Darwen <OR> operator
Date: 2 Sep 2005 16:18:17 -0700
Message-ID: <1125703097.709646.6530_at_g49g2000cwa.googlegroups.com>
Marshall Spight wrote:
> Mikito Harakiri wrote:
> > Assuming domains x in {1,2} and y in {a,b} what is the result of
> >
> > {(x=1)} <OR> {(y=a)}
>
> As I understand it, the result would be:
>
> x y
> ---
> 1 a
> 1 b
> 2 a
>
>
> which is
> { (x, y) | x = 1 or y = a }
>From http://c2.com/cgi/wiki?RelationalAlgebra
a OR b : An extended form of union; if the headings of the operands
differ, then "missing" attributes take on all possible values. Thus the
result may be very large or even infinite. When the operands have the
same heading, then this is the same as a traditional SQL UNION, except
that all duplicates are always removed.
This informal description matches the other alternative. What is the
formal definition?