Re: completeness of the relational lattice
Date: Fri, 22 Jun 2007 16:42:01 -0000
On Jun 22, 8:57 am, Marshall <marshall.spi..._at_gmail.com> wrote:
> On Jun 22, 2:06 am, Jan Hidders <hidd..._at_gmail.com> wrote:
> Also I don't see division in there yet. We were talking about
> including that, weren't we?
Oh, duh, you already said adding division makes it undecidable. Okay.
Marshall Received on Fri Jun 22 2007 - 18:42:01 CEST