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: In an RDBMS, what does "Data" mean?

Re: In an RDBMS, what does "Data" mean?

From: Paul <paul_at_test.com>
Date: Thu, 17 Jun 2004 00:17:51 +0100
Message-ID: <1y4Ac.16004$NK4.2657560@stones.force9.net> 





Alfredo Novoa wrote:


>>>There are many reasons that make that theorem irrelevant in the

>>>database context.

>>

>>Such as...?



> 


> It simply shows that we can prove if a relational formula is valid or not.



Are you sure? I thought that Godel's completeness theorem is basically 
linking syntax with semantics; showing that the two different approaches 
to logic will give the same result?



Paul.
Received on Wed Jun 16 2004 - 18:17:51 CDT












Original text of this message













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