Hypothetical Queries to Deductive Databases.
Troels AndreasenHenning ChristiansenPublished in: DDLP (1997)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- query language
- constraint checking
- disjunctive deductive databases
- integrity constraints
- query processing
- fixpoint
- logic programming
- integrity checking
- data complexity
- probabilistic databases
- conjunctive queries
- closed world assumption
- view definitions
- model theoretic
- query optimization
- declarative semantics
- declarative language
- machine learning
- hypothetical reasoning
- fixpoint semantics
- artificial intelligence
- data sources
- recursive queries
- software engineering
- answering queries
- data management
- range queries