Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- disjunctive deductive databases
- semantic query optimization
- declarative language
- integrity checking
- semantic information
- model theoretic
- closed world assumption
- high level
- declarative semantics
- natural language
- fixpoint semantics
- semantics of logic programs
- multiple inheritance
- semantic knowledge
- software engineering
- knowledge representation