Infinitary Queries and Their Asymptotic Probabilites II. Properties Definable in Least Fixed Point Logic.
Jerzy TyszkiewiczPublished in: Random Struct. Algorithms (1994)
Keyphrases
- fixed point
- constraint databases
- linear constraint databases
- query processing
- monadic second order logic
- sufficient conditions
- dynamical systems
- transitive closure
- floating point
- database
- belief propagation
- query language
- desirable properties
- data sources
- variational inequalities
- query evaluation
- expressive power
- fixed point theorem
- worst case
- higher order
- least squares
- first order logic
- recursive queries
- logic programming