A double arity hierarchy theorem for transitive closure logic.
Martin GroheLauri HellaPublished in: Arch. Math. Log. (1996)
Keyphrases
- transitive closure
- expressive power
- constraint databases
- directed acyclic graph
- query evaluation
- first order logic
- query language
- recursive queries
- spatial databases
- modal logic
- relational algebra
- concept hierarchy
- binary relations
- logic programming
- hierarchical structure
- deductive databases
- horn clauses
- nearest neighbor