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_at_stones.force9.net>
Date: Thu, 17 Jun 2004 00:17:51 +0100
Message-ID: <1y4Ac.16004$NK4.2657560_at_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 Thu Jun 17 2004 - 01:17:51 CEST