Re: Distributivity in Tropashko's Lattice Algebra

vc wrote:
> To sum up, the three '1' '0' combinations are :
>
> 00 union A = 01

No rowids, then. Sigh.

> 00 join A = 'a0' where 'a' is A's set of attrs.
>
> 01 union A = 01
> 01 join A = A
>
> 10 union A = A
> 10 join A = 10

Let see.

00 union B = 01
01 union A = 01

Therefore

00 union B = 01 union A

Let B = 00, then

00 union 00 = 01 union A

by idempotence

00 = 01 union A

Oops! A definition of 00. Let A = 01. Then

00 = 01 Received on Wed Aug 17 2005 - 14:41:44 CDT