Keyphrases
- deductive databases
- logic programming
- integrity constraints
- semantic query optimization
- fixpoint
- integrity checking
- background knowledge
- logical implication
- query evaluation
- domain knowledge
- knowledge representation
- knowledge base
- expert systems
- disjunctive deductive databases
- hypothetical reasoning
- logic programs
- constraint checking
- nonmonotonic reasoning
- declarative semantics
- object oriented
- declarative language
- data complexity
- programming language
- general purpose
- metadata
- machine learning
- closed world assumption
- database