Re: Proof of Completeness of Algebraic Properties of Relational Lattice

From: Neo <neo55592_at_hotmail.com>
Date: 22 May 2006 18:22:50 -0700
Message-ID: <1148347370.581956.31970@i39g2000cwa.googlegroups.com>

> > Ok, so first what is "Completeness"?
>
> See:
> http://groups.google.com/group/comp.databases.theory/browse_thread/thread/34d2fd86351b0181/#

In that thread, it seems Jan Hidders is the person mostly specifying "completeness" within his scope:

"We now call a set of algebraic identities *complete* if ifor all two expressions e1 and e2 that contain the same set of relation variables it holds that e1 =q= e2 iff e1 =a= e2."

As others also indicated, this doesn't seem to be the intuitive concept of "completeness" and it wasn't what I assumed either. If this is what is meant by "completeness" here, then I am completely exiting this thread :) Received on Mon May 22 2006 - 20:22:50 CDT