Serializability Preserving Extensions of Concurrency Control Protocols.
Dmitri ChkliaevJozef HoomanPeter van der StokPublished in: Ershov Memorial Conference (1999)
Keyphrases
- concurrency control protocols
- distributed databases
- concurrency control
- real time databases
- database systems
- correctness criterion
- real time database systems
- transaction management
- nested transactions
- multidatabase systems
- temporal constraints
- security requirements
- correctness criteria
- transaction processing systems
- transaction processing
- distributed database systems
- real time
- replicated databases
- linear logic
- distributed environment