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: Proof of Completeness of Algebraic Properties of Relational Lattice

Re: Proof of Completeness of Algebraic Properties of Relational Lattice

From: Neo <neo55592_at_hotmail.com>
Date: 22 May 2006 14:06:06 -0700
Message-ID: <1148331966.569109.243450@j33g2000cwa.googlegroups.com> 





> ... A single flaw is enough to invalidate a proof.




Ok, so first what is "Completeness"? (or is this self-defined by the
system showing that it is complete. Is there a reference to judge by,
that is not within the system itself?)
Received on Mon May 22 2006 - 16:06:06 CDT












Original text of this message













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