\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{CRZNM88}

\bibitem[A{\etalchar{+}}89]{A*89b}
M.~Atkinson et~al.
\newblock The Object-Oriented Database System Manifesto.
\newblock Technical Report 30-89, GIP Altair, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, September 1989.

\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[AB88]{AbBe88}
S.~Abiteboul and C.~Beeri.
\newblock On the Power of Languages for the Manipulation of Complex Objects.
\newblock Rapports de Recherche 846, INRIA, Domaine de Voluceau Rocquencourt
  78153 Le Chesnay Cedex - France, May 1988.

\bibitem[ABC{\etalchar{+}}83]{ABCCM83}
M.P. Atkinson, P.J. Bailey, K.J. Chisholm, W.P. Cockshott, and R.~Morrison.
\newblock An approach to persistent programming.
\newblock {\em Computer Journal}, 26(4), November 1983.

\bibitem[ABM88]{ABM88}
M.P. Atkinson, P.~Buneman, and R.~Morrison, editors.
\newblock {\em Data Types and Persistence}.
\newblock Topics in Information Systems. Springer-Verlag, 1988.

\bibitem[ACC81]{ACC81a}
M.P. Atkinson, K.J. Chisholm, and W.P. Cockshott.
\newblock PS-Algol: An Algol with a Persistent Heap.
\newblock {\em ACM SIGPLAN Notices}, 17(7), July 1981.

\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[AFS89]{AFS89}
S.~Abiteboul, P.C. Fischer, and H.J. Schek.
\newblock {\em Nested Relations and Complex Objects in Databases}, volume 361
  of {\em Lecture Notes in Computer Science}.
\newblock Springer-Verlag, 1989.

\bibitem[AH87]{AbHu87}
S.~Abiteboul and R.~Hull.
\newblock IFO: A Formal Semantic Database Model.
\newblock {\em ACM Transactions on Database Systems}, 12(4), 1987.

\bibitem[AK89]{AbKa89}
S.~Abiteboul and P.C. Kanellakis.
\newblock Object Identity as a Query Language Primitive.
\newblock In {\em ACM-SIGMOD International Conference on Management of Data},
  pages 159--173, Portland, Oregon, 1989.

\bibitem[Alb83]{Alba83}
A.~Albano.
\newblock Type Hierarchies and Semantic Data Models.
\newblock In {\em ACM SIGPLAN '83: Symposium on Programming Langauge Issues in
  Software Systems}, pages 178--186, San Francisco, 1983.

\bibitem[AM85]{AtMo85a}
M.P. Atkinson and R.~Morrison.
\newblock First class persistent procedures.
\newblock {\em ACM Transactions on Programming Languages and Systems}, 7(4),
  October 1985.

\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[Ban88]{Banc88}
F.~Bancilhon.
\newblock Object-Oriented Database Systems.
\newblock In {\em Proc. of the ACM PODS Conf.}, Austin, March 1988.

\bibitem[Bat86]{Bato86}
D.S. Batory.
\newblock GENESIS: A Project to Develop an Extensible Database Management
  System.
\newblock In {\em Proc. 1986 Int. Workshop on Object-Oriented Database
  Systems}, pages 207--208, September 1986.

\bibitem[BB84]{BaBu84}
D.~Batory and A.~Buchmann.
\newblock Molecular Objects, Abstract Data Types, and Data Models: A Framework.
\newblock In {\em Proc. of the 10h International Conference on Very Large Data
  Bases}, 1984.

\bibitem[BB87]{BaBu87}
F.~Bancilhon and P.~Buneman, editors.
\newblock {\em Proceedings of the 1st Workshop on Database Programming
  Languages}. Altair, 1987.

\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 Proc. of the 2nd Workshop on Database Programming Languages,
  Salishan Lodge, Oregon}, June 1989.

\bibitem[Bee88]{Beer88}
C.~Beeri.
\newblock Data Models and Languages for Databases.
\newblock Technical report, Dept. of Comp. Science, The Hebrew Univeristy,
  Jerusalem, Israel, 1988.

\bibitem[BHG87]{BHG87}
P.A. Bernstein, V.~Hadzilacos, and N.~Goodman, editors.
\newblock {\em Concurrency Control and Recovery in Database Systems}.
\newblock Addison-Wesley, 1987.

