Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops.

Wlodzimierz Bielecki Krzysztof Kraska Tomasz Klimek

Published in: PaCT (2013)

Keyphrases

transitive closure
binary relations
expressive power
constraint databases
first order logic
query evaluation
directed acyclic graph
recursive queries
relational calculus
spatial databases
relational algebra
database systems
expert systems
knowledge representation
spatial data
hierarchical structure