Modular Composition of Transaction Programs with Deductive Databases.
Anthony J. BonnerPublished in: DBPL (1997)
Keyphrases
- deductive databases
- fixpoint
- declarative semantics
- integrity constraints
- update propagation
- database transactions
- stable models
- logic programming
- fixpoint semantics
- disjunctive deductive databases
- semantic query optimization
- query evaluation
- declarative language
- model theoretic
- closed world assumption
- integrity checking
- semantics of logic programs
- concurrency control
- database
- constraint checking
- logic programs
- answer set semantics
- normal logic programs
- datalog programs
- machine learning
- hypothetical reasoning
- transaction processing
- truth values
- transaction model
- logical implication
- answer set programming
- answer sets
- distributed databases
- database systems
- knowledge base