Compiling FAD, a database programming language

Abstract

FAD is a strongly typed, computationally complete database programming language designed for creating and manipulating shared complex objects within Bubba, a parallel database system developed at MCC. This paper describes the compiler that transforms a FAD program into a load module targeted for execution on Bubba. In addition to low level code generation, the major functions of the compiler are static type checking and inferencing, optimization with respect to Bubba resources, and parallelization. This leads to efficient, type secure execution on Bubba.