Re: completeness of the relational lattice
From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: Fri, 29 Jun 2007 09:20:18 -0700
Message-ID: <1183134018.947572.222310_at_o11g2000prd.googlegroups.com>
Date: Fri, 29 Jun 2007 09:20:18 -0700
Message-ID: <1183134018.947572.222310_at_o11g2000prd.googlegroups.com>
On Jun 28, 3:41 pm, Jan Hidders <hidd..._at_gmail.com> wrote:
> > > I invite you to challenge me to show that it can prove an equation
> > > that holds. Of course you should also check if all these equations can
> > > be derived by you.
One more challenge:
<xy> + S + Q = <xy> + S
where S * [] = [z], and Q header is unconstrained. (I don't see axioms about the lattice bottom element:-) Received on Fri Jun 29 2007 - 18:20:18 CEST