\contentsline {section}{\numberline {1}Introduction and Motivation}{2} \contentsline {section}{\numberline {2}Integrated Program and Query Optimization in the Tycoon System}{4} \contentsline {section}{\numberline {3}The Tycoon Machine Language TML}{5} \contentsline {subsection}{\numberline {3.1}TML Abstract Syntax}{5} \contentsline {subsection}{\numberline {3.2}Primitive Procedures}{8} \contentsline {subsection}{\numberline {3.3}Compilation Phases}{9} \contentsline {section}{\numberline {4}Optimization}{11} \contentsline {subsection}{\numberline {4.1}TML Rewrite Rules}{11} \contentsline {subsection}{\numberline {4.2}Extensions for Reflective Runtime Optimization}{14} \contentsline {section}{\numberline {5}Related Work}{15} \contentsline {section}{\numberline {6}Concluding Remarks}{15}