Re: computational model of transactions

On Fri, 04 Aug 2006 20:29:06 GMT, "Brian Selzer" <brian_at_selzer-software.com> wrote:

[snip]

>No, the circumstances underpinning a fact have changed, and the database
>must be changed to reflect that. A true statement is either an axiom or
>reflects circumstances that exist in a real or conceptual frame of reference
>that is called the universe of discourse. Axioms are always true and can
>stand by themselves, otherwise they wouldn't be called axioms; therefore,

     False statement. Axioms are statements that are *assumed* to be true.

[snipped argument based on false premise]

Sincerely,

Gene Wirchenko Received on Fri Aug 04 2006 - 23:07:12 CEST