Monadic Second-Order Logic with Arbitrary Monadic Predicates.
Nathanaël FijalkowCharles PapermanPublished in: MFCS (1) (2014)
Keyphrases
- monadic second order logic
- expressive power
- data complexity
- datalog programs
- regular expressions
- first order logic
- tree automata
- query language
- user defined
- query answering
- datalog queries
- conjunctive queries
- horn clauses
- deductive databases
- np complete
- search space
- machine learning
- databases
- query evaluation
- finite automata