Oracle FAQ Your Portal to the Oracle Knowledge Grid
 HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US

Home -> Community -> Usenet -> comp.databases.theory -> Re: Distributivity in Tropashko's Lattice Algebra

# Re: Distributivity in Tropashko's Lattice Algebra

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 17 Aug 2005 14:07:42 -0700

Mikito Harakiri wrote:
> vc wrote:
> > 00 union A = 0x, where x is either 0 or 1 depending on whether A is
> > empty or not.
>
> It doen't seem to be consistent either.
>
> Let
>
> A = {x=1}
> B = {x=2}
>
> Then
>
> A union 00 = 01
> B union 00 = 01
>
> And union of the both relations implies
>
> (A union B) union 00 = 01
>
> But A union B is empty, therefore
>
> (A union B) union 00 = 00

Sorry, I take it back. A union B is not empty. On the other hand, if

A = {x=1}
B = {y=2}

Then

A union B = 01

and

01 union 00 = 01 Received on Wed Aug 17 2005 - 16:07:42 CDT

Original text of this message

 HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US