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