A Formal Model of Concurrency Control Mechanisms for Database Systems.
Philip A. BernsteinDavid W. ShipmanPublished in: Berkeley Workshop (1978)
Keyphrases
- formal model
- concurrency control
- database systems
- database management systems
- real time databases
- multidatabase systems
- distributed database systems
- distributed databases
- multilevel secure
- concurrency control and recovery
- transaction management
- transaction processing
- object oriented database systems
- real time database systems
- query optimization
- database technology
- fine grained
- data model
- nested transactions
- data management
- multiple versions
- database
- concurrent execution
- main memory databases
- deadlock free
- concurrency control algorithms
- databases
- data replication
- b tree
- data types
- database server
- database applications
- management system
- concurrency control protocols
- snapshot isolation