RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.
Xiaoxue MaShangru WuErnest Bota PobeeXiupei MeiHao ZhangBo JiangWing Kwong ChanPublished in: CoRR (2020)
Keyphrases
- transaction model
- correctness criterion
- multidatabase systems
- execution traces
- nested transactions
- concurrency control
- transaction processing
- transactional properties
- transaction management
- electronic commerce
- acid properties
- database
- distributed database systems
- inference rules
- desirable properties
- integrity constraints
- fine grained
- database systems
- set of inference rules