\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{ABW{\etalchar{+}}90}

\bibitem[AB87]{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[ABW{\etalchar{+}}90]{ABW*90}
Malcolm Atkinson, Francois Ban\c{c}ilhon, David~De Witt, Klaus Dittrich, David
  Maier, and Stanley Zdonik.
\newblock The Object-Oriented Database System Manifesto.
\newblock In {\em Deductive and Object-oriented Databases}. Elsevier Science
  Publishers, Amsterdam, Netherlands, 1990.

\bibitem[ADG{\etalchar{+}}89]{A*89}
A.~Albano, A.~Dearle, G.~Ghelli, C.~Martin, R.~Morrison, R.~Orsini, and
  D.~Stemple.
\newblock A Framework for Comparing Type Systems for Database Programming
  Languages.
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Portland, Oregon}, pages 203--212, June 1989.

\bibitem[AKN89]{AKN89}
H.~A{\"\i}t-Kaci and R.~Nasr.
\newblock Integrating logic and functional programming.
\newblock {\em Lisp and Symbolic Computation}, 2:51--89, 1989.

\bibitem[AM87]{AtMo88}
M.P. Atkinson and R.~Morrison.
\newblock Polymorphic Names and Iterations.
\newblock In {\em Proc. of the Workshop on Database Programming Languages,
  Roscoff, France}, September 1987.

\bibitem[AM88]{AtMo85}
M.P. Atkinson and R.~Morrison.
\newblock Types, Bindings and Parameters in a Persistent Environment.
\newblock In M.P. Atkinson, P.~Buneman, and R.~Morrison, editors, {\em Data
  Types and Persistence}, Topics in Information Systems. Springer-Verlag, 1988.

\bibitem[ART91]{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[BBG{\etalchar{+}}88]{Bat*88}
D.~Batory, J.~Barnett, J.~Garza, K.~Smith, K.~Tsukuda, B.~Twichell, and
  T.~Wise.
\newblock Genesis: An Extensible Database Management System.
\newblock {\em ACM Transactions on Database Systems}, 14(11):1711--1729,
  November 1988.

\bibitem[BCD89]{BCD89}
F.~Bancilhon, S.~Cluet, and C.~Delobel.
\newblock A Query Language for the O$_2$ Object-Oriented Database System.
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Salishan, Oregon}, June 1989.

\bibitem[Bee91]{Beer91}
C.~Beeri.
\newblock A Logical Framework for Object-Oriented Databases.
\newblock (private communication), June 1991.

\bibitem[BTBN91]{BTBN91}
V.~Breazu-Tannen, P.~Buneman, and S.~Naqvi.
\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[Bun90]{Bun90}
P.~Buneman.
\newblock Functional Programming and Databases.
\newblock In D.~Turner, editor, {\em Research Topics in Functional
  Programming}, pages 155--169. Addison-Wesley, 1990.

\bibitem[Car86]{Card86}
L.~Cardelli.
\newblock Amber.
\newblock In {\em Combinators and Functional Programming Languages}, volume 242
  of {\em Lecture Notes in Computer Science}. Springer-Verlag, 1986.

\bibitem[Car89]{Card89}
L.~Cardelli.
\newblock Typeful Programming.
\newblock Digital Systems Research Center Reports~45, DEC SRC Palo Alto, May
  1989.

\bibitem[CDG{\etalchar{+}}88]{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, Memlo Park, California, 1988.

\bibitem[DCBM89]{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, Salishan, Oregon}, June 1989.

\bibitem[ERMS91]{ERMS91}
J.~Eder, A.~Rudloff, F.~Matthes, and J.W. Schmidt.
\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[GR83]{GoRo83}
A.~Goldberg and D.~Robson.
\newblock {\em Smalltalk-80: The Language and its Implementation}.
\newblock Addison Wesley, 1983.

\bibitem[HS89]{HuSu90}
R.~Hull and J.~Su.
\newblock On Bulk Data Type Constructors and Manipulation Primitives: A
  Framework for Analyzing Expressive Power and Complexity.
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Salishan, Oregon}, pages 396--410, June 1989.

\bibitem[KC86]{KhCo86}
S.~Khoshafian and G.~Copeland.
\newblock Object Identity.
\newblock In {\em Proc. of 1st Int. Conf. on OOPSLA}, Portland, Oregon, October
  1986.

\bibitem[KMP{\etalchar{+}}83]{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, Departement Informatik, ETH Z\"urich, Switzerland,
  February 1983.

\bibitem[Lam84]{Lame84}
W.~Lamersdorf.
\newblock Recursive Data Models for Non-Conventional Database Applications.
\newblock In {\em Proc.\ Intern.\ IEEE Conf.\ on Data Engineering}, Los
  Angeles, April 1984.

\bibitem[LG86]{LiGu86}
B.~Liskov and J.~Guttag.
\newblock {\em Abstraction and Specification in Program Development}.
\newblock The MIT Electrical Engineering and Computer Science Series. MIT
  Press, 1986.

\bibitem[LRV88]{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[Mer84]{Merr84}
T.H. Merrett.
\newblock {\em Relational Information Systems}.
\newblock Reston Publishing Co., Reston, Virginia, 1984.

\bibitem[Mey88]{Meyer88}
B.~Meyer.
\newblock {\em Object-oriented Software Construction}.
\newblock International Series in Computer Science. Prentice Hall, 1988.

\bibitem[Mey90]{Meyer90}
B.~Meyer.
\newblock Lessons from the Design of the Eiffel Libraries.
\newblock {\em Communications of the ACM}, 33(9):69--88, September 1990.

\bibitem[MOS91]{MOS91}
F.~Matthes, A.~Ohori, and J.W. Schmidt.
\newblock Typing Schemes for Objects with Locality.
\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[MS89]{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, Salishan, Oregon}, pages 255--260, June 1989.

\bibitem[MS91]{MaSc91}
F.~Matthes and J.W. Schmidt.
\newblock Towards Database Application Systems: Types, Kinds and Other Open
  Invitations.
\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[MTH90]{MTH90}
R.~Milner, M.~Tofte, and R.~Harper.
\newblock {\em The Definition of {Standard ML}}.
\newblock MIT Press, Cambridge, MA, 1990.

\bibitem[Nik88]{Nikh85}
R.S. Nikhil.
\newblock Functional Databases, Functional Languages.
\newblock In M.P. Atkinson, P.~Buneman, and R.~Morrison, editors, {\em Data
  Types and Persistence}, Topics in Information Systems. Springer-Verlag, 1988.

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

\bibitem[OBBT89]{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[RC87]{RiCa87}
J.~Richardson and M.~Carey.
\newblock Programming Constructs for Database System Implementation in EXODUS.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, San Francisco, California}, May 1987.

\bibitem[SCB{\etalchar{+}}86]{S*86}
C.~Schaffert, T.~Cooper, B.~Bullis, M.~Kilian, and C.~Wilpolt.
\newblock An Introduction to Trellis/Owl.
\newblock In {\em Proc. of 1st Int. Conf. on OOPSLA}, pages 9--16, Portland,
  Oregon, October 1986.

\bibitem[Sch77]{Schm77}
J.W. Schmidt.
\newblock Some High Level Language Constructs for Data of Type Relation.
\newblock {\em ACM Transactions on Database Systems}, 2(3), September 1977.

\bibitem[Sch78]{Schm78}
J.W. Schmidt.
\newblock Type Concepts for Database Definition.
\newblock In B.~Shneiderman, editor, {\em Databases: Improving Usability and
  Responsiveness}. Academic Press, 1978.

\bibitem[SDDS86]{SDD*86}
J.T. Schwartz, R.B.K. Dewar, E.~Dubinski, and E.~Schonberg.
\newblock {\em Programming with Sets: An Introduction to SETL}.
\newblock Texts and Monographs in Computer Science. Springer-Verlag, 1986.

\bibitem[SEM88]{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, West Germany, 1988.

\bibitem[SFL83]{SFL83}
J.M. Smith, S.~Fox, and T.~Landers.
\newblock ADAPLEX: Rationale and Reference Manual (2nd ed.).
\newblock Technical report, Computer Corporation of America, Cambridge, Mass.,
  1983.

\bibitem[SM91]{ScMa90b}
J.W. Schmidt and F.~Matthes.
\newblock Naming Schemes and Name Space Management in the DBPL Persistent
  Storage System.
\newblock In {\em Proc. of the Fourth Int. Workshop on Persistent Object
  Systems}. Morgan Kaufmann Publishers, January 1991.

\bibitem[SNR90]{SNG90}
M.~Santo, L.~Nigro, and W.~Russo.
\newblock Programmer-Defined Control Abstractions in Modula-2.
\newblock {\em Computer Languages}, 15(3), October 1990.

\bibitem[SS91]{StSh91}
D.~Stemple and T.~Sheard.
\newblock A Recursive Base for Database Programming Primitives.
\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[SSS90]{SFSS90}
L.~Stemple, D.~Fegaras, T.~Sheard, and A.~Socorro.
\newblock Exceeding the Limits of Polymorphism in Database Programming
  Languages.
\newblock In {\em Advances in Database Technology, EDBT '90}, volume 416 of
  {\em Lecture Notes in Computer Science}, pages 269--285. Springer-Verlag,
  1990.

\bibitem[Sto90]{Ston90}
M.~Stonebraker.
\newblock Special Issue on Database Prototype Systems.
\newblock {\em IEEE Transactions on Knowledge and Data Engineering}, 2(1),
  March 1990.

\bibitem[Tri91]{Trind91}
P.~Trinder.
\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[Wad90]{Wadl90}
P.~Wadler.
\newblock Comprehending Monads.
\newblock In {\em ACM Conference on Lisp and Functional Programming}, Nice,
  June 1990.

\bibitem[WSK81]{W*81}
A.L.. Wasserman, D.D. Sheretz, and M.L. Kerstin.
\newblock Revised Report on the Programming Language PLAIN.
\newblock {\em ACM SIGPLAN Notices}, 16(5):59--80, May 1981.

\end{thebibliography}
