DPL to Express a Concurrency Control Using Transaction and Object Semantics.
Andry RakotonirainyPublished in: ECOOP Workshop (1993)
Keyphrases
- concurrency control
- method invocation
- nested transactions
- distributed databases
- correctness criterion
- database systems
- transaction processing
- fine grained
- database management systems
- real time databases
- object oriented database systems
- distributed database systems
- real time database systems
- transaction management
- multidatabase systems
- concurrency control and recovery
- deadlock free
- transaction model
- multiple versions
- concurrency control protocols
- b tree
- optimistic concurrency control
- database
- locking protocol
- concurrent execution
- concurrency control algorithms
- main memory databases
- correctness criteria
- linear logic
- concurrency control mechanism
- integrity constraints