Tree Canonization and Transitive Closure

Kousha Etessami Neil Immerman

Published in: LICS (1995)

Keyphrases

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