Concurrency and Communication in Transaction Logic.
Anthony J. BonnerMichael KiferPublished in: JICSLP (1996)
Keyphrases
- concurrency control
- transaction processing
- concurrent programming
- database systems
- concurrency control protocols
- database
- distributed databases
- communication networks
- nested transactions
- communication systems
- locking protocol
- communication cost
- logic programming
- classical logic
- timing constraints
- database management systems
- distributed database systems
- multi valued
- transaction management
- multi agent
- mobile computing
- concurrency control algorithms
- real time database systems
- communication protocol
- logical framework
- automated reasoning
- fine grained
- sensor networks
- data structure
- data mining