Semantic Serializability: A Correctness Criterion for Processing Transactions in Advanced.
Angelo BraynerTheo HärderNorbert RitterPublished in: Data Knowl. Eng. (1999)
Keyphrases
- correctness criterion
- correctness criteria
- integrity constraints
- concurrency control
- transaction management
- multidatabase systems
- linear logic
- concurrency control protocols
- data replication
- concurrency control mechanism
- replicated databases
- database management systems
- database systems
- deductive databases
- real time
- transaction model
- fine grained
- database