\begin{thebibliography}{} \bibitem[\protect\citeauthoryear{Agrawal and Gehani}{1989}]{AgGh89b} Agrawal, R. and Gehani, N.H. \newblock Rationale for the design of persistence and query processing facilities in the database programming language {O++}. \newblock In {\em Proceedings of the Second International Workshop on Database Programming Languages, Salishan, Oregon}, June 1989. \bibitem[\protect\citeauthoryear{Appel}{1992}]{Appe92} Appel, A.~W. \newblock {\em Compiling with Continuations}. \newblock Cambridge University Press, 1992. \bibitem[\protect\citeauthoryear{B{\"o}ttcher \bgroup \em et al.\egroup }{1986}]{BJS86} B{\"o}ttcher, S., Jarke, M., and Schmidt, J.W. \newblock Adaptive predicate managers in database systems. \newblock In {\em Proceedings of the Twelfth International Conference on Very Large Databases, Kyoto, Japan}, 1986. \bibitem[\protect\citeauthoryear{Breazu-Tannen \bgroup \em et al.\egroup }{1991}]{BTBN91} Breazu-Tannen, V., Buneman, P., and Naqvi, S. \newblock Structural recursion as a query language. \newblock In {\em Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece}. Morgan Kaufmann Publishers, September 1991. \bibitem[\protect\citeauthoryear{Catell}{1994}]{Cate94} Catell, R.G.G., editor. \newblock {\em The Object Database Standard: ODMG-93}. \newblock Morgan Kaufmann Publishers, 1994. \bibitem[\protect\citeauthoryear{Eder \bgroup \em et al.\egroup }{1991}]{ERMS91} Eder, J., Rudloff, A., Matthes, F., and Schmidt, J.W. \newblock Data construction with recursive set expressions in {DBPL}. \newblock In {\em Proceedings of the Kiev East/West Workshop on Next Generation Database Technology}, volume 504 of {\em Lecture Notes in Computer Science}, April 1991. \bibitem[\protect\citeauthoryear{Fegaras}{1994}]{Fega94} Fegaras, L. \newblock Efficient optimization of iterative queries. \newblock In Beeri, C., Ohori, A., and Shasha, D.E., editors, {\em Database Programming Languages, New York City, 1993}, Workshops in Computing, pages 200--225, 1994. \bibitem[\protect\citeauthoryear{Freytag and Goodman}{1989}]{FrGo89} Freytag, J.C. and Goodman, N. \newblock On the translation of relational queries into iterative programs. \newblock {\em ACM Transactions on Database Systems}, 14(1), March 1989. \bibitem[\protect\citeauthoryear{Gawecki and Matthes}{1994}]{GaMa94} Gawecki, A. and Matthes, F. \newblock The {Tycoon} {Machine} {Language} {TML} - an optimizable persistent program representation. \newblock FIDE Technical Report FIDE/94/100, Fachbereich Informatik, Universit\"at Hamburg, Germany, July 1994. \bibitem[\protect\citeauthoryear{Gawecki}{1992}]{Gawe92a} Gawecki, A. \newblock An optimizing compiler for {Smalltalk}. \newblock Bericht FBI-HH-B-152/92, Fachbereich Informatik, Universit\"at Hamburg, Germany, September 1992. \newblock In German. \bibitem[\protect\citeauthoryear{Gifford and Lucassen}{1986}]{GiLu86} Gifford, David~K. and Lucassen, John~M. \newblock Integrating functional and imperative programming. \newblock In {\em Proceedings of the ACM Conference on Lisp and Functional Programming, Cambridge, Massachusetts, August 4-6, 1986}, pages 28--38, 1986. \bibitem[\protect\citeauthoryear{Jarke and Koch}{1984}]{JaKo84} Jarke, M. and Koch, J. \newblock Query optimization in database systems. \newblock {\em ACM Computing Surveys}, 16(2):111--152, 1984. \bibitem[\protect\citeauthoryear{Jarke and Schmidt}{1982}]{JaSc82b} Jarke, M. and Schmidt, J.W. \newblock Query processing strategies in the {Pascal/R} relational database management system. \newblock In {\em Proceedings of the ACM-SIGMOD International Conference on Management of Data}, 1982. \bibitem[\protect\citeauthoryear{Jarke \bgroup \em et al.\egroup }{1982}]{JKMS82} Jarke, M., Koch, J., Mall, M., and Schmidt, J.W. \newblock Query optimization research in the database programming languages {(DBPL)} project. \newblock {\em IEEE -- Data Engineering}, pages 11--14, September 1982. \bibitem[\protect\citeauthoryear{Kelsey}{1989}]{Kels89} Kelsey, R.A. \newblock Compilation by program transformation. \newblock Technical report, Yale University, Department of Computer Science, May 1989. \bibitem[\protect\citeauthoryear{Kiradjiev}{1994}]{Kira94} Kiradjiev, P. \newblock {Dynamische} {Optimierung} in {CPS-orientierten} {Zwischensprachen}. \newblock Diplomarbeit, Fachbereich Informatik, Universit\"at Hamburg, Germany, December 1994. \bibitem[\protect\citeauthoryear{Kranz \bgroup \em et al.\egroup }{1986}]{KKRHPA86} Kranz, D., Kelsey, R., Rees, J., Hudak, P., Philbin, J., and Adams, N. \newblock {ORBIT:} an optimizing compiler for {Scheme}. \newblock {\em ACM SIGPLAN Notices}, 21(7):219--233, July 1986. \bibitem[\protect\citeauthoryear{Lieuwen and DeWitt}{1991}]{LiDeW91} Lieuwen, Daniel~F. and DeWitt, David~J. \newblock Optimizing loops in database programming languages. \newblock In {\em Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece}, Nafplion, Greece, September 1991. Morgan Kaufmann Publishers. \bibitem[\protect\citeauthoryear{Mall \bgroup \em et al.\egroup }{1984}]{MRS84} Mall, M., Reimer, M., and Schmidt, J.W. \newblock Data selection, sharing and access control in a relational scenario. \newblock In Brodie, M.L., Myopoulos, J.L., and Schmidt, J.W., editors, {\em On Conceptual Modelling}. Springer-Verlag, 1984. \bibitem[\protect\citeauthoryear{Mathiske \bgroup \em et al.\egroup }{1995}]{MMS95b} Mathiske, B., Matthes, F., and Schmidt, J.W. \newblock Scaling database languages to higher-order distributed programming. \newblock In {\em Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Italy}. Springer-Verlag, September 1995. \newblock (Also appeared as TR FIDE/95/137). \bibitem[\protect\citeauthoryear{Matthes and Schmidt}{1991}]{MaSc91b} Matthes, F. and Schmidt, J.W. \newblock Bulk types: Built-in or add-on? \newblock In {\em Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece}. Morgan Kaufmann Publishers, September 1991. \bibitem[\protect\citeauthoryear{Matthes and Schmidt}{1992}]{MaSc92a} Matthes, F. and Schmidt, J.W. \newblock Definition of the {Tycoon} {Language} {TL} -- a preliminary report. \newblock Informatik Fachbericht {FBI-HH-B-160/92}, Fachbereich Informatik, Universit\"at Hamburg, Germany, November 1992. \bibitem[\protect\citeauthoryear{Matthes and Schmidt}{1994}]{MaSc94} Matthes, F. and Schmidt, J.W. \newblock Persistent threads. \newblock In {\em Proceedings of the Twentieth International Conference on Very Large Data Bases, VLDB}, pages 403--414, Santiago, Chile, September 1994. \bibitem[\protect\citeauthoryear{Poulovassilis and Small}{1994}]{PoSm94} Poulovassilis, A. and Small, C. \newblock Investigation of algebraic query optimisation for database programming languages. \newblock In {\em Proceedings of the 20th International Conference on Very Large Databases, Santiago, Chile}, September 1994. \bibitem[\protect\citeauthoryear{Rudloff \bgroup \em et al.\egroup }{1995}]{RMS95} Rudloff, A., Matthes, F., and Schmidt, J.W. \newblock Security as an add-on quality in persistent object systems. \newblock In {\em Second International East/West Database Workshop}, Workshops in Computing. Springer-Verlag, 1995. \newblock (to appear). \bibitem[\protect\citeauthoryear{Schmidt and Matthes}{1994}]{ScMa94} Schmidt, J.W. and Matthes, F. \newblock The {DBPL} project: Advances in modular database programming. \newblock {\em Information Systems}, 19(2):121--140, 1994. \bibitem[\protect\citeauthoryear{Schmidt}{1977}]{Schm77a} Schmidt, J.W. \newblock Some high level language constructs for data of type relation. \newblock In {\em Proceedings of the ACM-SIGMOD International Conference on Management of Data, Toronto, Canada}, August 1977. \bibitem[\protect\citeauthoryear{Steele}{1978}]{Stee78} Steele, Guy~L. \newblock Rabbit: A compiler for {SCHEME}. \newblock Technical report, Massachusetts Institute of Technology, May 1978. \bibitem[\protect\citeauthoryear{Steele}{1986}]{Stee86} Steele, Guy~L. \newblock The revised$^3$ report on the algorithmic language {Scheme}. \newblock {\em ACM SIGPLAN Notices}, 21(12):37--79, December 1986. \bibitem[\protect\citeauthoryear{Teodosiu}{1991}]{Teod91} Teodosiu, Dan. \newblock Hare: An optimizing portable compiler for {Scheme}. \newblock {\em ACM SIGPLAN Notices}, 26(1):109--120, January 1991. \bibitem[\protect\citeauthoryear{Trinder}{1991}]{Trind91} Trinder, P. \newblock Comprehensions, a query notation for {DBPLs}. \newblock In {\em Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece}. Morgan Kaufmann Publishers, September 1991. \bibitem[\protect\citeauthoryear{Ullman}{1989}]{Ullm89} Ullman, J.D. \newblock {\em Database and Knowledge-Base Systems, vol. 2}. \newblock Computer Science Press, 1989. \end{thebibliography}