Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations.
Xiaoxue MaImran AshrafW. K. ChanPublished in: IEEE Trans. Reliab. (2023)
Keyphrases
- transaction model
- transaction processing
- acid properties
- nested transactions
- transaction management
- transactional properties
- long lived
- distributed databases
- concurrency control
- multidatabase systems
- database systems
- commit protocols
- hidden markov models
- object oriented database systems
- database management systems
- mobile computing
- correctness criterion
- real time database systems
- business applications
- active databases
- sequential patterns
- long sequences
- model based diagnosis
- update transactions
- advanced transaction models
- novice programmers
- fault tolerant
- electronic commerce
- hardware designs
- database server