A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs.
Granville BarnettShengchao QinPublished in: ICFEM (2012)
Keyphrases
- concurrency control
- mixed mode
- transaction processing
- transaction model
- distributed databases
- database systems
- update transactions
- database management systems
- distributed database systems
- multidatabase systems
- fine grained
- correctness criterion
- nested transactions
- transaction management
- b tree
- fault tolerant
- code generation
- data replication
- data model
- concurrency control protocols
- real time database systems
- application programs
- logic programming
- database