A Formal Specification of the Concurrency Control in Real-Time Databases.
Ekaterina PavlovaDang Van HungPublished in: APSEC (1999)
Keyphrases
- formal specification
- real time databases
- concurrency control
- database systems
- distributed databases
- model checking
- database management systems
- real time database systems
- fine grained
- timing constraints
- multidatabase systems
- object oriented database systems
- distributed database systems
- transaction processing
- concurrency control protocols
- b tree
- reverse engineering
- transaction management
- software components
- transaction model
- management system
- database