Re: Relational lattice

From: Jan Hidders <>
Date: Thu, 10 Mar 2005 21:13:15 GMT
Message-ID: <LL2Yd.34677$>

Vadim Tropashko wrote:
> Is it possible to express transitive closure in a finite set of
> equations as well?

Good question. Very good question. I suspect not, but I'm not sure and certainly have no proof. I do know that you can if you use the nested relational algebra.

By the way, I just ran into a somewhat related paper. It's probably not exactly what you are looking for, but you might be interested in it:

"Solving equations in the relational algebra"

> BTW, I just came across
> describing the "simplified algebra in the Third Manifesto". (I confess
> that I don't have a copy of any manifesto book:-).

I won't tell. :-)

> The AND operator is
> a natural join, but the OR is defined differently! It is immediate,
> that the Third Manifesto definition doesn't respect the absorption law:
> A OR (A AND B) header should be the union of the A and B headers,
> therefore the result can't be A. Without absorption law the structure
> is merely a semilattice, where the order induced by the meet operation
> -- OR -- is different from the order induced by the join. The nice
> feature of the manifesto algebra is that it respects distributive law.

So, how about the cylindric set algebras? For a short description look for "Applications of Alfred Tarski's Ideas in Database Theory".

  • Jan Hidders
Received on Thu Mar 10 2005 - 22:13:15 CET

Original text of this message