Proving Consistency of Database Transactions.

Georges Gardarin Michel A. Melkanoff

Published in: VLDB (1979)

Keyphrases

database transactions
integrity constraints
execution model
database
transaction processing
snapshot isolation
business intelligence
transaction model