Re: computational model of transactions

From: Marshall <marshall.spight_at_gmail.com>
Date: 5 Aug 2006 10:12:30 -0700
Message-ID: <1154797950.749050.295120@p79g2000cwp.googlegroups.com>

Brian Selzer wrote:

> The point
> I was trying to make was based on the idea that there can only be two types
> of propositions in a database: (1) propositions that are invariably true,
> that is, whose truth is guaranteed not to change regardless of any
> circumstance that may arise in the world of the database; and (2)
> propositions whose truth depended on the state of the world of the database
> that was current at the point of the last update.

I'm not sure I follow this. Can you give some examples?

Marshall Received on Sat Aug 05 2006 - 12:12:30 CDT