Monadic Second-Order Logic with Arbitrary Monadic Predicates.
Nathanaël FijalkowCharles PapermanPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- monadic second order logic
- expressive power
- data complexity
- regular expressions
- first order logic
- datalog programs
- tree automata
- user defined
- query language
- horn clauses
- computational complexity
- building blocks
- finite automata
- deductive databases
- conjunctive queries
- datalog queries
- context free grammars
- database
- pattern matching
- xml data
- natural language processing
- artificial intelligence