Modeling real-time database concurrency control protocol two-phase-locking in Uppaal.
Martin KotPublished in: IMCSIT (2008)
Keyphrases
- concurrency control protocols
- real time database systems
- database systems
- concurrency control
- database
- real time databases
- real time
- distributed databases
- update transactions
- database management systems
- distributed database systems
- nested transactions
- real time systems
- transaction management
- optimistic concurrency control
- timing constraints
- transaction processing
- databases
- temporal constraints
- data model
- correctness criterion
- database applications
- security requirements
- scheduling algorithm
- locking protocol
- fine grained
- multidatabase systems
- relational databases
- data mining
- transaction model
- data structure
- acid properties