The Complexity and Expressive Power of Second-Order Extended Logic.
Shiguang FengXishun ZhaoPublished in: CoRR (2022)
Keyphrases
- expressive power
- monadic second order logic
- computational properties
- first order logic
- data complexity
- query language
- transitive closure
- exptime complete
- relational algebra
- relation algebra
- decision problems
- relational calculus
- machine learning
- constraint query languages
- classical logic
- horn clauses
- modal logic
- logic programming
- query processing
- computational complexity
- databases
- relational query languages