Formal Model of Correctness Without Serializability.
Henry F. KorthGregory D. SpeeglePublished in: SIGMOD Conference (1988)
Keyphrases
- formal model
- correctness criterion
- concurrency control
- correctness criteria
- security properties
- multidatabase systems
- concurrent execution
- integrity constraints
- distributed database systems
- transaction management
- nested transactions
- predicate calculus
- linear logic
- data replication
- distributed databases
- formal models
- information systems
- databases
- logic programming
- database systems