Login / Signup
A Formal Approach to Recovery by Compensating Transactions.
Henry F. Korth
Eliezer Levy
Abraham Silberschatz
Published in:
VLDB (1990)
Keyphrases
</>
database
formal model
concurrency control
distributed database systems
formal specification
transaction processing
transaction management
image recovery
data sets
artificial intelligence
integrity constraints
transaction data
mathematical theory
main memory databases