Login / Signup
Transitive closure according to Roy-Floyd-Warshall.
Makarius Wenzel
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
transitive closure
expressive power
recursive queries
query evaluation
constraint databases
first order logic
directed acyclic graph
error diffusion
query language
binary relations
spatial databases
relational algebra
data mining
conjunctive queries
incomplete information
relational databases
data analysis