Repairing serializability bugs in distributed database programs via automated schema refactoring.
Kia RahmaniKartik NagarBenjamin DelawareSuresh JagannathanPublished in: PLDI (2021)
Keyphrases
- distributed databases
- concurrency control
- distributed database systems
- concurrency control protocols
- source code
- transaction processing
- software systems
- concurrency control algorithms
- application programs
- data replication
- replicated data
- distributed environment
- databases
- multidatabase systems
- nested transactions
- data model
- high availability
- data warehousing
- read only transactions
- transaction management
- database
- acid properties
- database systems
- replicated databases
- data analysis
- locking protocol
- decision making
- correctness criterion
- real time database systems
- query language
- distributed systems
- database management systems
- data integration