\bibitem[BHR82]{BHR82}
P.~Bunemann, J.~Hirschberg, and D.~Root.
\newblock A Codasyl Interface to Pascal and Ada.
\newblock In {\em Proc. 2nd British National Conference on Databases (BNCOD
  2)}. Cambridge University Press, 1982.

\bibitem[BL84]{BuLa84}
R.~Burstall and B.~Lampson.
\newblock A kernel language for abstract data types and modules.
\newblock In {\em Semantics of Data Types}, volume 173 of {\em Lecture Notes in
  Computer Science}. Springer-Verlag, 1984.

\bibitem[BL87]{BeLo88}
P.A. Bernstein and D.B. Lomet.
\newblock CASE Requirements for Extensible Database Systems.
\newblock {\em Database Engineering, Special Issue on Extensible Database
  Systems}, 10(2), June 1987.

\bibitem[BMS84]{BMS84}
M.L. Brodie, J.~Myopoulos, and J.W. Schmidt, editors.
\newblock {\em On Conceptual Modelling, Perspectives from Artificial
  Intelligence, Databases, and Programming Languages}.
\newblock Springer-Verlag, 1984.

\bibitem[BMW84]{BMW84}
A.~Borgida, J.~Mylopoulos, and H.K.T. Wong.
\newblock Generalization / Specialization as a Basis for Software
  Specification.
\newblock In M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors, {\em On
  Conceptual Modelling}, Topics in Information Systems, pages 87--117.
  Springer-Verlag, 1984.

\bibitem[BR84]{BrRi84}
M.L. Brodie and D.~Ridjanovic.
\newblock On the Design and Specification of Database Transactions.
\newblock In M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors, {\em On
  Conceptual Modelling}, Topics in Information Systems. Springer-Verlag, 1984.

\bibitem[Bro84]{Brod84}
M.L. Brodie.
\newblock On the Development of Data Models.
\newblock In M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors, {\em On
  Conceptual Modelling}, Topics in Information Systems. Springer-Verlag, 1984.

\bibitem[BTBO89]{BBO89}
V.~Breazu-Tannen, P.~Buneman, and A.~Ohori.
\newblock Can Object-Oriented Databases be Statically Typed?
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Salishan Lodge, Oregon}, June 1989.

\bibitem[C{\etalchar{+}}86]{C*86}
M.~Carey et~al.
\newblock The Architecture of the EXODUS Extensible DBMS.
\newblock In {\em Proc. International Workshop on Object-Oriented Database
  Systems}, pages 52--65, Pacific Grove, Ca., September 1986.

\bibitem[Car84]{Card84}
L.~Cardelli.
\newblock A Semantics of Multiple Inheritance.
\newblock In G.~Kahn, D.B. MacQueen, and G.~Plotkin, editors, {\em Semantics of
  Data Types}, volume 173 of {\em Lecture Notes in Computer Science}, pages
  51--67. Springer-Verlag, 1984.

\bibitem[Car88]{Card88b}
L.~Cardelli.
\newblock Types for Data-Oriented Languages.
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 1--15. Springer-Verlag, 1988.

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

\bibitem[CD87]{CDeW88}
M.J. Carey and D.J. DeWitt.
\newblock An Overview of the EXODUS Project.
\newblock {\em Database Engineering, Special Issue on Extensible Database
  Systems}, 10(2), June 1987.

