Datalog-Expressibility for Monadic and Guarded Second-Order Logic.
Manuel BodirskySimon KnäuerSebastian RudolphPublished in: CoRR (2020)
Keyphrases
- datalog programs
- deductive databases
- query answering
- logic programming
- guarded fragment
- datalog queries
- satisfiability problem
- fixpoint
- horn clauses
- conjunctive queries
- integrity constraints
- model theoretic
- expressive power
- classical logic
- higher order
- modal logic
- logic programs
- recursive queries
- valued logic
- monadic second order logic
- query language
- recursive programs
- fixpoint semantics
- first order logic
- automated reasoning
- database languages
- high order
- data exchange
- predicate logic
- query evaluation
- incomplete information
- stable models
- data complexity
- multi valued
- transitive closure
- decision procedures
- answer set programming
- truth values
- logical framework
- asynchronous circuits
- nonmonotonic reasoning
- programming language
- databases