Transitive Closure Based Schedule of Loop Nest Statement Instances.

Wlodzimierz Bielecki Marek Palkowski

Published in: ACS (2018)

Keyphrases

transitive closure
expressive power
query evaluation
constraint databases
directed acyclic graph
first order logic
recursive queries
query language
spatial databases
binary relations
scheduling problem
relational algebra