Re: Guessing?

From: Brian Selzer <brian_at_selzer-software.com>
Date: Thu, 24 Jul 2008 09:25:39 -0400
Message-ID: <op%hk.18888$N87.8327@nlpi068.nbdc.sbc.com>

"David BL" <davidbl_at_iinet.net.au> wrote in message news:cf134a05-1096-4a43-b1fb-c4c45e03eb42_at_c65g2000hsa.googlegroups.com...
> On Jul 24, 10:56 am, "Brian Selzer" <br..._at_selzer-software.com> wrote:
>
>> > In a database encoding there is only a single defined interpretation
>> > of the encoded attributes as values in the RM formalism. Therefore
>> > there is no distinction between symbol and value that can be made.
>>
>> I don't agree. Under the domain closure, unique name and closed world
>> assumptions, a database is a proposition that is supposed to be true.
>> How
>> the database is physically implemented is irrelevant.
>
> A relation is formally defined as a set of tuples. Nothing more!

There are several definitions, but that is neither here nor there. Relations were chosen because they look and behave a lot like the extensions of first order predicates. Of course the extension of a predicate includes both positive and negative formulae, but the closed world assumption enables the elimination of the negative formulae. Received on Thu Jul 24 2008 - 08:25:39 CDT

Original text of this message