Datalog-Expressibility for Monadic and Guarded Second-Order Logic.
Manuel BodirskySimon KnäuerSebastian RudolphPublished in: ICALP (2021)
Keyphrases
- datalog programs
- deductive databases
- query answering
- logic programming
- datalog queries
- integrity constraints
- fixpoint
- valued logic
- classical logic
- horn clauses
- higher order
- transitive closure
- data complexity
- modal logic
- model theoretic
- monadic second order logic
- fixed point
- expressive power
- logic programs
- guarded fragment
- answer set programming
- recursive programs
- query evaluation
- asynchronous circuits
- data exchange
- recursive queries
- multi valued
- databases
- query containment
- predicate logic
- probabilistic databases
- program synthesis
- function symbols
- automated reasoning
- database languages
- default logic
- fixpoint semantics
- conjunctive queries
- incomplete information
- database systems