Re: Proof of Completeness of Algebraic Properties of Relational Lattice

From: Marshall <marshall.spight_at_gmail.com>
Date: 20 May 2006 17:05:59 -0700
Message-ID: <1148169959.768801.251860@i39g2000cwa.googlegroups.com>

Marshall wrote:
> The Relational Lattice algebra ("RL") consists of two
> generic operations on relations: natural join, written
> "&&", and inner union, written "||".

Thanks as always to Vadim Tropashko, for his work on the relational lattice, and particularly to Jan Hidders, whose demonstration of a comparable proof for the booleans made this possible. Curses to the Google Groups team for reformatting my text. Darn them to heck!

Any errors or omissions are my own.

As always, any comments, complaints, criticisms, corrections, or other things starting with 'c' welcome.

Marshall Received on Sat May 20 2006 - 19:05:59 CDT