Re: completeness of the relational lattice
From: Marshall <marshall.spight_at_gmail.com>
Date: Fri, 22 Jun 2007 16:42:01 -0000
Message-ID: <1182530521.852429.12170_at_q19g2000prn.googlegroups.com>
Date: Fri, 22 Jun 2007 16:42:01 -0000
Message-ID: <1182530521.852429.12170_at_q19g2000prn.googlegroups.com>
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