Two-Variable Universal Logic with Transitive Closure.

Emanuel Kieronski Jakub Michaliszyn

Published in: CSL (2012)

Keyphrases

transitive closure
expressive power
constraint databases
query language
query evaluation
spatial databases
first order logic
directed acyclic graph
recursive queries
relational algebra
binary relations
logic programming
modal logic
tree structure
data model
data structure
query containment
data management