On the transitive closure of a wellfounded relation.

Edsger W. Dijkstra

Published in: The School of Niklaus Wirth (2000)

Keyphrases

transitive closure
binary relations
expressive power
constraint databases
first order logic
query evaluation
directed acyclic graph
recursive queries
spatial databases
query language
database systems
data structure