Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring.
Kia RahmaniKartik NagarBenjamin DelawareSuresh JagannathanPublished in: CoRR (2021)
Keyphrases
- distributed databases
- concurrency control
- distributed database systems
- concurrency control protocols
- source code
- transaction processing
- application programs
- data replication
- concurrency control algorithms
- software systems
- replicated data
- multidatabase systems
- data warehousing
- nested transactions
- data model
- read only transactions
- distributed environment
- databases
- correctness criterion
- database
- high availability
- xml data
- database systems
- locking protocol
- real time database systems
- transaction management
- replicated databases
- distributed systems
- data sources