Results on Reasoning about Updates in Transaction Logic.
Anthony J. BonnerMichael KiferPublished in: Transactions and Change in Logic Databases (1998)
Keyphrases
- formal theory
- database transactions
- modal operators
- logic programming
- modal logic
- qualitative reasoning
- causal reasoning
- probabilistic logic
- database
- concurrency control
- transaction management
- digital circuits
- defeasible logic
- logical framework
- automated reasoning
- spatial reasoning
- update propagation
- linear logic
- transaction model
- probabilistic knowledge
- classical logic
- neural network
- data sets