Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.
Philipp RohdePublished in: Automata, Logics, and Infinite Games (2001)
Keyphrases
- monadic second order logic
- expressive power
- relational calculus
- relation algebra
- database query languages
- data complexity
- query language
- computational properties
- relational algebra
- first order logic
- constraint query languages
- transitive closure
- modal logic
- regular expressions
- aggregate functions
- xml data
- knowledge representation
- database