Re: Guessing?
From: David BL <davidbl_at_iinet.net.au>
Date: Thu, 24 Jul 2008 01:45:56 -0700 (PDT)
Message-ID: <cf134a05-1096-4a43-b1fb-c4c45e03eb42_at_c65g2000hsa.googlegroups.com>
Date: Thu, 24 Jul 2008 01:45:56 -0700 (PDT)
Message-ID: <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
A relation is formally defined as a set of tuples. Nothing more!
> > 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.