Transitive Closure of Infinite Graphs and Its Applications.

Wayne Kelly William Pugh Evan Rosser Tatiana Shpeisman

Published in: LCPC (1995)

Keyphrases

transitive closure
expressive power
constraint databases
query evaluation
directed acyclic graph
recursive queries
binary relations
query language
spatial databases
relational algebra
first order logic
graph theoretic
database
xml documents
linear constraint databases