From Serializable to Causal Transactions (Abstract).
Michel RaynalGérard Thia-KimeMustaque AhamadPublished in: PODC (1996)
Keyphrases
- correctness criterion
- concurrency control
- concurrent execution
- correctness criteria
- transaction model
- snapshot isolation
- transaction processing
- concurrency control mechanism
- transaction management
- transaction processing systems
- bayesian networks
- integrity constraints
- distributed databases
- desirable properties
- database systems
- causal reasoning
- fine grained
- database
- causal models
- multidatabase systems
- high level
- read write
- linear logic
- database transactions
- distributed database systems
- databases
- higher level
- data mining
- update propagation
- mobile computing
- concurrency control protocols
- causal graph
- transaction data
- data model
- logic programs