Boundedness of Monadic FO over Acyclic Structures.

Stephan Kreutzer Martin Otto Nicole Schweikardt

Published in: ICALP (2007)

Keyphrases

datalog programs
transitive closure
first order logic
np hard
np complete
sufficient conditions
datalog queries
structural features
data sets
query language
database systems
expressive power
deductive databases
case study
machine learning
fixpoint
real time