Specification, verification, and synthesis of concurrency control components.
Tuba Yavuz-KahveciTevfik BultanPublished in: ISSTA (2002)
Keyphrases
- concurrency control
- distributed databases
- fine grained
- database systems
- database management systems
- multidatabase systems
- real time databases
- distributed database systems
- object oriented database systems
- concurrency control and recovery
- nested transactions
- real time database systems
- transaction management
- transaction processing
- multiple versions
- concurrency control protocols
- b tree
- data replication
- deadlock free
- model checking
- correctness criterion
- business rules
- data warehousing
- main memory databases
- intelligent agents
- decision making
- correctness criteria
- locking protocol
- databases