Keyphrases
- model theoretic
- deductive databases
- description logics
- proof theoretic
- operational semantics
- decision procedures
- logic programs
- fixpoint
- default reasoning
- probabilistic reasoning
- relational algebra
- reasoning problems
- query language
- data model
- bayesian networks
- integrity constraints
- logic programming
- finite state machines
- knowledge base
- algebraic structure
- database
- formal semantics
- query evaluation
- query processing
- special case