\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[CDMB90]{CDMB90}
R.~Connor, A.~Dearle, R.~Morrison, and F.~Brown.
\newblock Existentially Quantified Types as a Database Viewing Mechanism.
\newblock In {\em Advances in Database Technology, EDBT '90}, volume 416 of
  {\em Lecture Notes in Computer Science}, pages 301--315. Springer-Verlag,
  1990.

\bibitem[CL90]{CaLo90}
L.~Cardelli and G.~Longo.
\newblock A semantic basis for Quest.
\newblock Digital Systems Research Center Reports~55, DEC SRC Palo Alto, March
  1990.

\bibitem[CM84]{CoMa84}
G.~Copeland and D.~Maier.
\newblock Making Smalltalk a database system.
\newblock In {\em ACM-SIGMOD International Conference on Management of Data},
  pages 316--325, Boston, Ma., June 1984.

\bibitem[CM88]{CaMcQu88}
L.~Cardelli and D.~MacQueen.
\newblock Persistence and Type Abstraction.
\newblock In {\em Data Types and Persistence}, Topics in Information Systems.
  Springer-Verlag, 1988.

\bibitem[Cod79]{Codd79}
E.F. Codd.
\newblock Extending the Relational Database Model to Capture More Meaning.
\newblock {\em ACM Transactions on Database Systems}, 4(4), December 1979.

\bibitem[CRZNM88]{CRBM88}
L.K. Chung, D.~Rios-Zertuche, B.~Nixon, and J.~Mylopoulos.
\newblock Process Management and Assertion Enforcement for a Semantic Data
  Model.
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 469--487. Springer-Verlag,
  1988.

\bibitem[CW85]{CaWe85}
L.~Cardelli and P.~Wegner.
\newblock On Understanding Types, Data Abstraction, and Polymorphism.
\newblock {\em ACM Computing Surveys}, 17(4):471--522, December 1985.

\bibitem[Dat84]{Date84}
C.J. Date.
\newblock Some Principles of Good Language Design with Special Reference to the
  Design of Database Languages.
\newblock {\em ACM SIGMOD Record}, 14(3):1--7, November 1984.

\bibitem[Dat89]{Date89}
C.J. Date.
\newblock {\em A Guide to the SQL Standard}.
\newblock Addison-Wesley, second edition, 1989.

\bibitem[DCBM89]{DCBM89}
A.~Dearle, R.~Connor, F.~Brown, and R.~Morrison.
\newblock Napier88 -- A Database Programming Language?
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Salishan Lodge, Oregon}, June 1989.

\bibitem[DD79]{DeDo79}
A.~Demers and J.~Donahue.
\newblock Revised Report on Russel.
\newblock TR 79--389, Computer Science Department, Cornell University, 1979.

\bibitem[Dea89]{Dea89}
A.~Dearle.
\newblock Environments: a flexible binding mechanism to support system
  evolution.
\newblock In {\em Proc. HICSS-22, Hawaii}, volume~II, pages 46--55, January
  1989.

\bibitem[Dij76]{Dijk76}
E.W. Dijkstra.
\newblock {\em A Discipline of Programming}.
\newblock Prentice-Hall, Englewood Cliffs, NJ, 1976.

\bibitem[DKA{\etalchar{+}}86]{D*86}
P.~Dadam, K.~Kuespert, Andersen, et~al.
\newblock A DBMS Prototype to Support Extended NF2 Relations: An Integrated
  View on Flat Tables and Hierarchies.
\newblock In {\em ACM-SIGMOD International Conference on Management of Data},
  pages 356--367, Washington, DC, 1986.

\bibitem[DM82]{DaMi82}
L.~Damas and R.~Milner.
\newblock Principal type-schemes for functional programs.
\newblock In {\em Proc. 9th ACM Symposium on Principles of Programming
  Languages}, pages 207--212, 1982.

\bibitem[DV88]{DaVa88}
S.~Danforth and P.~Valduriez.
\newblock The Data Model of FAD, a Database Programming Language, Rev. 1.
\newblock Technical Report ACA-ST-059-88, MCC, June 1988.

\bibitem[FH88]{FiHa88}
A.J. Field and P.G. Harrison.
\newblock {\em Functional Programming}.
\newblock Addison-Wesley, Workingham, England, 1988.

\bibitem[GO87]{GoOr88}
D.~Goldhirsch and J.A. Orenstein.
\newblock Extensibility in the PROBE Database System.
\newblock {\em Database Engineering, Special Issue on Extensible Database
  Systems}, 10(2), June 1987.

\bibitem[Gra81]{Gray81}
J.N. Gray.
\newblock The Transaction Concept: Virtues and Limitations.
\newblock In {\em Proc. 10th VLDB Conference}, pages 144--154, Cannes, France,
  September 1981.

\bibitem[Har84]{Harl84}
D.M. Harland.
\newblock {\em Polymorphic Programming Languages, Design and Implementation}.
\newblock Ellis Horwood Limited, a division of John Wiley \& Sons, 1984.

\bibitem[HFLP89]{HFLP89}
L.M. Haas, J.C. Freytag, G.M. Lohmann, and H.~Pirahesh.
\newblock Extensible Query Processing in Starburst.
\newblock In {\em ACM-SIGMOD International Conference on Management of Data},
  pages 377--388, Portland, Oregon, 1989.

\bibitem[HJ87]{Sche88}
Schek H.-J.
\newblock DASDB: A Kernel DBMS and Application Specific Layers.
\newblock {\em Database Engineering, Special Issue on Extensible Database
  Systems}, 10(2), June 1987.

