Geach on atomicity and singular propositions.

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

electronic commerce
multidatabase systems
transaction management
nested transactions
acid properties
correctness criterion
database systems
expert systems
truth values
decision making
e learning
distributed database systems
transaction model
commit protocols