Logical Concurrency Control from Sequential Proofs
Jyotirmoy V. DeshmukhG. RamalingamVenkatesh Prasad RanganathKapil VaswaniPublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- concurrency control
- database systems
- distributed databases
- real time databases
- database management systems
- multidatabase systems
- nested transactions
- fine grained
- distributed database systems
- concurrency control and recovery
- transaction processing
- b tree
- object oriented database systems
- real time database systems
- multiple versions
- transaction management
- concurrent execution
- deadlock free
- data structure
- data replication
- main memory databases
- update transactions
- similarity measure
- transaction model
- object oriented
- concurrency control algorithms
- query processing
- locking protocol