Re: Proof of Completeness of Algebraic Properties of Relational Lattice

Vadim Tropashko wrote:
> Existence of distributor hinges on the following
> inequality:
>
>
> A /\ (B \/ C) >= (A /\ B) \/ (A /\ C)

This identity is true in any lattice, not only relational one. Hence it can be proved witut need to invoke distributivity criteria.

1. A /\ (B \/ C) >= (A /\ B)

Proof: A /\ (B \/ C) /\ (A /\ B) = A /\ B /\ (B \/ C) = A /\ B

2. A /\ (B \/ C) >= (A /\ C)

3. A /\ (B \/ C) >= (A /\ B) \/ (A /\ C) Received on Wed May 24 2006 - 12:00:25 CDT