Modular Composition and Verification of Transaction Processing Protocols.
Vasudevan JanarthananPurnendu SinhaPublished in: ICDCS (2003)
Keyphrases
- transaction processing
- transaction processing systems
- distributed databases
- concurrency control protocols
- database systems
- commit protocols
- timing constraints
- concurrency control
- database management systems
- distributed database systems
- mobile computing
- database server
- transaction management
- real time database systems
- database transactions
- transaction model
- snapshot isolation
- correctness criteria
- multidatabase systems
- database applications
- fine grained
- mobile devices
- databases
- replica control
- data types
- data management
- multi dimensional
- management system
- data mining