Keyphrases
- deductive databases
- consistency checking
- integrity constraints
- query answering
- fixpoint
- logic programming
- disjunctive deductive databases
- temporal reasoning
- semantic query optimization
- integrity checking
- query evaluation
- constraint checking
- temporal constraints
- conjunctive queries
- closed world assumption
- path consistency
- model theoretic
- declarative semantics
- functional dependencies
- databases
- semantics of logic programs
- fixpoint semantics
- constraint satisfaction problems
- linear programming
- programming language
- search algorithm
- high level