Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations.

Yoshiki Nakamura

Published in: LICS (2023)

Keyphrases

transitive closure
binary relations
expressive power
constraint databases
directed acyclic graph
query evaluation
spatial databases
query language
first order logic
recursive queries
databases
nearest neighbor
complex objects
relational algebra