On the expressive power of monadic least fixed point logic.
Nicole SchweikardtPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- fixed point
- expressive power
- monadic second order logic
- computational properties
- first order logic
- data complexity
- query language
- relation algebra
- transitive closure
- relational algebra
- dynamical systems
- sufficient conditions
- belief propagation
- machine learning
- constraint databases
- default logic
- database
- recursive queries
- datalog queries