Login / Signup
Formalization and Proof of Correctness of the Crash Recovery Algorithm for an Open and Safe Nested Transaction Model.
Sanjay Kumar Madria
S. N. Maheshwari
B. Chandra
Bharat K. Bhargava
Published in:
Int. J. Cooperative Inf. Syst. (2001)
Keyphrases
</>
recovery algorithm
transaction model
multidatabase systems
transaction management
mobile computing
nested transactions
object oriented database systems
active databases
correctness criterion
concurrency control
transaction processing
database
access control
computer systems
context aware
distributed databases