Re: completeness of the relational lattice
From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: Wed, 27 Jun 2007 10:17:14 -0700
Message-ID: <1182964634.736966.244030_at_j4g2000prf.googlegroups.com>
Date: Wed, 27 Jun 2007 10:17:14 -0700
Message-ID: <1182964634.736966.244030_at_j4g2000prf.googlegroups.com>
On Jun 27, 10:14 am, Vadim Tropashko <vadimtro_inva..._at_yahoo.com>
wrote:
> exists xyzv : A \/ (B /\ C)
Oops:
{(u,w,t) | exists xyzv : A \/ (B /\ C)}
> The right hand side evaluates to
>
> exists zy : (exists xwv: A \/ B) /\ (exists xuv: A \/ C)
ditto Received on Wed Jun 27 2007 - 19:17:14 CEST