The Expressive Power of Fixed-Point Logic with Counting.
Martin OttoPublished in: J. Symb. Log. (1996)
Keyphrases
- fixed point
- expressive power
- computational properties
- monadic second order logic
- data complexity
- relation algebra
- first order logic
- query language
- relational algebra
- sufficient conditions
- transitive closure
- dynamical systems
- modal logic
- databases
- constraint databases
- belief propagation
- relational calculus
- logic programming
- markov chain
- classical logic
- query processing
- recursive queries
- machine learning