---
title: "Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs"
authors:
  - "Shamim A. Naqvi"
  - "Lawrence J. Henschen"
doi: ""
url: "https://ijcai.org/proceedings/1983/5"
pdf: "https://ijcai.org/proceedings/1983/0005.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "25-27"
track: "Automatic Programming"
keywords:
---

# Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs

Shamim A. Naqvi, Lawrence J. Henschen

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 25-27.

## Abstract

An algorithm is presented which takes a least fixed point query expressed by a basis and inductive step and transforms it into a non-recursive iterative program. By augmenting a relational system with this algorithm, least fixed point queries can be handled automatically, and there is no need to proceduralize relational algebra for such queries.