Sign in
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