The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Christine ChoppyAnna DedovaSami EvangelistaSilien HongKais KlaiLaure PetrucciPublished in: Petri Nets (2010)
Keyphrases
- distributed database systems
- replicated data
- distributed databases
- cryptographic protocols
- deadlock detection
- distributed database management systems
- database systems
- database management systems
- concurrency control
- distributed systems
- commit protocols
- protocol specification
- data migration
- distributed data management
- concurrency control protocols
- transaction processing
- multidatabase systems
- database applications
- digital libraries
- transaction management
- real time database systems
- model checking
- read only transactions
- real world
- communication protocol
- database
- query optimization
- query language
- databases
- data sets