Incremental Transitive Closure for Zonal Abstract Domain.

Kenny Ballou Elena Sherman

Published in: NFM (2022)

Keyphrases

transitive closure
expressive power
recursive queries
query language
query evaluation
first order logic
constraint databases
domain specific
directed acyclic graph
relational algebra
spatial databases
binary relations
databases
co occurrence