\bibitem[HK87]{HuKi87}
R.~Hull and R.~King.
\newblock Semantic Database Modeling: Survey, Applications and Research Issues.
\newblock {\em ACM Computing Surveys}, 19(3):351--260, September 1987.

\bibitem[HMT88]{HMT88}
R.~Harper, R.~Milner, and M.~Tofte.
\newblock The Definition of Standard ML (Version 2).
\newblock LFCS Report Series ECS-LFCS-88-62, Department of Computer Science,
  University of Edinburgh, August 1988.

\bibitem[Hoa68]{Hoar68}
C.A.R. Hoare.
\newblock Record Handling.
\newblock In F.~Genuys, editor, {\em Programming Languages}, pages 291--347.
  Academic Press, London, 1968.

\bibitem[HSM89]{HSM89}
R.~Hull, D.~Stemple, and R.~Morrison, editors.
\newblock {\em Proc. of the 2nd Workshop on Database Programming Languages}.
  Morgan Kaufmann publishers, 1989.

\bibitem[Hud89]{Hudak89}
P.~Hudak.
\newblock Conception, Evolution, and Application of Functional Programming
  Languages.
\newblock {\em ACM Computing Surveys}, 21(3):359--411, September 1989.

\bibitem[I{\etalchar{+}}83]{I*83}
Ichbiah et~al.
\newblock The Programming Language Ada: Reference Manual.
\newblock Technical Report MIL-STD-1815A-1983, ANSI, 1983.

\bibitem[JLS85]{JLS85}
M.~Jarke, V.~Linnemann, and J.W. Schmidt.
\newblock Data Constructors: On the Integration of Rules and Relations.
\newblock In {\em 11th Intern. Conference on Very Large Data Bases, Stockholm},
  August 1985.

\bibitem[KL89]{KiLo89}
W.~Kim and F.H. Lochowsky.
\newblock {\em Object-Oriented Concepts, Databases and Applications}.
\newblock ACM Press Books, 1989.

\bibitem[KV87]{KhVa88}
S.~Khoshafian and P.~Valduriez.
\newblock Sharing, Persistence, and Object Orientation: A Database Perspective.
\newblock In {\em Proc. of the Workshop on Database Programming Languages,
  Roscoff, France}, pages 181--195, September 1987.

\bibitem[L{\etalchar{+}}77]{L*77}
B.~Liskov et~al.
\newblock Abstraction Mechanisms in CLU.
\newblock {\em Communications of the ACM}, 20(8), August 1977.

\bibitem[Lan66]{Land66}
P.J. Landin.
\newblock The next 700 programming languages.
\newblock {\em Communications of the ACM}, 9(3):157--166, 1966.

\bibitem[LCJS87]{LCDS87}
B.~Liskov, D.~Curtis, P.~Johnson, and R.~Scheifler.
\newblock Implementation of Argus.
\newblock In {\em Proc. of the 11th ACM Symp. on Operation System Principles,
  ACM SIGOPS}, pages 111--122, November 1987.

\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\'ecluse, P.~Richard, and F.~Velez.
\newblock O$_2$, an Object-Oriented Data Model.
\newblock In {\em ACM-SIGMOD International Conference on Management of Data},
  pages 424--433, June 1988.

\bibitem[MAD87]{MAD87}
R.~Morrison, M.P. Atkinson, and A.~Dearle.
\newblock Flexible Incremental Bindings in a Persistent Object Store.
\newblock Persistent Programming Research Report~38, Univ. of St. Andrews,
  Dept. of Comp. Science, June 1987.

\bibitem[Mat87]{Matt87}
D.~Matthews.
\newblock Static and Dynamic Type Checking.
\newblock In {\em Proc. of the Workshop on Database Programming Languages,
  Roscoff, France}, pages 43--52, September 1987.

\bibitem[MB89]{MyBr89}
J.~Mylopoulos and M.L. Brodie, editors.
\newblock {\em Readings in artificial intelligence and databases}.
\newblock Morgan Kaufmann publishers, 1989.

\bibitem[MBW80]{MyBeWo80}
P.A. Mylopoulos, A.~Bernstein, and H.K.T. Wong.
\newblock A Language Facility for Designing Database-Intensive Applications.
\newblock {\em ACM Transactions on Database Systems}, 5(2):185--207, June 1980.

