\begin{thebibliography}{10}

\bibitem{ABW*90}
M.~Atkinson, F.~Bancilhon, D.~De Witt, K.~Dittrich, D.~Maier, and S.~Zdonik.
\newblock The object-oriented database system manifesto.
\newblock In {\em Deductive and Object-oriented Databases}. Elsevier Science
  Publishers, Amsterdam, Netherlands, 1990.

\bibitem{ART91}
M.~Atkinson, P.~Richard, and P.~Trinder.
\newblock Bulk types for large scale programming.
\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{Card88}
L.~Cardelli, J.~Donahue, L.~Glassman, M.~Jordan, B.~Kalsow, and G.~Nelson.
\newblock Modula-3 report.
\newblock Technical Report ORC-1, Olivetti Research Center, 2882 Sand Hill
  Road, Menlo Park, California, 1988.

\bibitem{DCBM89}
A.~Dearle, R.~Connor, F.~Brown, and R.~Morrison.
\newblock {Napier88} -- a database programming language?
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Portland, Oregon}, June 1989.

\bibitem{Reim83}
J.~Koch, M.~Mall, P.~Putfarken, M.~Reimer, J.W. Schmidt, and C.A. Zehnder.
\newblock {Modula/R} report, lilith version.
\newblock Technical report, Department Informatik, ETH Z\"urich, Switzerland,
  February 1983.

\bibitem{LRV88}
C.~L{\'e}cluse, P.~Richard, and F.~Velez.
\newblock O$_2$, an object-oriented data model.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Chicago, Illinois}, pages 424--433, 1988.

\bibitem{MaSc89}
F.~Matthes and J.W. Schmidt.
\newblock The type system of {DBPL}.
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Portland, Oregon}, pages 255--260, June 1989.

\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{Meyer88}
B.~Meyer.
\newblock {\em Object-oriented Software Construction}.
\newblock International Series in Computer Science. Prentice Hall, Englewood
  Cliffs, New Jersey, 1988.

\bibitem{MTH90}
R.~Milner, M.~Tofte, and R.~Harper.
\newblock {\em The Definition of {Standard ML}}.
\newblock MIT Press, Cambridge, Massachusetts, 1990.

\bibitem{NaTs89}
S.~Naqvi and S.~Tsur.
\newblock {\em A Logical Language for Data and Knowledge Bases}.
\newblock Computer Science Press, 1989.

\bibitem{OBBT89}
A.~Ohori, P.~Buneman, and V.~Breazu-Tannen.
\newblock Database programming in {Machiavelli} -- a polymorphic language with
  static type inference.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Portland, Oregon}, pages 46--57, 1989.

\bibitem{Schm77a}
J.W. Schmidt.
\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{SEM88}
J.W. Schmidt, H.~Eckhardt, and F.~Matthes.
\newblock {DBPL Report}.
\newblock DBPL-Memo 112-88, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, Germany, 1988.

\bibitem{Ston90}
M.~Stonebraker.
\newblock Special issue on database prototype systems.
\newblock {\em IEEE Transactions on Knowledge and Data Engineering}, 2(1),
  March 1990.

\end{thebibliography}