Generation of concurrency control code using discrete-event systems theory.
Christopher DragertJürgen DingelKaren RudiePublished in: SIGSOFT FSE (2008)
Keyphrases
- concurrency control
- discrete event systems
- distributed databases
- database management systems
- petri net
- multidatabase systems
- real time databases
- database systems
- nested transactions
- fine grained
- complex systems
- telecommunication networks
- b tree
- transaction processing
- concurrency control and recovery
- multiple versions
- distributed database systems
- model based diagnosis
- discrete event
- transaction management
- temporal constraints
- real time database systems
- concurrency control protocols
- data analysis
- database
- decision support
- management system
- xml documents