Algebraic Structures for Transitive Closure.

Daniel J. Lehmann

Published in: Theor. Comput. Sci. (1977)

Keyphrases

transitive closure
algebraic structures
expressive power
constraint databases
partially ordered sets
inductive inference
query evaluation
recursive queries
first order logic
directed acyclic graph
query language
spatial databases
binary relations
databases
artificial intelligence
data complexity