Re: completeness of the relational lattice
Date: Fri, 22 Jun 2007 18:27:26 -0000
On Jun 22, 11:20 am, Jan Hidders <hidd..._at_gmail.com> wrote:
> We have to start somewhere. Otherwise I'm afraid we are not going to
> get anywhere. Even an ugly axiomatization is better then no
> axiomatization at all.
That's a good point. Why don't we move forward with what Jan has in the OP? There is certainly nothing objectionable in it. And if it isn't minimal, we can come back later and simplify it.
Marshall Received on Fri Jun 22 2007 - 20:27:26 CEST