Expressivity within second-order transitive-closure logic.

Flavio Ferrarotti Jan Van den Bussche Jonni Virtema

Published in: CoRR (2018)

Keyphrases

transitive closure
expressive power
computational properties
query evaluation
recursive queries
query language
constraint databases
first order logic
modal logic
binary relations
directed acyclic graph
multi dimensional
logic programming
spatial databases
relational algebra
random walk