Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.
Shamim A. NaqviLawrence J. HenschenPublished in: IJCAI (1983)
Keyphrases
- fixed point
- constraint databases
- linear constraint databases
- query language
- sufficient conditions
- query processing
- dynamical systems
- floating point
- belief propagation
- query evaluation
- relational database systems
- data sources
- variational inequalities
- policy iteration
- free energy
- fixed point theorem
- database
- multi view
- bargaining solution