Automated Detection of Serializability Violations under Weak Consistency.
Kartik NagarSuresh JagannathanPublished in: CoRR (2018)
Keyphrases
- automated detection
- correctness criteria
- correctness criterion
- automated analysis
- concurrency control
- snapshot isolation
- ultrasonic images
- lung cancer
- transaction management
- dermoscopy images
- multidatabase systems
- database systems
- nested transactions
- data analysis
- update propagation
- integrity constraints
- concurrency control protocols
- replicated databases
- social networks
- data mining
- database