\bibitem[MD86]{MaDa86}
F.~Manola and U.~Dayal.
\newblock PDM: An Object-oriented Data Model.
\newblock In {\em Proc. Int. Workshop on Object-oriented Database Systems},
  pages 18--25, September 1986.

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

\bibitem[Mil78]{Miln78}
R.~Milner.
\newblock A Theory of Type Polymorphism in Programming.
\newblock {\em Journal of Computer and System Sciences}, 17:348--375, 1978.

\bibitem[Min88]{Mink88}
J.~Minker.
\newblock {\em Foundations of Deductive Databases and Logic Programming}.
\newblock Morgan Kaufmann publishers, 1988.

\bibitem[MJAP86]{MSOP86}
D.~Maier, Stein J., Otis A., and A.~Purdy.
\newblock Development of an Object-Oriented DBMS.
\newblock In {\em Proc. Int. Conf. on OOPSLA}, Portland, Oregon, October 1986.

\bibitem[Mos89]{Moss89}
J.E.B. Moss.
\newblock Addressing Large Distributed Collections of Persistent Objects: The
  Mneme Project's Approach.
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Portland, Oregon}, pages 358--374, June 1989.

\bibitem[MRS89]{DAIDA4}
F.~Matthes, A.~Rudloff, and J.W. Schmidt.
\newblock Data- and Rule-Based Database Programming in DBPL.
\newblock Esprit Project 892 WP/IMP 3.b, Fachbereich Informatik, Johann
  Wolfgang Goethe-Universit\"at, Frankfurt, West Germany, March 1989.

\bibitem[Naq89]{Naqv89}
S.A. Naqvi.
\newblock Stratification as a Design Principle in Logical Query Languages.
\newblock In {\em Proc. of the 2nd Workshop on Database Programming Languages,
  Salishan Lodge, Oregon}, June 1989.

\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[NS87]{NiSc89}
P.~Niebergall and J.W. Schmidt.
\newblock Integrated DAIDA Environment, Part 2: DBPL-Use: A Tool for
  Language-Sensitive Programming.
\newblock DAIDA Deliverable WP/IMP-2.c, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, West Germany, 1987.

\bibitem[OB88]{OhBu88}
A.~Ohori and P.~Buneman.
\newblock Type Inference in a Database Programming Language.
\newblock In {\em ACM Conference on Lisp and Functional Programming}, pages
  174--183, Snowbird, Utah, 1988.

\bibitem[OB89]{OhBu89}
A.~Ohori and P.~Buneman.
\newblock Static Type Inference for Parametric Classes.
\newblock In {\em Proc. of ACM OOPSLA Conference}, pages 445--456, New Orleans,
  L.A., 1989.

\bibitem[PA86]{PiAn86}
P.~Pistor and F.~Andersen.
\newblock Designing a Generalized NF$^{2}$ Model with a SQL-Type Language
  Interface.
\newblock In {\em Proc. 12 Int. Conf. on Very Large Data Bases, Kyoto}, pages
  278--288, August 1986.

\bibitem[RC87]{RiCa87}
J.~Richardson and M.~Carey.
\newblock Programming Constructs for Database System Implementation in EXODUS.
\newblock In {\em ACM-SIGMOD International Conference on Management of Data},
  San Francisco, CA, May 1987.

\bibitem[Rey72]{Reyn72}
J.C. Reynolds.
\newblock Definitional interpreters for higher order programming languages.
\newblock In {\em Proc. ACM 25th National Conference}, volume~2, pages
  717--740, Boston, 1972.

\bibitem[Rey74]{Reyn74}
J.C. Reynolds.
\newblock Towards a theory of type structure.
\newblock In {\em Colloquium sur la programmation}, volume~19 of {\em Lecture
  Notes in Computer Science}, pages 408--423. Springer-Verlag, 1974.

\bibitem[Ric89]{Rich89}
J.E. Richardson.
\newblock E: A Persistent Systems Implementation Language.
\newblock Technical Report 868, Computer Sciences Department, University of
  Wisconsin-Madison, August 1989.

\bibitem[RT88a]{ReTe88}
T.W. Reps and T.~Teitelbaum.
\newblock {\em The Synthesizer Generator: A System For Constructing
  Language-Based Editors}.
\newblock Texts and Monographs in Computer Science. Springer-Verlag, 1988.

