Re: Distributivity in Tropashko's Lattice Algebra
From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 14 Aug 2005 00:39:02 -0700
Message-ID: <1124005142.765111.210320_at_g44g2000cwa.googlegroups.com>
Date: 14 Aug 2005 00:39:02 -0700
Message-ID: <1124005142.765111.210320_at_g44g2000cwa.googlegroups.com>
Marshall Spight wrote:
>
> In other words,
>
> A join (B union C) == (A join B) union (A join C)
> and
> A union (B join C) == (A union B) join (A union C)
> if and only if A and B have no attributes in common, and
> A and C have no attributes in common.
Ugh, I said that wrong. It should be
if and only if A and B have no attributes in common that
are not also in C, and
A and C have no attributes in common that are not also in B.
Marshall Received on Sun Aug 14 2005 - 09:39:02 CEST