Tree Canonization and Transitive Closure.

Kousha Etessami Neil Immerman

Published in: Inf. Comput. (2000)

Keyphrases

transitive closure
expressive power
constraint databases
query evaluation
directed acyclic graph
query language
first order logic
tree structure
labeling scheme
recursive queries
spatial databases
binary relations
data complexity
b tree
index structure
hierarchical structure
machine learning