Automated Detection of Serializability Violations Under Weak Consistency.
Kartik NagarSuresh JagannathanPublished in: CONCUR (2018)
Keyphrases
- automated detection
- correctness criteria
- correctness criterion
- automated analysis
- snapshot isolation
- concurrency control
- lung cancer
- transaction management
- ultrasonic images
- concurrency control protocols
- multidatabase systems
- distributed database systems
- nested transactions
- read only transactions
- database systems
- integrity constraints
- fine grained
- knowledge discovery
- distributed databases