Viper: A Fast Snapshot Isolation Checker.
Jian ZhangYe JiShuai MuCheng TanPublished in: EuroSys (2023)
Keyphrases
- snapshot isolation
- database replication
- concurrency control
- replicated databases
- transaction management
- transaction processing
- integrity constraints
- high scalability
- database systems
- application programs
- distributed database systems
- multidatabase systems
- database management systems
- operating system
- distributed databases
- client server
- data replication
- tree structure
- building blocks
- data processing
- web applications