\begin{thebibliography}{10}

\bibitem{Schm77b}
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.
\newblock (Also appeared in ACM TODS, 2(3), September, 1977 and A. Wasserman
  (editor), IEEE Tutorial on Programming Language Design, and M. Stonebreaker
  (editor), Readings in Database Systems, Morgan Kaufmann Publishers, 1988 and
  1993).

\bibitem{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{Schm80}
J.W. Schmidt and M.~Mall.
\newblock Pascal/R Report.
\newblock Bericht~66, Fachbereich Informatik, Universit\"at Hamburg, Germany,
  January 1980.

\bibitem{ScMa93b}
J.W. Schmidt and F.~Matthes.
\newblock Modular and Rule-Based Database Programming in {DBPL}.
\newblock In M.~Jarke, editor, {\em Database Application Engineering with
  {DAIDA}}, volume~1 of {\em Research Reports ESPRIT}, pages 85--122.
  Springer-Verlag, 1993.

\bibitem{MaSc93a}
F.~Matthes and J.W. Schmidt.
\newblock {DBPL}: The System and its Environment.
\newblock In M.~Jarke, editor, {\em Database Application Engineering with
  {DAIDA}}, volume~1 of {\em Research Reports ESPRIT}, pages 319--348.
  Springer-Verlag, 1993.

\bibitem{ScMa92}
F.~Matthes and J.W. Schmidt.
\newblock Datenbankprogrammiersprachen.
\newblock {\em Informatik Spektrum}, 15(4), August 1992.

\bibitem{MRSS92}
F.~Matthes, A.~Rudloff, J.W. Schmidt, and K.~Subieta.
\newblock The Database Programming Language {DBPL}: User and System Manual.
\newblock FIDE Technical Report Series FIDE/92/47, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, July
  1992.

\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}, pages 255--260, Salishan, Oregon, June 1989.

\bibitem{MaSc91b}
F.~Matthes and J.W. Schmidt.
\newblock Bulk Types: Built-In or Add-On?
\newblock In {\em Proceedings of the Third International Workshop on Database
  Programming Languages}, Nafplion, Greece, September 1991. Morgan Kaufmann
  Publishers.

\bibitem{Wirt85b}
N.~Wirth.
\newblock Report on the Programming Language Modula-2.
\newblock In {\em Programming in Modula-2}. Springer-Verlag, 3rd edition, 1985.

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

\bibitem{EEKM85}
H.~Eckhardt, J.~Edelmann, J.~Koch, M.~Mall, and J.W. Schmidt.
\newblock Draft Report on the Database Programming Language {DBPL}.
\newblock DBPL-Memo 091-85, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, Germany, 1985.

\bibitem{MRSS92a}
F.~Matthes, A.~Rudloff, J.W. Schmidt, and K.~Subieta.
\newblock A Gateway from {DBPL} to {Ingres}: {Modula-2}, {DBPL}, {SQL+C},
  {Ingres}.
\newblock FIDE Technical Report Series FIDE/92/54, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  August 1992.

\bibitem{ScMa91d}
J.W. Schmidt and F.~Matthes.
\newblock The Rationale behind DBPL.
\newblock In {\em 3rd Symposium on Mathematical Fundamentals of Database and
  Knowledge Base Systems}, volume 495 of {\em Lecture Notes in Computer
  Science}. Springer-Verlag, May 1991.

\bibitem{ScMa90a}
J.W. Schmidt and F.~Matthes.
\newblock Language Technology for Post-Relational Data Systems.
\newblock In A.~Blaser, editor, {\em Database Systems of the 90s}, volume 466
  of {\em Lecture Notes in Computer Science}, pages 81--114, November 1990.

\bibitem{ScMa90b}
J.W. Schmidt and F.~Matthes.
\newblock Naming Schemes and Name Space Management in the {DBPL} Persistent
  Storage System.
