Answering atomic queries in indefinite deductive databases.
Eliezer L. LozinskiiPublished in: Int. J. Intell. Syst. (1989)
Keyphrases
- general purpose
- deductive databases
- query evaluation
- semantic query optimization
- integrity constraints
- answering queries
- query language
- constraint checking
- query processing
- fixpoint
- logic programming
- integrity checking
- disjunctive deductive databases
- declarative language
- query answering
- closed world assumption
- data complexity
- database
- xml data
- conjunctive queries
- datalog programs
- range queries
- probabilistic databases
- declarative semantics
- data management
- functional dependencies
- model theoretic
- recursive queries
- view definitions
- transitive closure
- constraint databases
- object oriented
- data model