Reachability Logic: An Efficient Fragment of Transitive Closure Logic.

Natasha Alechina Neil Immerman

Published in: Log. J. IGPL (2000)

Keyphrases

transitive closure
expressive power
constraint databases
modal logic
database systems
first order logic
query evaluation
database
logic programming
spatial databases
relational algebra
recursive queries
query language
directed acyclic graph