When Is Reachability Intrinsically Decidable?.

Barbara F. Csima Bakhadyr Khoussainov

Published in: Developments in Language Theory (2008)

Keyphrases

transitive closure
expressive power
first order logic
state space
query containment
query language
directed acyclic graph
function symbols
case study
datalog programs
database
data sets
computational complexity
query evaluation