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

\bibitem[ASU86]{ASU86}
A.V. Aho, R.~Sethi, and J.D. Ullman.
\newblock {\em Compilers: Principles, Techniques and Tools}.
\newblock Addison-Wesley, 1986.

\bibitem[BJS86]{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[B{\"o}t90]{Bott90}
S.~B{\"o}ttcher.
\newblock Improving the Concurrency of Integrity Checks and Write Operations.
\newblock In {\em Proc. ICDT 90}, Paris, December 1990.

\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[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[JGL{\etalchar{+}}88]{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[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[JLRS88]{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[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[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[Koc84]{Koch80}
J.~Koch.
\newblock {\em Relationale Anfragen: Zerlegung und Optimierung}.
\newblock PhD thesis, Fachbereich Informatik, Universit\"at Hamburg, West
  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[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[MS92]{MaSc92a}
F.~Matthes and J.W. Schmidt.
\newblock The Database Programming Language DBPL: Rationale and Report.
\newblock FIDE Technical Report FIDE/92/46, Fachbereich Informatik,
  Universit\"at Hamburg, West Germany, July 1992.

\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[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[SL85]{ScLi85}
J.W. Schmidt and V.~Linnemann.
\newblock Higher Level Relational Objects.
\newblock In {\em Proc. 4th British National Conference on Databases (BNCOD
  4)}. Cambridge University Press, July 1985.

\bibitem[SM90]{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[SM91a]{ScMa91a}
J.W. Schmidt and F.~Matthes.
\newblock Modular and Rule-Based Database Programming in DBPL.
\newblock FIDE Technical Report FIDE/91/15, Fachbereich Informatik,
  Universit\"at Hamburg, West Germany, February 1991.

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

\end{thebibliography}
