Keyphrases
- first order logic
- data types
- expressive power
- data model
- data structure
- database management systems
- inference rules
- database systems
- probabilistic reasoning
- theorem proving
- theorem prover
- knowledge representation
- quantifier elimination
- predicate calculus
- relational algebra
- horn clauses
- transitive closure
- inductive logic programming
- markov logic networks
- quantifier free
- abstract data types
- data streams
- classical first order logic
- database
- object oriented databases
- index structure
- higher order
- constraint databases
- query language
- type checking