Proving Atomicity: An Assertional Approach.

Gregory V. Chockler Nancy A. Lynch Sayan Mitra Joshua A. Tauber

Published in: DISC (2005)

Keyphrases

electronic commerce
multidatabase systems
acid properties
nested transactions
transaction management
transaction processing
data sets
databases
artificial intelligence
search algorithm
xml documents
petri net
concurrency control