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_at_p79g2000cwp.googlegroups.com>
> 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.
Date: 5 Aug 2006 10:12:30 -0700
Message-ID: <1154797950.749050.295120_at_p79g2000cwp.googlegroups.com>
>
> 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.