Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control.
Philip S. YuHans-Ulrich HeissDaniel M. DiasPublished in: IEEE Trans. Knowl. Data Eng. (1991)
Keyphrases
- concurrency control
- deadlock free
- database management systems
- distributed databases
- database systems
- fine grained
- locking protocol
- b tree
- transaction processing
- multidatabase systems
- distributed database systems
- update transactions
- concurrency control and recovery
- multiple versions
- correctness criterion
- nested transactions
- integrity constraints
- query processing
- data analysis