\bibitem[RT88b]{ReTe89}
T.W. Reps and T.~Teitelbaum.
\newblock {\em The Synthesizer Generator Reference Manual}.
\newblock Texts and Monographs in Computer Science. Springer-Verlag, third
  edition, 1988.

\bibitem[SAH87]{SAH88}
M.~Stonebraker, J.~Anton, and M~Hirohama.
\newblock Extendability in POSTGRES.
\newblock {\em Database Engineering, Special Issue on Extensible Database
  Systems}, 10(2), June 1987.

\bibitem[SB83]{ScBr83}
J.W. Schmidt and M.L. Brodie, editors.
\newblock {\em Relational Database Systems}.
\newblock Springer-Verlag, 1983.

\bibitem[SBK{\etalchar{+}}88]{S*88}
J.W. Schmidt, M.~Bittner, H.~Klein, H.~Eckhardt, and F.~Matthes.
\newblock DBPL System: The Prototype and its Architecture.
\newblock DBPL Memo 111-88, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, West Germany, November 1988.

\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[Seb89]{Sebe89}
R.W. Sebesta.
\newblock {\em Concepts of Programming Languages}.
\newblock Benjamin/Cummings Series in Computer Science. Benjamin/Cummings
  Publishing Company, Inc., 1989.

\bibitem[SEM88]{SEM88}
J.W. Schmidt, H.~Eckhardt, and F.~Matthes.
\newblock DBPL Report.
\newblock DBPL-Memo 111-88, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, West Germany, 1988.

\bibitem[SM90]{ScMa90}
J.W. Schmidt and F~Matthes.
\newblock DBPL Language and System Manual.
\newblock Esprit Project 892 MAP 2.3, Fachbereich Informatik, Universit\"at
  Hamburg, West Germany, April 1990.

\bibitem[SS77]{SmSm77}
J.M. Smith and D.C.P. Smith.
\newblock Database Abstractions: Aggregation and Generalization.
\newblock {\em ACM Transactions on Database Systems}, 2(2):105--133, June 1977.

\bibitem[SSB86]{SSB86}
D.~Stemple, T.~Sheard, and B.~Bunker.
\newblock Abstract Data Types in Databases: Specification, Manipulation and
  Access.
\newblock In {\em Proc. of the IEEE 2nd International Conference on Data
  Engineering}, pages 590--597, Los Angeles, California, February 1986.

\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[Sta88]{Stan88}
R.~Stansifer.
\newblock Type Inference with Subtypes.
\newblock In {\em Proc. 15th ACM Symposium on Principles of Programming
  Languages}, pages 88--97, 1988.

\bibitem[Str67]{Stra67}
C.~Strachey, editor.
\newblock {\em Fundamental concepts in programming languages}.
\newblock Oxford University Press, Oxford, 1967.

\bibitem[SWBM89]{SWBM89}
J.W. Schmidt, I.~Wetzel, A.~Borgida, and J.~Mylopoulos.
\newblock Database Programming by Formal Refinement of Conceptual Designs.
\newblock {\em IEEE -- Data Engineering}, September 1989.

\bibitem[Tur85]{Turn85}
D.A. Turner.
\newblock Miranda: A non-strict functional language with polymorphic types.
\newblock In J.P. Jouannaud, editor, {\em Functional Programming Languages and
  Computer Architecture}, volume 201 of {\em Lecture Notes in Computer
  Science}, pages 1--16, 1985.

\bibitem[Wan87]{Wand87}
M.~Wand.
\newblock Complete Type Inference for Simple Objects.
\newblock In {\em Proceedings of the Second Annual Symposium on Logic in
  Computer Science}, pages 37--44, Ithaca, New York, June 1987.

\bibitem[Wik87]{Wiks87}
A.~Wikstr\"om.
\newblock {\em Functional Programming using Standard ML}.
\newblock Prentice Hall, 1987.

\bibitem[Wir83]{Wirt83}
N.~Wirth.
\newblock {\em Programming in Modula-2}.
\newblock Springer-Verlag, 1983.

\bibitem[WL81]{WeLi81}
B.~Weihl and B.~Liskov.
\newblock Specification and Implementation of Resilient Atomic Data Types.
\newblock {\em Proc. ACM SIGPLAN Symp. on Prog. Lang. Issues in Softw. Syst.
  ACM SIGPLAN Not.}, 16(5), May 1981.

\end{thebibliography}
