\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{JMW{\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[ASU86]{ASU86}
A.V. Aho, R.~Sethi, and J.D. Ullman.
\newblock {\em Compilers: Principles, Techniques and Tools}.
\newblock Addison-Wesley, 1986.

\bibitem[BJM{\etalchar{+}}89]{BJMSV89}
A.~Borgida, M.~Jarke, J.~Mylopoulos, J.W. Schmidt, and Y.~Vassiliou.
\newblock The Software Development Environment as a Knowledge Base Management
  System.
\newblock In J.W. Schmidt and C.~Thanos, editors, {\em Foundations of Knowledge
  Base Management}, Topics in Information Systems. Springer-Verlag, 1989.

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

\bibitem[BSW88]{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[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[Cou89]{NSE89}
W.~Courington.
\newblock The Network Software Environment.
\newblock Sun technical report, Sun Microsystems, Inc., 1989.

\bibitem[DT88]{DAIDA88}
DAIDA-Team.
\newblock Towards KBMS for Software Development: An Overview of the DAIDA
  Project.
\newblock In {\em Advances in Database Technology, EDBT '88}, volume 303 of
  {\em Lecture Notes in Computer Science}, pages 572--577. Springer-Verlag,
  1988.

\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[GKB87]{GKB87}
Ulrich G{\"u}ntzer, Werner Kiessling, and Rudolf Bayer.
\newblock On the Evaluation of Recursion in (Deductive) Database Systems by
  Efficient Differential Fixpoint Iteration.
\newblock In {\em Proceedings 3rd International Conference on Data
  Engineering}, pages 120 -- 129, Los Angeles, February 1987.

\bibitem[GLP75]{GLP75}
J.N. Gray, R.A. Lorie, and G.R. Putzolu.
\newblock Granularity of Locks in a Shared Data Base.
\newblock In {\em Proc. VLDB Conference}, Boston, Mass., September 1975.

\bibitem[JK83]{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[JK84]{JaKo84}
M.~Jarke and J.~Koch.
\newblock Query Optimization in Database Systems.
\newblock {\em ACM Computing Surveys}, 16(2):111--152, 1984.

\bibitem[JMW{\etalchar{+}}90]{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[Joh75]{Joh75}
S.C. Johnson.
\newblock Yacc: Yet another compiler-compiler.
\newblock Technical report, Bell Laboratories, Murray Hill, 1975.

\bibitem[KMP82]{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[Knu68]{Knu68}
D.E. Knuth.
\newblock Semantics of Context-Free Languages.
\newblock {\em Math. Syst. Theory}, 2:127--145, 1968.

\bibitem[Knu71]{Knu71}
D.E. Knuth.
\newblock Semantics of Context-Free Languages (Correction).
\newblock {\em Math. Syst. Theory}, 5:95--96, 1971.

\bibitem[Koc84]{Koch80}
J.~Koch.
\newblock {\em Relationale Anfragen: Zerlegung und Optimierung}.
\newblock PhD thesis, Fachbereich Informatik, Universit\"at Hamburg, Germany,
  December 1984.

\bibitem[LKM{\etalchar{+}}84]{LKNM84}
R.~Lorie, W.~Kim, D.~McNabb, W.~Plouffe, and A.~Meier.
\newblock Supporting Complex Objects in a Relational System for Engineering
  Databases.
\newblock In W.~Kim, D.S. Reimer, and D.S. Batory, editors, {\em Query
  Processing in Database Systems}, pages 145--155, Berlin, 1984.
  Springer-Verlag.

\bibitem[LS75]{LeSc75}
M.E. Lesk and E.~Schmidt.
\newblock Lex -- a lexical analyzer generator.
\newblock Technical report, Bell Laboratories, Murray Hill, 1975.

\bibitem[LY81]{LeYa81}
P.L. Lehmann and S.B. Yao.
\newblock Efficient Locking for Concurrent Operations on B-Trees.
\newblock {\em ACM Transactions on Database Systems}, 6(4):650--670, December
  1981.

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

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

\bibitem[MS91b]{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).

\bibitem[Muc90]{Much90}
S.S. Muchnick.
\newblock Optimizing Compilers for the SPARC Architecture.
\newblock In M.~Hall and J.~Barry, editors, {\em The Sun Technology Papers}.
  Springer-Verlag, 1990.

\bibitem[Naq89]{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[Nie91]{Nieb91}
P.~Niebergall.
\newblock Language-Sensitive Technology for Database Program Development.
\newblock DBPL-Memo 108-91, Fachbereich Informatik, Universit\"at Hamburg,
  Germany, 1991.

\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, Germany, 1987.

\bibitem[PSS{\etalchar{+}}87]{P*87}
H.-B. Paul, H.-J. Schek, M.H. Scholl, G.~Weikum, and U.~Deppisch.
\newblock Architecture and Implementation of the Darmstadt Database Kernel
  System.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, San Francisco, California}, pages 196--207, May 1987.

\bibitem[RA83]{ReDi83}
M.~Reimer and Diener A.
\newblock The {Modula/R} Compiler for the Lilith.
\newblock LIDAS Memo 051-83, Department Informatik, ETH Z\"urich, Switzerland,
  1983.

\bibitem[Rep83]{Reps83}
T.~Reps.
\newblock {\em Generating Language-Based Environments}.
\newblock PhD thesis, Cornell University, Ithaca, 1983.

\bibitem[RT88]{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[RT89]{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, 1989.

\bibitem[SBK{\etalchar{+}}88]{DAIDA2}
J.W. Schmidt, M.~Bittner, H.~Klein, H.~Eckhardt, and F.~Matthes.
\newblock {DBPL} System: The Prototype and its Architecture.
\newblock Esprit Project 892 WP/IMP 3.2, Fachbereich Informatik, Johann
  Wolfgang Goethe-Universit\"at, Frankfurt, Germany, November 1988.

\bibitem[SEM88]{DAIDA1}
J.W. Schmidt, H.~Eckhardt, and F.~Matthes.
\newblock Extensions to {DBPL}: Towards A Type-Complete Database Programming
  Language.
\newblock Esprit Project 892 WP/IMP 3.1, Fachbereich Informatik, Johann
  Wolfgang Goethe-Universit\"at, Frankfurt, Germany, April 1988.

\bibitem[SM90a]{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, Germany, April 1990.

\bibitem[SM90b]{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[SM91]{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[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[Wei88]{Wei88}
G.~Weikum.
\newblock {\em Transaktionen in Datenbanken: Fehlertolerante Steuerung
  paralleler Abl\"aufe}.
\newblock Addison Wesley, 1988.

\end{thebibliography}