Keyphrases
- correctness criteria
- correctness criterion
- snapshot isolation
- concurrency control
- desirable properties
- concurrency control protocols
- update propagation
- transaction processing systems
- multidatabase systems
- replicated databases
- integrity constraints
- management system
- response time
- multi party
- transaction model
- concurrent execution