Date: Thu, 24 Jul 2008 01:45:56 -0700 (PDT)
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! Received on Thu Jul 24 2008 - 03:45:56 CDT