On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.
Michael KiferPublished in: J. ACM (1998)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- integrity constraints
- query processing
- fixpoint
- logic programming
- logical implication
- disjunctive deductive databases
- conjunctive queries
- query language
- query containment
- unions of conjunctive queries
- probabilistic databases
- declarative semantics
- model theoretic
- integrity checking
- closed world assumption
- query answering
- xml data
- data complexity
- transitive closure
- data management
- description logics
- database
- view definitions
- datalog programs
- answering queries
- recursive queries
- query optimization
- data sources
- database queries
- range queries
- semantics of logic programs
- decision procedures
- stable models
- query execution
- logic programs
- database systems
- databases