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: 21 May 2006 11:03:45 -0700
Message-ID: <1148234625.103344.229570@38g2000cwa.googlegroups.com>

Or more accurately/practically, how does one verify that a proof is correct? Received on Sun May 21 2006 - 13:03:45 CDT

This message: [ Message body ]
Next message: mAsterdam: "Re: Ping: dawn, some mvl questions"
Previous message: Keith H Duggar: "Re: Ping: dawn, some mvl questions"
Maybe in reply to: Marshall: "Proof of Completeness of Algebraic Properties of Relational Lattice"
Next in thread: Marshall: "Re: Proof of Completeness of Algebraic Properties of Relational Lattice"
Reply: Marshall: "Re: Proof of Completeness of Algebraic Properties of Relational Lattice"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message

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