Rule-based translation of relational queries into iterative programs

Abstract

Over the last decade many techniques for optimizing relational quenes have been developed However, the problem of translating these set-oriented query specifications into other forms for efficient execution has received little attention This paper presents an algorithm that translates algebra-based query specifications into iterative programs for an efficient execution While the source level operates on sets of tuples, the generated programs manipulate tuples as their basic objects The algorithm incorporates techmques which have been developed in the areas of functional programming and program transformation.