Re: computational model of transactions

"paul c" <toledobythesea_at_oohay.ac> wrote in message news:SM4Bg.318554$iF6.161336_at_pd7tw2no...
> Marshall wrote:
>> 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
>>
>
> 1) all sets have subsets?
>
> 2) king of france is bald?
>
> (BTW, in neither case does the truth depend on database currency.)
>
A better example would be:

2) The editor of the New York Times committed treason.

That truth does indeed depend on database currency, because that editor could be tried and executed, or at a minimum, fired. In either case, a new editor would need to be hired to replace him.

> p
Received on Sun Aug 06 2006 - 00:32:50 CEST