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

Yoshiki Nakamura

Published in: CoRR (2023)

Keyphrases

transitive closure
binary relations
expressive power
first order logic
query evaluation
spatial databases
constraint databases
query language
directed acyclic graph
recursive queries
spatial relations
database systems
data mining
expert systems
linear constraints