Consistency without concurrency control in large, dynamic systems.
Mihai LetiaNuno M. PreguiçaMarc ShapiroPublished in: ACM SIGOPS Oper. Syst. Rev. (2010)
Keyphrases
- dynamic systems
- concurrency control
- correctness criteria
- distributed databases
- distributed database systems
- snapshot isolation
- database management systems
- correctness criterion
- complex systems
- discrete event
- database systems
- replicated data
- update transactions
- real time databases
- consistency based diagnosis
- concurrency control protocols
- fine grained
- dynamical systems
- data replication
- nested transactions
- transaction processing
- multidatabase systems
- transaction management
- concurrency control and recovery
- real time database systems
- b tree
- model based diagnosis
- data analysis
- multiple versions
- acid properties
- concurrent execution
- real time
- transaction model
- cooperative
- update propagation
- main memory databases
- particle filter
- constraint satisfaction problems
- database