completeness of the relational lattice
Date: Fri, 22 Jun 2007 09:06:28 -0000
Hello Vadim, Marshall and others,
The discussion seems to warrant it's own thread, so here goes.
There seems to be some disagreement on what algebra we are studying. So let's discuss this first. It is important this get's fixed, because otherwise any time I spent on proving things might be lost. I think it's also important that we settle on notation, because I noticed I was getting confused. Since it's bascially Vadim's idea I'll try to stick to his notation as much as possible.
So the syntax of the algebra is as follows: (E is the non-terminal for
- R : a relation name
I don't like having 10 and 11 because it clearly steps outside the relational model and first order logic, but I see no direct reasons to remove them. There was some doubt on the presence of [x] but I don't see how we can otherwise define projection. Also I don't see how we can avoid mentioning attributes since we already have 'x=y' where the are already mentioned.
- Jan Hidders