Keyphrases
- transitive closure
- relational calculus
- expressive power
- binary relations
- relational algebra
- constraint databases
- first order logic
- query language
- query evaluation
- recursive queries
- spatial databases
- directed acyclic graph
- complex objects
- aggregate functions
- attribute values
- bayesian networks
- background knowledge
- wordnet
- description logics
- keywords