The Dimension of the Negation of Transitive Closure.
Gregory L. McColmPublished in: J. Symb. Log. (1995)
Keyphrases
- transitive closure
- expressive power
- query evaluation
- constraint databases
- first order logic
- deductive databases
- spatial databases
- recursive queries
- query language
- logic programs
- directed acyclic graph
- logic programming
- relational algebra
- horn clauses
- binary relations
- spatial data
- datalog programs
- data model
- databases
- r tree
- multi dimensional
- data complexity
- query containment