Database Research Group

WSI – Database Systems Research Group

From Recursion To Iteration: Compiling SQL UDFs with Continuations


The goal of this thesis is to investigate and evaluate recursion removal techniques for (PL/pg)SQL UDFs. Continuation-Passing-Style, Defunctionalization, and Trampolining-Style can be used to transform recursive programs into equivalent tail-recursive programs, and finally into iterative programs. After manually compiling several examples, an experimental run-time evaluation should clarify whether this strategy is advantageous over naïve evaluation.


MSc

Contact: Denis Hirn

Assigned to: Tobias Burghardt