An Overview of Transaction Logic.
Anthony J. BonnerMichael KiferPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- database
- artificial intelligence
- classical logic
- database management systems
- fine grained
- concurrency control
- data sets
- asynchronous circuits
- defeasible logic
- logical framework
- automated reasoning
- current status
- probabilistic logic
- transaction processing
- logic programming
- data structure
- digital circuits
- databases
- commit protocols
- database transactions