\begin{thebibliography}{10} \bibitem{ABGO93b} A.~Albano, G.~Bergamini, G.~Ghelli, and R.~Orsini. \newblock An object data model with roles. \newblock In {\em Proceedings of the Nineteenth International Conference on Very Large Databases, Dublin, Ireland}, pages 39--51, 1993. \bibitem{ABGO93} A.~Albano, R.~Bergamini, G.~Ghelli, and R.~Orsini. \newblock An introduction to the database programming language {Fibonacci}. \newblock FIDE Technical Report Series FIDE/92/64, FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, 1993. \bibitem{ABDGOR94} A.~Albano, C.~Brasini, M.~Diotallevi, G.~Ghelli, R.~Orsini, and R.~Rossi. \newblock A guided tour of the {Fibonacci} system. \newblock FIDE Technical Report Series FIDE/94/103, FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, July 1994. \bibitem{AGO94} A.~Albano, G.~Ghelli, and R.~Orsini. \newblock Fibonacci reference manual: A preliminary version. \newblock FIDE Technical Report Series FIDE/94/102, FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, 1994. \bibitem{ACCP89} L.~Alfo, S.~Coluccini, P.~Corte, and D.~Presenza. \newblock Manuale del sistema sidereus. \newblock Technical report, Dipartimento di Informatica, Universit\`a di Pisa, Italy, 1989. \bibitem{AtBu86} M.P. Atkinson and P.~Bunemann. \newblock Types and persistence in database programming languages. \newblock {\em ACM Computing Surveys}, 19(2), June 1987. \bibitem{BeTa94} C.~Beeri and P.~Ta-Shma. \newblock Bulk data types, a theoretical approach. \newblock In C.~Beeri, A.~Ohori, and D.E. Shasha, editors, {\em Proceedings of the Fourth International Workshop on Database Programming Languages, Manhatten, New York}, Workshops in Computing. Springer-Verlag, February 1994. \bibitem{BMSW89} A.~Borgida, J.~Mylopoulos, J.W. Schmidt, and I.~Wetzel. \newblock Support for data-intensive applications: Conceptual design and software development. \newblock In {\em Proceedings of the Second International Workshop on Database Programming Languages, Portland, Oregon}, June 1989. \bibitem{CMA94} L.~Cardelli, F.~Matthes, and M.~Abadi. \newblock Extensible grammars for language specialization. \newblock In C.~Beeri, A.~Ohori, and D.E. Shasha, editors, {\em Proceedings of the Fourth International Workshop on Database Programming Languages, Manhatten, New York}, Workshops in Computing, pages 11--31. Springer-Verlag, February 1994. \bibitem{CMA94a} L.~Cardelli, F.~Matthes, and M.~Abadi. \newblock Extensible syntax with lexical scoping. \newblock Technical Report 121, Digital Equipment Corporation, Systems Research Center, Palo Alto, California, February 1994. \bibitem{GaMa95a} A.~Gawecki and F.~Matthes. \newblock Tool: A persistent language integrating subtyping, matching and type quantification. \newblock FIDE Technical Report Series FIDE/95/135, FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, 1995. \bibitem{MaSc91b} F.~Matthes and J.W. Schmidt. \newblock Bulk types: Built-in or add-on? \newblock In {\em Database Programming Languages: Bulk Types and Persistent Data}. Morgan Kaufmann Publishers, September 1991. \bibitem{MaSc92a} F.~Matthes and J.W. Schmidt. \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{Nied92} C.~Nieder\'ee. \newblock Generic services for data-intensive applications: Iteration abstraction, integrity checking and recovery. \newblock Master's thesis, Fachbereich Informatik, Universit\"at Hamburg, Germany, November 1992. \newblock (In German). \bibitem{SSW92} K.-D. Schewe, J.W. Schmidt, and I.~Wetzel. \newblock Identification, genericity and consistency in object-oriented databases. \newblock In J.~Biskup and R.~Hull, editors, {\em Proceedings of the International Conference on Database Theory}, volume 646 of {\em Lecture Notes in Computer Science}, pages 341--356. Springer-Verlag, October 1992. \bibitem{ScMa94} J.W. Schmidt and F.~Matthes. \newblock The {DBPL} project: Advances in modular database programming. \newblock {\em Information Systems}, 19(2):121--140, 1994. \bibitem{Ston90} M.~Stonebraker. \newblock Special issue on database prototype systems. \newblock {\em IEEE Transactions on Knowledge and Data Engineering}, 2(1), March 1990. \bibitem{Trind91} P.~Trinder. \newblock Comprehensions, a query notation for {DBPLs}. \newblock In {\em Database Programming Languages: Bulk Types and Persistent Data}. Morgan Kaufmann Publishers, September 1991. \end{thebibliography}