Towards a Unified View of Query- and Update-driven Inference in Deductive Databases.
Rainer MantheyPublished in: DAISD (1991)
Keyphrases
- deductive databases
- query evaluation
- update propagation
- semantic query optimization
- query processing
- logic programming
- fixpoint
- hypothetical reasoning
- logical implication
- integrity constraints
- integrity checking
- data complexity
- declarative language
- disjunctive deductive databases
- query language
- data management
- closed world assumption
- model theoretic
- database
- conjunctive queries
- xml data
- view definitions
- xpath queries
- declarative semantics
- datalog programs
- semantics of logic programs
- artificial intelligence
- constraint checking
- range queries
- bayesian networks
- multiple inheritance
- query optimizer
- fixpoint semantics
- query execution