Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: completeness of the relational lattice

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@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 - 12:17:14 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US