Logical Concurrency Control from Sequential Proofs.
Jyotirmoy V. DeshmukhG. RamalingamVenkatesh Prasad RanganathKapil VaswaniPublished in: ESOP (2010)
Keyphrases
- concurrency control
- database management systems
- distributed databases
- database systems
- real time databases
- distributed database systems
- fine grained
- multidatabase systems
- concurrency control and recovery
- nested transactions
- b tree
- object oriented database systems
- data replication
- transaction processing
- real time database systems
- multiple versions
- transaction management
- main memory databases
- deadlock free
- correctness criterion
- data structure
- locking protocol
- management system
- mobile devices
- timing constraints
- data analysis
- databases
- correctness criteria
- database