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: Torkel Franzen <torkel_at_sm.luth.se>
Date: 07 Jun 2004 17:05:20 +0200
Message-ID: <vcbbrjvs91r.fsf@beta19.sm.ltu.se>


Paul <paul_at_test.com> writes:

> I've got Prolog here and I'm playing with it trying to write a program
> that has two contradictory statements. It seems that the "not" predicate
> in Prolog works a bit strangely. Could you give me an example of a
> simple Prolog program that has two terms that contradict each other?

  There is no such thing in Prolog as asserting a negative fact.

> I think that Godel's Completeness theorem says that if a statement about
> a database is semantically true *irrespective of which semantics you
> choose*, then it's provable purely syntactically using first order
> logic.

  No, Godel's completeness theorem is tied specifically to the standard semantics of first order logic. Received on Mon Jun 07 2004 - 10:05:20 CDT

Original text of this message

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