Modeling selected real-time database concurrency control protocols in Uppaal.
Martin KotPublished in: Innov. Syst. Softw. Eng. (2009)
Keyphrases
- database
- real time
- concurrency control protocols
- real time database systems
- distributed databases
- relational databases
- database systems
- databases
- update transactions
- transaction processing systems
- real time databases
- database management systems
- query language
- data model
- transaction management
- low cost
- object oriented
- data analysis