Sequential verification of serializability.
Hagit AttiyaG. RamalingamNoam RinetzkyPublished in: POPL (2010)
Keyphrases
- concurrency control
- distributed database systems
- multidatabase systems
- verification method
- transaction management
- real time
- model checking
- face verification
- fingerprint verification
- correctness criterion
- sequential search
- functional verification
- genetic algorithm
- query optimization
- formal methods
- nested transactions