This book investigates the problem of translating relational queries into iterative programs using methods and techniques from the areas of functional programming and program transformation. In several steps, programs which…