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: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
- transaction model
- correctness criterion
- multidatabase systems
- execution traces
- transaction management
- concurrency control
- transaction processing
- integrity constraints
- query optimization
- fault tolerant
- nested transactions
- transactional properties
- desirable properties
- database systems
- fault tolerance
- novice programmers