\newblock In {\em Proceedings of the Fourth International Workshop on
  Persistent Object Systems, Martha's Vineyard, Massachusetts}. Morgan Kaufmann
  Publishers, January 1991.

\bibitem{Matt93}
F.~Matthes.
\newblock {\em Persistente Objektsysteme: Integrierte Datenbankentwicklung und
  Programmerstellung}.
\newblock Springer-Verlag, 1993.
\newblock (In German.).

\bibitem{JaKo83}
M.~Jarke and J.~Koch.
\newblock Range Nesting: A Fast Method to Evaluate Quantified Queries.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data}, pages 196--206, May 1983.

\bibitem{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{JGLR88}
W.~Johannsen, L.~Ge, W.~Lamersdorf, K.~Reinhard, and J.W. Schmidt.
\newblock Database Application Support in Open Systems: Language Support and
  Implementation.
\newblock In {\em Proc. IEEE 4th Int. Conf. on Data Engineering}, Los Angeles,
  USA, February 1988.

\bibitem{JLRS88}
W.~Johannsen, W.~Lamersdorf, K.~Reinhard, and J.W. Schmidt.
\newblock The {DURESS} Project: Extending Databases into an Open Systems
  Architecture.
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 616--620. Springer-Verlag,
  1988.

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

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

\bibitem{BJS86}
S.~B{\"o}ttcher, M.~Jarke, and J.W. Schmidt.
\newblock Adaptive Predicate Managers in Database Systems.
\newblock In {\em Proc. of the 12th International Conference on VLDB}, Kyoto,
  1986.

\bibitem{KMP82}
J.~Koch, J.~Mall, and P.~Putfarken.
\newblock Modula-2 for the VAX: Description of a System Portation.
\newblock In H.~Langmaack, B.~Schlender, and J.W. Schmidt, editors, {\em
  Tagungsband Implementierung Pascal-artiger Programmiersprachen}. Teubner
  Verlag, 1982.
\newblock (In German.).

\bibitem{MSS91}
F.~Matthes, G.~Schr\"oder, and J.W. Schmidt.
\newblock VAX Modula-2 User's Guide; VAX DBPL User's Guide.
\newblock DBPL Memo 121-91, Fachbereich Informatik, Universit\"at Hamburg,
  Germany, December 1991.

\bibitem{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{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{Reim81}
M.~Reimer and J.W. Schmidt.
\newblock Transaction Procedures with Relational Parameters.
\newblock Report~45, Department Informatik, ETH Z\"urich, Switzerland, October
  1981.

\bibitem{GrRe93}
J.~Gray and A.~Reuter.
\newblock {\em Transaction Processing -- Concepts and Techniques}.
\newblock The Morgan Kaufmann Series in Data Management Systems. Morgan
  Kaufmann Publishers, 1993.

\bibitem{ScMa93a}
J.W. Schmidt and F.~Matthes.
\newblock Modular and Rule-Based Database Programming in DBPL.
\newblock In M.~Jarke, editor, {\em Database Application Engineering with
  DAIDA}, Research Reports {ESPRIT}, pages 85--124. Springer-Verlag, 1993.

\bibitem{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{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{Mink88}
J.~Minker.
\newblock {\em Foundations of Deductive Databases and Logic Programming}.
\newblock Morgan Kaufmann Publishers, 1988.

\bibitem{Naqv89}
S.A. Naqvi.
\newblock Stratification as a Design Principle in Logical Query Languages.
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages}, Salishan, Oregon, June 1989.

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

\bibitem{Card89}
L.~Cardelli.
\newblock Typeful Programming.
\newblock Report~45, Digital Equipment Corporation, Systems Research Center,
  May 1989.

\bibitem{DE87}
M.~Carey, editor.
\newblock {\em Database Engineering, Special Issue on Extensible Database
  Systems}, volume~10, June 1987.

\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{BSW88}
C.~Beeri, H.-J. Schek, and G.~Weikum.
\newblock Multi-Level Transaction Management, Theoretical Art or Practical
  Need?
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 134--154. Springer-Verlag,
  1988.

\bibitem{App92}
A.~Appel.
\newblock {\em Compiling with Continuations}.
\newblock Cambridge University Press, 1992.

\bibitem{Shop79}
J.E. Shopiro.
\newblock Theseus -- A programming language for relational databases.
\newblock {\em ACM Transactions on Database Systems}, 4(4):493--517, December
  1979.

\bibitem{Wass79}
A.L. Wasserman.
\newblock The Data Management Facilities of PLAIN.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data}, pages 60--70, 1979.

\bibitem{RS79}
L.~Rowe and K.~Shoens.
\newblock Data Abstraction, Views and Updates in RIGEL.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data}, pages 71--81, 1979.

\bibitem{Jark93}
M.~Jarke.
\newblock {\em Database Application Engineering with {DAIDA}}.
\newblock Research Reports ESPRIT. Springer-Verlag, 1993.

\bibitem{JaSc82b}
M.~Jarke and J.W. Schmidt.
\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}, Orlando, FL, 1982.

\bibitem{Pale72}
F.P. Palermo.
\newblock A Data Base Search Problem.
\newblock In {\em Proceedings 4th Computer and Information Science Symposium},
  pages 67--101, Miami Beach, 1972.

\bibitem{CFH*82}
D.L. Cram, J.C. Freytag, I.~Hampton, M.~Mall, J.W. Schmidt, and
  T.~Schwinghammer.
\newblock The Evaluation of Acoustics Survey Data from the First BIOMASS
  Experiment -- Report on an Interdisciplinary Data Management Project.
\newblock Bericht~87, Fachbereich Informatik, Universit\"at Hamburg, Germany,
  March 1982.

\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{MRS84}
M.~Mall, M.~Reimer, and J.W. Schmidt.
\newblock Data Selection, Sharing and Access Control in a Relational Scenario.
\newblock In M.L. Brodie, J.L. Myopoulos, and J.W. Schmidt, editors, {\em On
  Conceptual Modelling}. Springer-Verlag, 1984.

\bibitem{ScMa83}
J.W. Schmidt and M.~Mall.
\newblock Abstraction Mechanisms for Database Programming.
\newblock In {\em Proc. SIGPLAN Symp. on Programming Language Issues in
  Software Systems}, San Francisco, June 1983.

\bibitem{LEERS87}
W.~Lamersdorf, H.~Eckhardt, W.~Effelsberg, K.~Reinhard, and J.W. Schmidt.
\newblock Database Programming for Distributed Office Systems.
\newblock In {\em Proc. Int. Conf. on Office Automation}, Washington, 1987.

\bibitem{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{JMW*90}
M.~Jeusfeld, M.~Mertikas, I.~Wetzel, Jarke. M., and J.W. Schmidt.
\newblock Database Application Development as an Object Modelling Activity.
\newblock In {\em Proc. 16th VLDB Conference}, Brisbane, Australia, August
  1990.

\bibitem{JRJ93}
M.~Jeusfeld, T.~Rose, and M.~Jarke.
\newblock ConceptBase: A Telos-Based Software Information System.
\newblock In M.~Jarke, editor, {\em Database Application Engineering with
  DAIDA}, Research Reports {ESPRIT}, pages 367--388. Springer-Verlag, 1993.

\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{ScMa93}
J.W. Schmidt and F.~Matthes.
\newblock Lean Languages and Models: Towards an Interoperable Kernel for
  Persistent Object Systems.
\newblock In {\em Proceedings of the IEEE International Workshop on Research
  Issues in Data Engineering, Interoperability in Multidatabase Systems}, pages
  2--16, Vienna, Austria, April 1993.

\bibitem{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.
\newblock (Also appeared as TR FIDE/91/14).

\end{thebibliography}
