% File:    florian.bib
% Author:  Florian Matthes
% Date:    7-JUL-1993
% Purpose: Complete literature database used by DBIS papers
% ## fixup still unpublished DBIS Papers!

% STRING DEFINITIONS FOR USE IN LATEX BIBLIOGRAPHY
% ## Sigmod 91 city and state missing
%
@string{
        actainf  = "Acta Informatica"}
@string{
        cacm     = "Communications of the ACM"}
@string{
        iwoods86 = "Proceedings of the First International Workshop
                    on Object-Oriented Database Systems, Pacific
                    Grove, California"}
@string{
        iwoods88 = "Proceedings of the Second International Workshop
                    on Object-Oriented Database Systems, Bad
                    Muenster am Stein-Ebernburg, Germany"}
@string{
        infosys  = "Information Systems"}
@string{
        oopsla86 = "Proceedings of the Object-Oriented Programming Systems,
                    Languages and Applications Conference, Portland, Oregon"}
@string{
        oopsla87 = "Proceedings of the Object-Oriented Programming Systems,
                    Languages and Applications Conference, Orlando, Florida"}
@string{
        oopsla88 = "Proceedings of the Object-Oriented Programming Systems,
                    Languages and Applications Conference, Orlando, Florida"}
@string{
        oopsla89 = "Proceedings of the Object-Oriented Programming Systems,
                    Languages and Applications Conference, 
                    New Orleans, Louisiana"}
@string{
        oopsla90 = "Proceedings of the OOPSLA / ECOOP Conference, 
                    Ottawa, Canada"}
@string{
        oopsla91 = "Proceedings of the Object-Oriented Programming Systems,
                    Languages and Applications Conference, 
                    Phoenix, Arizona"}
@string{
        pods82   = "Proceedings of the First ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems,
                    Los Angeles, California"}
@string{
        pods83   = "Proceedings of the Second ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems"}
@string{
        pods84   = "Proceedings of the Third ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems,
                    Waterloo, Ontario"}
@string{
        pods85   = "Proceedings of the Fourth ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems"}
@string{
        pods86   = "Proceedings of the Fifth ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems"}
@string{
        pods87   = "Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems"}
@string{
        pods88   = "Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems,
                    Austin, Texas"}
@string{
        pods89   = "Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems,
                    Philadelphia, Pennsylvania"}
@string{
        popl74    = "Proceedings of the First ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl75    = "Proceedings of the Second ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl76    = "Proceedings of the Third ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl77   = "Proceedings of the Fourth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl78    = "Proceedings of the Fifth ACM Symposium on
                    Principles of Programming Languages,
                    Tucson, Arizona"}
@string{
        popl79    = "Proceedings of the Sixth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl80    = "Proceedings of the Seventh ACM Symposium on
                    Principles of Programming Languages,
                    Las Vegas, Nevada"}
@string{
        popl81    = "Proceedings of the Eighth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl82    = "Proceedings of the Ninth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl83   = "Proceedings of the Tenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl84   = "Proceedings of the Eleventh ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl85   = "Proceedings of the Twelfth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl86   = "Proceedings of the Thirteenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl87   = "Proceedings of the Fourteenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl88   = "Proceedings of the Fifteenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl89   = "Proceedings of the Sixteenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl90   = "Proceedings of the Seventeenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl91   = "Proceedings of the Eighteenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl92   = "Proceedings of the Nineteenth ACM Symposium on
                    Principles of Programming Languages"}
@string{
        popl93   = "Proceedings of the 20th ACM Symposium on
                    Principles of Programming Languages"}
@string{
        sigmod75 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, San Jose, CA"}
@string{
        sigmod77 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, Toronto, Canada"}
@string{
        sigmod78 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod79 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod80 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod81 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod82 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod83 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod84 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, Boston, Massachusetts"}
@string{
        sigmod85 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data"}
@string{
        sigmod86 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, Washington, D.C."}
@string{
        sigmod87 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, San Francisco, California"}
@string{
        sigmod88 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, Chicago, Illinois"}
@string{
        sigmod89 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, Portland, Oregon"}
@string{
        sigmod91 = "Proceedings of the ACM-SIGMOD International Conference
                    on Management of Data, ##"}
@string{
        sigmodrec= "ACM SIGMOD Record"}
@string{
        sigplan  = "ACM SIGPLAN Notices"}
@string{
        surveys  = "ACM Computing Surveys"}
@string{
        tods     = "ACM Transactions on Database Systems"}
@string{
        tois     = "ACM Transactions on Office Information Systems"}
@string{
        toplas   = "ACM Transactions on Programming Languages and Systems"}
@string{
        tose     = "IEEE Transactions on Software Engineering"}
@string{
        vldb75    = "Proceedings of the First International Conference
                    on Very Large Databases"}
@string{
        vldb76    = "Proceedings of the Second International Conference
                    on Very Large Databases"}
@string{
        vldb77    = "Proceedings of the Third International Conference
                    on Very Large Databases"}
@string{
        vldb78    = "Proceedings of the Fourth International Conference
                    on Very Large Databases, West Berlin, Germany"}
@string{
        vldb79    = "Proceedings of the Fifth International Conference
                    on Very Large Databases"}
@string{
        vldb80    = "Proceedings of the Sixth International Conference
                    on Very Large Databases"}
@string{
        vldb81    = "Proceedings of the Seventh International Conference
                    on Very Large Databases"}
@string{
        vldb82    = "Proceedings of the Eighth International Conference
                   on Very Large Databases, Mexico City, Mexico"}
@string{
        vldb83    = "Proceedings of the Ninth International Conference
                    on Very Large Databases"}
@string{
        vldb84   = "Proceedings of the Tenth International Conference
                    on Very Large Databases"}
@string{
        vldb85   = "Proceedings of the Eleventh International Conference
                    on Very Large Databases"}
@string{
        vldb86   = "Proceedings of the Twelfth International Conference
                    on Very Large Databases, Kyoto, Japan"}
@string{
        vldb87   = "Proceedings of the Thirteenth International Conference
                    on Very Large Databases"}
@string{
        vldb88   = "Proceedings of the Fourteenth International Conference
                    on Very Large Databases"}
@string{
        vldb89   = "Proceedings of the Fifteenth International Conference
                    on Very Large Databases"}
@string{
        vldb90   = "Proceedings of the Sixteenth International Conference
                    on Very Large Databases"}
@string{
        dbpl87   = "Proceedings of the First International Workshop on
                    Database Programming Languages, Roscoff, Finistere,
                    France"}
@string{
        dbpl89  = "Proceedings of the Second International Workshop on
                   Database Programming Languages"}
@string{
        dbpl91  = "Proceedings of the Third International Workshop on
                   Database Programming Languages"}

@string{
  icse85  = "Proceedings of the 8th International Conference on Software
             Engineering, Imperial College, London, U.K."}
@string{
  dataeng85 = "Proceedings of the IEEE First International Conference
               on Data Engineering"}
@string{
  dataeng86 = "Proceedings of the IEEE Second International Conference
               on Data Engineering"}
@string{
  dataeng87 = "Proceedings of the IEEE Third International Conference
               on Data Engineering"}
@string{
  dataeng88 = "Proceedings of the IEEE Fourth International Conference
               on Data Engineering"}
@string{
  dataeng89 = "Proceedings of the IEEE Fifth International Conference
               on Data Engineering, Los Angeles, California"}
@string{
  dataeng90 = "Proceedings of the IEEE Sixth International Conference
               on Data Engineering"}

@string{
  pos89     = "Proceedings of the Workshop on Persistent Object Systems,
               Newcastle, Australia"}
@string{
  pos90     = "Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, Massachusetts"}

@string{
  exdbt88   = "Proceedings of the International Conference on Extending
               Database Technology, Venice, Italy"}

@string{
  ieeesap87 = "Proceedings of the IEEE Symposium on Security and Privacy,
               Oakland, California, April 27--29, 1987"}

@string{
  ieeesap88 = "Proceedings of the IEEE Symposium on Security and Privacy,
               Oakland, California, April 18--21"}

@string{
  ieeesap89 = "Proceedings of the IEEE Symposium on Security and Privacy,
               Oakland, California, May 1--3"}

% Institutions and organizations:

@string{ffm-info     ={Fachbereich Informatik, Johann Wolfgang
                       Goethe-Universit\"at, Frankfurt, Germany}}
@string{hbg-info     ={Fachbereich Informatik, Universit\"at Hamburg, Germany}}
@string{fidecoord    ={FIDE Project Coordinator, Department of Computing
                       Sciences, University of Glasgow}}
@string{eth          ={Department Informatik, ETH Z\"urich, Switzerland}}

@string{inria        ={INRIA, Domaine de Voluceau
                       Rocquencourt 78153 Le Chesnay Cedex - France}}
@string{src          ={DEC Systems Research Center, 130 Lytton Avenue,
                       Palo Alto, 94301 CA}}
@string{altair       ={GIP Altair, Domaine de Voluceau
                       Rocquencourt 78153 Le Chesnay Cedex - France}}
@string{fiderep       ={FIDE Technical Report Series}}

@string{springer     ={Springer-Verlag}}

@string{prentice     ={Prentice Hall, Englewood Cliffs, NJ}},

@string{kaufmann     ={Morgan Kaufmann Publishers}}


% Series:

@string{tis          ={Topics in Information Systems}}

@string{lncs         ={Lecture Notes in Computer Science}}

@string{rresprit     ={Research Reports {ESPRIT}}}

@string{tmcs         ={Texts and Monographs in Computer Science}}


@inproceedings{MuKl88,
title=           {Rigi -- A System for Programming-in-the-large},
author=          {M{\"u}ller, H.A. and Klashinsky, K.},
booktitle=       {Proceedings of the 10th International Conference on
                  Software Engineering, Singapore},
month=           apr,
year=            1988,
abstract=        {Rigi, Modules, Import, Export, Dependencies,
Documents, Hypertext Editor, Consistency, Versions, Revisions,
}}

@unpublished{Beer91,
author=          {Beeri, C.},
title=           {A Logical Framework for Object-Oriented Databases},
year=            1991,
month=           jun,
note=            {(private communication)},
abstract=        {Delete sometime
}}

@unpublished{Moss91,
author=          {Moss, J.E.B.},
title=           {Pointer Swizzling: Costs and Benefits},
year=            1991,
note=            {(VLDB 91 Submission)},
abstract=        {Mneme, Object Store
}}

@article{AbGr91,
title=           {A Rule-Base Language With Functions and Sets},
author=          {Abiteboul, S. and Grumbach, S.},
journal=         tods,
volume=          16,
number=          1,
month=           mar,
year=            1991,
abstract=        {COL, Recursion, stratification, sets, functions}
}

@article{deBr72,
title=           {Lambda-calculus notation with nameless dummies: a tool
for automatic formula manipulation with application to the {Church-Rosser} theorem},
author=          {{de Bruijn}, N.G.},
journal=         {Indag.~Math.},
volume=          34,
number=          5,
year=            1972,
pages=           {381--392},
abstract=        {scoping, naming, de Bruijn indices, variable capture}
}

@article{FrGo89,
title=           {On the Translation of Relational Queries into
                  Iterative Programs},
author=          {Freytag, J.C. and Goodman, N.},
journal=         tods,
volume=          14,
number=          1,
month=           mar,
year=            1989,
abstract=        {query evaluation, query optimization, algebra,
                  calculus, iterators, generators}
}

@article{Ston90,
title=           {Special Issue on Database Prototype Systems},
author=          {Stonebraker, M.},
journal=         {IEEE Transactions on Knowledge and Data Engineering},
volume=          2,
number=          1,
month=           mar,
year=            1990,
abstract=        {Sehr gute Sammlung von Papers ueber DB Prototypen,
DASDBS, Bubba, Gamma, Iris, LDL, O2, ORION, POSTGRES, Starburst, System
M, Uni-Bibliothek vorhanden.
}}

@book{Corb91,
title=           {The Art of Distributed Applications},
author=          {Corbin, J.R.},
series=          {Sun Technical Reference Library},
publisher=       springer,
year=            1991,
abstract=        {Sehr gute Einfuehrung, RPC, XDR, Sun RPC, Protocols,
Remote Procedure Call, External Data Representation.
Signatur: D COR 16280
}}

@book{Broy88,
title=           {Constructive Methods in Computing Science},
author=          {Broy, M.},
series=          {NATO Advanced Science Institutes Series},
publisher=       springer,
year=            1988,
abstract=        {Marktoberdorf 1988, Boyer, Moore, Dijkstra, Hoare,
Broy, Lampson, logic, specification, type theory, proofs
Signatur: D COR 16280
}}

@inproceedings{A*89,
author=          {Albano, A. and Dearle, A. and Ghelli, G. and Martin, C.
                  and Morrison, R. and Orsini, R. and Stemple, D.},
title=           {A Framework for Comparing Type Systems for
                  Database Programming Languages},
booktitle=       {Proc. of the 2nd Workshop on Database Programming Languages,
                  Portland, Oregon},
month=           jun,
year=            1989,
pages=           "203--212"
}

@techreport{A*89b,
author=          {Atkinson, M. and others},
title=           {The Object-Oriented Database System Manifesto},
institution=     altair,
year=            1989,
month=           sep,
number=          {30-89},
abstract=        {Also appeared as ABW*90
}}

@article{ABCCM83,
author=          {Atkinson, M.P. and Bailey, P.J. and Chisholm, K.J. and
                  Cockshott, W.P. and Morrison, R.},
title=           {An approach to persistent programming},
journal=         {Computer Journal},
volume=          26,
number=          4,
year=            1983,
month=           nov
}

@incollection{ABLV81,
author=          {Atzeni, P. and Batini, C. and Lenzerini, M. and
                  Vallanelli, F.},
title=           {INCOD: A System for Conceptual Design of Data and
                  Transactions in the Entity-Relationship Model},
pages=           "379--414",
editor=          {Chen, P.P.S.},
booktitle=       {Entity-Relationship Approach to Information Modeling and
                  Analysis},
publisher=       {ER Institute},
year=            1981
}

@inproceedings{ALPR91,
author=          {Atkinsion, M.P. and L{\'e}cluse, C. and
                  Philbrow, P. and Richard, P.},
title=           {Design Issues in a Map Language},
booktitle=       dbpl91,
address=         {Nafplion, Greece},
publisher=       kaufmann,
month=           sep,
year=            1991,
abstract=        { maps, equality, ordering, variadicity, type
checking, constancy
}}

@article{CDKK85,
author=		{Chou, H.T. and DeWitt, D.J. and Katz, R.H. and Klug, A.C.},
title=		{Design and Implementation of the Wisconsin Storage System},
journal=	{Software-Practice and Experience},
year=		{1985},
volume=		{15},
number=		{10},
month=		oct,
abstract=        
	{keywords:	WiSS, kernel
        }
}

@techreport{WNS89,
author=          {Wetzel, I. and Niebergall, P. and Schmidt, J.W.},
title=           {A Mapping Assistant for Database Program Development},
institution=     ffm-info,
type=            {Esprit Project 892},
number=          {WP/IMP 1.d},
month=           mar,
year=            1989
}

@techreport{BrMo91,
author=          {Brown, A.L and Morrison , R.},
title=           {A Generic Persistent Object Store},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {2-91},
year=            1991,
abstract=        {Open Architecture for Persisten Object Stores
                  Napier, Staple, Galileio, P-Quest}
}

@book{ABM88,
editor=          {Atkinson, M.P. and Buneman, P. and Morrison, R.},
title=           {Data Types and Persistence},
series=          tis,
publisher=       springer,
year=            1988,
abstract=        {
   "Proceedings of a workshop held at the Appin in August 1985"
    Einleitung: Guter Überblick über Zusammenhang zwischen
    Typsystemen / Typüberprüfungen / DBPLs /
    Bindungsmechanismen / Transactions / Recovery
}}

@incollection{ABW*90,
author    = {M. Atkinson and F. Ban\c{c}ilhon and D. De Witt
             and K. Dittrich and D. Maier and S. Zdonik},
title     = {The Object-Oriented Database System Manifesto},
booktitle = {Deductive and Object-oriented Databases},
publisher = {Elsevier Science Publishers},
address   = {Amsterdam, Netherlands},
year      = {1990}
}

@incollection{ABW88,
author    = {K. R. Apt and H. A. Blair and A. Walker},
title     = {Towards a Theory of Declarative Knowledge},
booktitle = {Foundations of Deductive Databases},
publisher = kaufmann,
year      = {1988},
editor    = {Jack Minker},
pages     = {89 - 148},
}

@article{ACC81a,
author=          {Atkinson, M.P. and Chisholm, K.J. and Cockshott, W.P.},
title=           {{PS-algol}: An Algol with a Persistent Heap},
journal=         {ACM SIGPLAN Notices},
volume=          17,
number=          7,
month=           jul,
key=             {ACC81a},
year=            1981
}

@article{Catt91,
author=          {Cattell, R.G.G.},
title=           {Next-Generation Database Systems},
journal=         cacm,
volume=          34,
number=          10,
month=           oct,
year=            1991,
abstract=        {ObjectStore, GemStone, O2, Postgres, Starburst}
}

@article{AKN89,
author=          {A{\"i}t-Kaci, H. and Nasr, R.},
title=           {Integrating logic and functional programming},
journal=         {Lisp and Symbolic Computation},
volume=          2,
pages=           {51--89},
year=            1989,
abstract=        {up-to-now best reference on Life}
}

@techreport{ACC81b,
author=          {Atkinson, M.P. and Chisholm, K.J. and Cockshott W.P.},
title=           {The New Edinburgh Persistent Algorithmic Language},
institution=     {University of Edinburgh, Department of Computer Science},
number=          {CSR-90-81},
month=           aug,
key=             {ACC81b},
year=            1981
}

@article{ACO85,
author=          {Albano, A. and Cardelli, L. and Orsini R.},
title=           {Galileo: A Strongly-Typed, Interactive Conceptual Language},
journal=         tods,
volume=          10,
number=          2,
year=            1985,
pages=           "230--260"
}


@inproceedings{AEL88,
author=          {Appel, A.W. and  Ellis, J.R. and Li, K.},
title=           {Real-time Concurrent Garbage Collection on Stock
                  Multiprocessors},
booktitle=       {Proc. of SIGPLAN Conf. on Programming Language Design
                  and Implementation},
year=             1988,
note=            {(also in: SIGPLAN Notices 23(7), July 1988)},
abstract=        {ungelesen --> Marzusch?}
}

@book{AFS89,
author=          {Abiteboul, S. and Fischer, P.C. and Schek, H.J.},
title=           {Nested Relations and Complex Objects in Databases},
series=          lncs,
volume=          361,
publisher=       springer,
year=            1989,
abstract=        {Sammlung von up-to-date Veroeffentlichungen ueber
                  laengerfristige Projekte, gut}
}

@techreport{AGMS88,
author=          {Abrial, J.-R. and Gardiner, P. and Morgan, C. and
                  Spivey, M.},
title=           {Abstract Machines, Part 1--4},
institution=     {26 Rue des Plantes, Paris 75014},
month=           jun,
year=            1988
}

@inproceedings{ART91,
author=          {Atkinson, M. and Richard, P. and Trinder, P.},
title=           {Bulk Types for Large Scale Programming},
booktitle=       {Proceedings of the Kiev East/West Workshop on
                  Next Generation Database Technology},
series=          lncs,
volume=          {504},
month=           apr,
year=            1991,
abstract=        {type quarks, set comprehensions
}}

@inproceedings{AGO89,
author=          {Albano, A. and Ghelli, G. and Orsini, R.},
title=           {Types for Databases: The Galileo Experience},
booktitle=       {Proc. of the 2nd Workshop on Database Programming Languages,
                  Portland, Oregon},
month=           jun,
year=            1989
}

@techreport{AGOO88,
author=          {Albano, A. and Ghelli, G. and Occhiuto, M.E. and Orsini, R.},
title=           {Galileo Reference Manual, Version 2.0},
institution=     {Dipartimento di Informatica, Universit\`{a} di Pisa},
month=           feb,
year=            1988
}

@techreport{AMSV88,
author=          {Abrial, J.-R. and Morgan, C. and
                  Spivey, M. and Vickers, T.N.},
title=           {The Logic of `B'},
institution=     {26 Rue des Plantes, Paris 75014},
month=           sep,
year=            1988
}

@techreport{AbBe88,
author=          {Abiteboul, S. and Beeri, C.},
title=           {On the Power of Languages for the Manipulation of
                  Complex Objects},
institution=     inria,
year=            1988,
month=           may,
type=            "Rapports de Recherche",
number=          846,
abstract=        {
Summary and comparison of data models for complex objects
}}

@article{AbBi86,
author=          {Abiteboul, S. and Bidoit, N.},
title=           {Non first normal form relations: An algebra allowing data
                  restructuring},
journal=         jcss,
year=            1986
}

@article{AbHu87,
author=          {Abiteboul, S. and Hull, R.},
title=           {IFO: A Formal Semantic Database Model},
journal=         tods,
volume=          12,
number=          4,
year=            1987,
abstract=        {
}}

@inproceedings{AbKa89,
author=          {Abiteboul, S. and Kanellakis, P.C.},
title=           {Object Identity as a Query Language Primitive},
booktitle=       sigmod89,
year=            1989,
pages=           "159--173",
abstract=        {
}}

@incollection{Abri74,
author=          {Abrial, J.-R.},
title=           {Data Semantics},
editor=          {Klimbie, J.W. and Koffeman, K.L.},
booktitle=       {Data-Base Management},
publisher=       {North-Holland, Amsterdam},
year=            1974,
abstract=        { Unbedingt besorgen, 1000mal zitiert
}}

@techreport{Abri80,
author=          {Abrial, J.-R.},
title=           {The Specification Language Z},
institution=     {Oxford University Programming Research Group},
address=         {Oxford UK},
month=           apr,
year=            1980
}

@inproceedings{AgGh89,
author=          {Agrawal, R. and Gehani, N.H.},
title=           {ODE (Object Database and Environment): The Language and
                  the Data Model},
booktitle=       sigmod89,
month=           jun,
year=            1989,
pages=           "36--45",
abstract=        {O++ und ODE, reichlich ueberladen}
}

@inproceedings{AgGh89b,
author=          {Agrawal, R. and Gehani, N.H.},
title=           {Rationale for the Design of Persistence and Query Processing
                  Facilities in the Database Programming Language O++},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {O++ und ODE, reichlich ueberladen}
}

@inproceedings{AhUl79,
author=          {Aho, A.V and Ullman, J.D.},
title=           {Universality of Data Retrieval Languages},
booktitle=       {6th ACM Symp. on Principles of Programming Languages},
address=         {San Antonio, Texas},
month=           jan,
year=            1979
}

@techreport{Alag88,
author=          {Alagic, S.},
title=           {Object-Oriented Database Programming in a Relational
                  Environment Extended with Modules},
institution=     {Dept. of Informatics, Faculty of Electrical Engineering,
                  Univ. of Sarajevo, 71000 Sarajevo - Lukavica, Yugoslavia},
year=            1988,
month=           may,
abstract=        {primitive Modula-2 Extension, Modulex}
}

@book{Alag89,
author=          {Alagic, S.},
title=           {Object-Oriented Database Programming},
series=          tmcs,
publisher=       springer,
year=            1989,
abstract=        {MODULEX und Objektschemata}
}

@inproceedings{Alba83,
author=          {Albano, A.},
title=           {Type Hierarchies and Semantic Data Models},
booktitle=       {ACM SIGPLAN '83: Symposium on Programming Langauge
                  Issues in Software Systems},
address=         {San Francisco},
pages=           "178--186",
year=            1983
}

@techreport{AmCa90,
author=          {Amadio, R.M. and Cardelli, L.},
title=           {Subtyping Recursive Types},
institution=     src,
type=            {Report},
number=          62,
month=           aug,
year=            1990,
abstract=        {
Quest, infinite trees, subtyping, recursion, implicit coercions
}}

@techreport{Card92a,
author=          {Cardelli, L.},
title=           {Extensible Records in a Pure Calculus of Subtyping},
institution=     src,
type=            {Report},
number=          81,
month=           jan,
year=            1992,
abstract=        {
row variables, subtyping, Fsub, record operations, extensible records,

}}

@inproceedings{AnHa87,
author=          {Andrews, T. and Harris,C.},
title=           {Combining Language and Database Advances in an Object
                  Oriented Development Environment},
booktitle=       oopsla87,
month=           oct,
year=            1987,
abstract=        {
VBASE ungelesen
}}

@inproceedings{UnSm87,
author=          {Ungar, D. and Smith, R.B.},
title=           {Self: The Power of Simplicity},
booktitle=       oopsla87,
month=           oct,
year=            1987,
abstract=        {
object-based inheritance, optimization, prototypes
}}

@article{AtBu86,
author=          {Atkinson, M.P. and Bunemann, P.},
title=           {Types and Persistence in Database Programming Languages},
journal=         acmcs,
year=            1987,
month=           jun,
volume=          19,
number=          2,
abstract=        {
Sehr guter "Uberblicksartikel. type algebra, type completeness,
bulk data types
}}

@incollection{Fair88,
author=          {Fairbairn, J.},
title=           {A New Type-Checker for a Functional Language},
editor=          {Atkinson, M.P. and Buneman, P. and Morrison, R.},
booktitle=       {Data Types and Persistence},
series=          tis,
publisher=       springer,
year=            1988,
pages=           {69--87},
abstract=        {Ponder type system. Type quantification.
Type inference. No general recursive types.
}}

@incollection{AtMo85,
author=          {Atkinson, M.P. and Morrison, R.},
title=           {Types, Bindings and Parameters in a Persistent Environment},
editor=          {Atkinson, M.P. and Buneman, P. and Morrison, R.},
booktitle=       {Data Types and Persistence},
series=          tis,
publisher=       springer,
year=            1988,
abstract=        {
Vorstellung Napier (PS-Algol-Nachfolger)
! Spätere Veröffentlichungen enthalten signifikante Änderungen !
Unterstützung für system evolution durch delayed binding und insb.
durch environments (name spaces)
}}

@article{AtMo85a,
author=          {Atkinson, M.P. and Morrison, R.},
title=           {First class persistent procedures},
journal=         toplas,
volume=          7,
number=          4,
month=           oct,
year=            1985
}

@inproceedings{AtMo88,
author=          {Atkinson, M.P. and Morrison, R.},
title=           {Polymorphic Names and Iterations},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Neuerungen in Napier für Name-Space-Management
1. Datentyp NAME + Operationen Typtest, Input, Output, Zuweisung,
   Ordnung
   ==> Dynamische Auswahl von Objekten in einem Environment
   (d.h. Keine File-Namen sondern Bezeichner!)
2. IteratOAoren über Environments /Indexe / Arrays
Abschliessende Bemerkung: Weiterhin werden Netzwerkadressen, Disks,...
übers Strings benannt.
}}

@techreport{AtSc89,
author=          {Atkinson, M.P. and Schmidt, J.W.},
title=           {Tutorium: Datenbanksprachen},
institution=     {Deutsche Informatik Akademie},
year=            1989,
month=           feb,
type=            {{Datenbank Tutorientage, DBT '89, Z\"urich}},
abstract=        {
Tutorium DBPLs
}}

@techreport{ACCL90,
author=          {Abadi, M. and Cardelli, L. and Curien, P.-L. and
                  L{\'e}vy, J.-J.},
title=           {Explicit Substitutions},
institution=     src,
type=            {Report},
number=          54,
month=           feb,
year=            1990,
abstract=        {
Quest, De Bruijn notation, lambda calculus, second order type systems,
}}

@techreport{ACPP90,
author=          {Abadi, M. and Cardelli, L. and Pierce, B. C. and
                  Plotkin, G.D.},
title=           {Dynamic Typing in a Statically Typed Language},
institution=     src,
type=            {Report},
number=          47,
month=           jun,
year=            1989,
abstract=        {
Quest, Operational Semantics, Denotational Semantics, Persistent Storage
}}

@inproceedings{HM90,
author=          {Hosking, A.L. and Moss, J.E.B.},
title=           {Towards Compile-Time Optimisations for Persistence},
booktitle=       pos90,
publisher=       kaufmann,
month=           jan,
year=            1991,
abstract=        {pointer swizzling, object addressing, Mneme, Modula-3}
}

@techreport{BHM90,
author=		{Bliss, C. and Hosking, A.L. and Moss, J.E.B.},
title=		{Design of an Object Faulting Persistent Smalltalk},
institution=	{University of Massachusetts at Amherst},
year=		{1990},
month=		may,
number=		{90-45},
type=		{COINS Technical Report, Mneme, Interpreter},
}

@misc{Moss89c,
author=		{Moss, J.E.B.},
title=		{Managing Persistent Data with Mneme:
                 User's Guide to the Client Interface},
howpublished=	{{\sl Object Oriented Systems Laboratory:}
                 Departement of Computer and Information Science
                 University of Massachusetts Amherst},
month=		mar,
year=		{1989},
}

@misc{Moss90,
author=		{Moss, J.E.B.},
title=		{Garbage Collecting Persistent Object Stores},
howpublished=	{Presented at the OOPSLA/ECOOP `90 Workshop on 
                 Garbage Collection},
month=		oct,
year=		{1990},
}

@inproceedings{BBKV87,
author=          {Bancilhon, F. and Briggs, T. and Khoshafian, S. and
                  Valduriez, P.},
title=           {FAD, a Simple and Powerful Database Language},
booktitle =      {Int. Conf. on VLDB},
address=         {Brighton, England},
month=           sep,
year=            1987,
abstract=        {
Standard-Quelle fuer FAD
}}

@inproceedings{BBO89,
author=          {Breazu-Tannen, V. and Buneman, P. and Ohori, A.},
title=           {Can Object-Oriented Databases be Statically Typed?},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {Problematik: Statische Typisierung vs. Nested Extent of
                  Classes
}}

@techreport{BCCDM88,
author=          {Brown, A.L. and Connor, R.C.H. and Carrick, R. and
                  Dearle, A. and Morrison, R.},
title=           {The Persistent Abstract Machine},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {59-88},
month=           mar,
year=            1988,
abstract=        {Napier target machine}
}

@inproceedings{BCD89,
author=          {Bancilhon, F. and Cluet, S. and Delobel, C.},
title=           {A Query Language for the O$_2$ Object-Oriented Database
                  System},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {O2 Query Lanugage: Violate Encapsulation Abstraction
}}


@incollection{BDRZ83,
author=          {Br{\"a}gger, R.P. and Dudler, A. and Rebsamen, J. and
                  Zehnder, C.A.},
title=           {Gambit: An Interactive Database Design Tool for Data
                  Structures, Integrity Constraints and Transactions},
pages=           "65--96",
editor=          {Zehnder, C.A.},
booktitle=       {Database Techniques for Professional Worskstations},
publisher=       eth,
month=           sep,
year=            1983
}

@inproceedings{BFS87a,
author=          {Baker, D.A. and Fisher, D.A. and Shultis, J.C.},
title=           {A Practical Language To Provide Persistence and a Rich
                  Typing System},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Manifest: Vereinheitlichung DB, PL, OS!
Ziel: PRISM: Sprache für integrierte Software-Entwicklung
Wunderschöne Beschreibung des Ist-Zustandes
Gute Beschreibung der zugrundeliegenden "Motivation"
Jedoch kein Background /keine Aussagen ueber Impl.

Quellen merken und besorgen!
}}

@inproceedings{BFS87b,
author=          {Baker, D.A. and Fisher, D.A. and Shultis, J.C.},
title=           {Persistence and Type Integrity in a Software Development
                 Environment},
booktitle =      {Workshop on Persistent Object Systems: their Design,
                 Implementation and Use},
address=         {Appin, Scotland},
month=           aug,
year=            1987,
abstract=        {
Unbedingt besorgen & lesen!  (s. BFS 87a)
}}

@article{BGL83,
author=          {Bernstein, P.A. and Goodman, N. and Lai, M.-Y.},
title=           {Analyzing Concurrency Control when User and System
                  Operations differ},
journal=         tose,
pages=           "233--239",
volume=          9,
number=          3,
month=           may,
year=            1983
}

@incollection{BGM85,
author=          {Borgida, A. and Greenspan, S. and Mylopoulos, J.},
title=           {Knowledge Representation as a Basis for Requirements},
editor=          {Schmidt, J.W. and Thanos, C.},
booktitle=       {Foundations of Knowledge Base Management},
series=          tis,
publisher=       springer,
year=            1989
}

@book{BHG87,
author=          {Bernstein, P.A. and Hadzilacos, V. and Goodman, N.},
title=           {Concurrency Control and Recovery in Database Systems},
publisher=       {Addison-Wesley},
year=            1987,
abstract=        {schoenes Werk, gutes Tutorial}
}

@article{BHJLC87,
author=          {Black, A. and Hutchinson, N. and Jul, N. and Levy, H.
                  and Carter, L.},
title=           {Distribution and Abstract Types in Emerald},
journal=         ieeese,
volume=          13,
number=          1,
month=           jan,
year=            1987,
pages=           "65--76",
abstract=        {
was ist Emerald?
}}

@inproceedings{BHR82,
author=          {Bunemann, P. and Hirschberg, J. and Root, D.},
title=           {A Codasyl Interface to Pascal and Ada},
booktitle=       {Proc. 2nd British National Conference on Databases
                 (BNCOD 2)},
year=            1982,
publisher=       {Cambridge University Press},
abstract=        {
Systematischer Präprozessoransatz
}}

@incollection{BJMSV89,
author=          {Borgida, A. and Jarke, M. and Mylopoulos, J. and
                  Schmidt, J.W. and Vassiliou, Y.},
title=           {The Software Development Environment as a Knowledge
                  Base Management System},
editor=          {Schmidt, J.W. and Thanos, C.},
booktitle=       {Foundations of Knowledge Base Management},
series=          tis,
publisher=       springer,
year=            1989,
abstract=        {Gute Quelle fuer DAIDA Ansatz}
}

@inproceedings{BJS86,
author=          {B{\"o}ttcher, S. and Jarke, M. and Schmidt, J.W.},
title=           {Adaptive Predicate Managers in Database Systems},
booktitle=       {Proc. of the 12th International Conference on VLDB},
address=         {Kyoto},
year=            1986
}

@techreport{BJW88,
author=          {Birell, A.D. and Jones, M.B. and Wobber, E.P.},
title=           {A Simple and Efficient Implementation for Small Databases},
institution=     {Digital System Research Center},
type=            {Report},
number=          {24},
month=           jan,
year=            1988,
abstract=        {
Modula-2+ Implementation: Speichert dynamisch typisierte Pointer in
Virtual Memory, führt Log & in regelmässigen Abständen Savepoint.
Save & Retrieve type-save, ``Pickles''
}}

@techreport{BKMS89,
author=          {Borgida, A. and Koubarakis, M. and Mylopoulos, J. and
                  Stanley, M.},
title=           {Telos: A Knowledge Representation Language for Requirements
                  Modeling},
institution=     {Dept. of Computer Science, University of Toronto},
type=            {Technical Report},
number=          {KRR-TR-89-4},
month=           feb,
year=            1989
}

@techreport{BlHu90,
author=          {Black, A.P. and Hutchinson, N.C.},
title=           {Typechecking Polymorphism in Emerald},
institution=     {Department of Computer Science, University of Arizona,
Tucson, Arizona},
type=            {Technical Report},
number=          {TR-90-34},
month=           dec,
year=            1990,
abstract=        {Emerald, types, conformity, equality, subtyping, 
                  typeobject, dynamic types, f-bounded polymorphism}
}

@techreport{BM88,
author=          {Bancilhon, F. and Maier, D.},
title=           {Multilanguage Object-Oriented Systems:
                  New Answers to Old Database Problems?},
institution=     inria,
type=            {Rapport Technique},
number=          {21-88},
month=           apr,
year=            1988,
abstract=        {
These: DBMS sind nicht adäquat; Man braucht integrierte Systeme;
OO liefert Inheritance & Verknüpfung Methoden mit Objekten --> Lösung
}}

@book{BMS84,
editor=          {Brodie, M.L. and Mylopoulos, J. and Schmidt, J.W.},
title=           {On Conceptual Modelling, Perspectives from Artificial Intelligence,
                  Databases, and Programming Languages},
publisher=       springer,
year=            1984
}

@inproceedings{BMSU86,
author    = {F. Ban\c{c}ilhon and D. Maier and Y. Sagiv and J.D. Ullman},
title     = {Magic sets and other strange ways to implement logic programs},
booktitle = pods86,
month     = mar,
year      = {1986},
address   = {Cambridge (MA)},
}

@inproceedings{BMSW89,
author=          {Borgida, A. and Mylopoulos, J. and Schmidt, J.W. and
                  Wetzel, I.},
title=           {Support for Data-Intensive Applications: Conceptual
                  Design and Software Development},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {DAIDA work}
}

@incollection{BMW84,
author=          {Borgida, A. and Mylopoulos, J. and Wong, H.K.T.},
title=           {Generalization / Specialization as a Basis for
                  Software Specification},
booktitle=       {On Conceptual Modelling},
editor=          {Brodie, M.L. and Mylopoulos, J. and Schmidt, J.W.},
series=          tis,
publisher=       springer,
year=            1984,
pages=           "87-117",
abstract=        {
Einführung in TAXIS
}}

@inproceedings{BSW88,
author=          {Beeri, C. and Schek, H.-J. and Weikum, G.},
title=           {Multi-Level Transaction Management,
                  Theoretical Art or Practical Need?},
booktitle=       {Advances in Database Technology, EDBT '88},
publisher=       springer,
series=          lncs,
volume=          303,
year=            1988,
pages=           "134--154",
abstract=        {
Sehr schöne Motivation für Multi-Level TA: Mehrere Abstraktionsebenen
verlangen und unterstützen hierarchische Gliederung der TA-Kontrolle.
Schöne Literaturliste. --> M.B.
}}

@inproceedings{BaBu84,
author=          {Batory, D. and Buchmann, A.},
title=           {Molecular Objects, Abstract Data Types, and Data Models:
                  A Framework},
booktitle=       {Proc. of the 10h International Conference on Very Large
                  Data Bases},
year=            1984,
abstract=        {
ADT stuff, ungelesen, trotzdem gut zum zitieren
}}

@proceedings{BaBu87,
editor=          {Bancilhon, F. and Buneman, P.},
title=           {Proceedings of the 1st Workshop on Database
                  Programming Languages},
publisher=       altair,
year=            1987,
abstract=        {?? wo erschienen}
}

@article{BaKi85,
author=          {Batory, D. and Kim, W.},
title=           {Modelling Concepts for VLSI CAD Objects},
journal=         tods,
volume=          10,
number=          3,
month=           sep,
year=            1985,
pages=           "322--346"
}

@inproceedings{BaKi87,
author=          {Banerjee, J. and Kim, W. and Kim, H.-J. and Korth, H.F.},
title=           {Semantics and Implementation of Schema Evolution
                  in Object-Oriented Databases},
booktitle=       sigmod87,
year=            1987,
abstract=        {
Charakterisierung der Invarianten eines OO-Systems mit multiple Inheritance
Ziel: Vermeide Neuübersetzung soweit wie möglich! mittelgut
}}

@article{BaMc83,
author=          {Bayer, R. and McCreight, E.},
title=           {Organization and Maintenance of Large Ordered Indexes},
journal=         actainf,
pages=           "173--189",
volume=          1,
number=          3,
year=            1972,
abstract=        {B-Trees}
}

@book{Baas88,
author    = {Sara Baase},
title     = {Computer Algorithms - Introduction to Design and Analysis},
publisher = {Addison-Wesley Publishing Company},
year      = {1988},
edition   = {2nd}
}

@incollection{BWW90,
author=          {Backus, J. and Williams, J.J. and Wimmers, E.L.},
title=           {An Introduction to the Programming Language FL},
pages=           "219--247",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {Probleme mit IO, Persistenz, Modularisierung}
}

@inproceedings{Banc88,
author=          {Bancilhon, F.},
title=           {Object-Oriented Database Systems},
booktitle=       {Proc. of the ACM PODS Conf.},
address=         {Austin},
month=           mar,
year=            1988,
abstract=        {
Survey OO DBMS
}}

@book{Baren84,
author=          {Barendregt, H.P.},
title=           {The Lambda Calculus, Its Syntax and Semantics},
publisher=       {North-Holland, Amsterdam},
year=            1984,
note=            {revised edition}
}

@inproceedings{Bato86,
author=          {Batory, D.S.},
title=           {GENESIS: A Project to Develop an Extensible Database
                  Management System},
booktitle=       {Proc. 1986 Int. Workshop on Object-Oriented Database
                  Systems},
month=           sep,
year=            1986,
pages=           "207--208",
abstract=        {
}}

@article{Bat*88,
author=          {Batory, D. and Barnett, J. and Garza, J. and
                  Smith, K. and Tsukuda, K. and Twichell, B. and
                  Wise, T.},
title=           {Genesis: An Extensible Database Management System},
journal=         tods,
volume=          14,
number=          11,
pages=           {1711--1729},
month=           nov,
year=            1988,
abstract=        { Genesis, extensible DBMS
}}

@incollection{Bato88,
author=          {Batory, D.S.},
title=           {Principles of Database Management System Extensibility},
editor=          {De Witt, D.J.},
booktitle=       {Extensible Database Systems: An Overview},
series=          {Tutorial n.4, Extending Data Base Technology},
publisher=       {CINI foundation, Venezia},
month=           mar,
year=            1988,
abstract=        {
GENESIS
Prinzipien
- SCI-Methode (smallest common interface)
- Geschichtete Architektur (jeweils mit SCI)
Erweiterbarkeit
}}

@techreport{Baye85,
author=          {Bayer R.},
title=           {Query Evaluation and Recursion in Deductive Database Systems},
institution=     {Institut f\"ur Informatik, Technische Universit\"at,
                  M\"unchen},
month=           jan,
year=            1985
}

@inproceedings{BeKo90a,
author    = {Catriel Beeri and Yoram Kornatzky},
title     = {The Many Faces of Query Monotonocity},
booktitle = {Advances in Database Technology - EDBT'90},
series    = lncs,
volume    = {416},
publisher = springer,
year      = {1990},
editor    = {F. Ban\c{c}ilhon  and C. Thanos and D. Tsichritzis},
pages     = {120 - 135},
}

@inproceedings{BeKo90,
author    = {Catriel Beeri and Yoram Kornatzky},
title     = {Algebraic Optimizations of Object-Oriented Query Languages},
booktitle = {Third International Conference on Database Theory},
series    = lncs,
volume    = {470},
publisher = springer,
year      = {1990},
editor    = {S. Abiteboul and P.C. Kanellakis},
pages     = {72--88},
abstract  =  {There is a new version Oct. 1991, see private FM copies}
}

@article{BeLo88,
author=          {Bernstein, P.A. and Lomet, D.B.},
title=           {CASE Requirements for Extensible Database Systems},
editor=          {Carey, M.},
journal=         {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
number=          2,
month=           jun,
year=            1987,
abstract=        {
Gutes Beispiel für nicht-traditionale Anforderungen an DB-System
Anforderungen an Ext.DB.:
  Große Objekte, Typ-Management, Data Representation, Assoz. Zugriff,
  Indizierung und Clustern, Mengen-Operatoren, lange Transaktionen
Beschreibung Projekt bei WANG für CASE
Extrem umfangreiche Referenzen
}}

@techreport{Beer88,
author=          {Beeri, C.},
title=           {Data Models and Languages for Databases},
institution=     {Dept. of Comp. Science, The Hebrew Univeristy},
address=         {Jerusalem, Israel},
year=            1988
}

@book{BiWa88,
author=          {Bird, R. and Wadler, P.},
title=           {Introduction to Functional Programming},
publisher=       prentice,
year=            1988
}

@techreport{Bish77,
author=          {Bishop, P.B.},
title=           {Computer Systems With a Very Large Address Space and
                  Garbage Collection},
institution=     {MIT},
type=            {Technical Report},
number=          {MIT/LCS/TR-178},
month=           may,
year=            1977,
abstract=        {
ungelesen, Schlussfolgerung: "Sehr grosse Adressräume sind nicht gut"
[evtl. Eliot Moss fragen]
}}

@article{BlGu82,
author = {Andreas Blass and Yuri Gurevich},
title  = {On the Unique Satisfiability Problem},
journal = {Information and Control},
volume  = {55},
year    = {1982},
pages   = {80 - 88},
abstract = {Definition der Komplexitaetsklasse US}
}

@inproceedings{Borg88,
author=          {Borgida, A.},
title=           {Modeling class hierarchies with contradictions},
booktitle=       sigmod88,
year=            1988,
abstract=        {
Inheritance & Exceptions?
}}

@phdthesis{Bott88,
author=          {B{\"o}ttcher, S.},
title=           {Pr{\"a}dikative Selektion als Grundlage f{\"u}r Transaktionssynchronisation
                  und Datenintegrit{\"a}t},
school=          ffm-info,
year=            1988
}

@phdthesis{Ghel90,
author=          {Ghelli, G.},
title=           {Proof Theoretic Studies about a Minimal Type System
                  Integrating Inclusion and Parametric Polymorphism},
school=          {Universit\`a di Pisa, Dipartimento di Informatica},
month=           mar,
year=            1990,
abstract=        {False proof of Fsub type checker termination 
}}

@inproceedings{Bott90,
author=          {B{\"o}ttcher, S.},
title=           {Improving the Concurrency of Integrity Checks and
                  Write Operations},
booktitle=       {Proc. ICDT 90},
address=         {Paris},
month=           dec,
year=            1990
}

@incollection{BrRi84,
author=          {Brodie, M.L. and Ridjanovic, D.},
title=           {On the Design and Specification of Database Transactions},
editor=          {Brodie, M.L. and Mylopoulos, J. and Schmidt, J.W.},
booktitle=       {On Conceptual Modelling},
series=          tis,
publisher=       springer,
year=            1984,
abstract=        {Objektschemata, einheitliche Formulierung Entities /
                  Transakt.}
}

@inproceedings{BrWe87,
author=          {Bruce, K.B. and Wegner, P.},
title=           {An Algebraic Model of Subtype and Inheritance},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Methode: Typ = Algebra, Subtyp = Subalgebra
==> Behavioral Compatibility unterstützt
    [1..10] subtype of INTEGER
    INTEGER subtype of REAL
    Student subtype of Person
 nur Abstract gelesen.
 Allgemeinverständliche Einführung in Algebras (mehrsortig...)
 könnte interessant sein.
}}

@incollection{Brod84,
author=          {Brodie, M.L.},
title=           {On the Development of Data Models},
booktitle=       {On Conceptual Modelling},
editor=          {Brodie, M.L. and Mylopoulos, J. and Schmidt, J.W.},
series=          tis,
publisher=       springer,
year=            1984,
abstract=        {}
}

@incollection{BrMy86,
author=          {Brodie, M.L. and Mylopoulos, J.},
title=           {Knowledge Bases vs.\ Data Bases},
booktitle=       {On Knowledge Base Management Systems},
editor=          {Brodie, M.L. and Mylopoulos, J.},
series=          tis,
publisher=       springer,
year=            1986,
abstract=        {Semantic model in KBMS vs. computational model in DBMS}
}

@techreport{Brow89,
author=          {Brown, A.L},
title=           {Persistent Object Stores},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {71-89},
month=           mar,
year=            1989,
abstract=        {Dissertation ueber PS-Algol Object Store Design}
}

@incollection{Bun90,
author=          {Buneman, P.},
title=           {Functional Programming and Databases},
pages=           "155--169",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {Problems in the database area: Records, Sets, Ordering
on Types, List Comprehensions}
}

@inproceedings{BuAt86,
author=          {Buneman, P. and Atkinson, M.},
title=           {Inheritance and Persistence in Database Programming Languages},
booktitle=       sigmod86,
month=           may,
year=            1986,
pages=           "4--15"
}

@inproceedings{BuLa84,
author=          {Burstall, R. and Lampson, B.},
title=           {A kernel language for abstract data types and modules},
booktitle=       {Semantics of Data Types},
publisher=       springer,
series=          lncs,
volume=          173,
year=            1984,
abstract=        {Bindings and Signatures, Binding augmented with type,
                  ADT, modules
}}

@inproceedings{Butl87,
author=          {Butler, M.H.},
title=           {Storage Reclamation in Object Oriented Database Systems},
booktitle=       sigmod87,
year=            1987,
abstract=        {
ObjStore Impl Garbage OO DBMS
}}

@article{C*76,
author=          {Chamberlin, D.D. and others},
title=           {SEQUEL2: A Unified Approach to Data Definition, Manipulation
                 and Control},
journal=         ibmjrd,
volume=          20,
year=            1976,
pages=           "560--575"
}

@inproceedings{C*86,
author=          {Carey, M. and others},
title=           {The Architecture of the {EXODUS} Extensible {DBMS}},
booktitle=       {Proc. International Workshop on Object-Oriented Database
                  Systems},
address=         {Pacific Grove, Ca.},
month=           sep,
year=            1986,
pages=           "52--65",
abstract=        {
?
}}

@inproceedings{CDJS86,
author=          {Carey, M. and DeWitt, D. and Richardson, J. and Sheikta, E.},
title=           {Object and file management in the {EXODUS} extensible database system},
booktitle=       {Proc. of the 12th VLDB Conference},
address=         {Kyoto, Japan},
month=           aug,
year=            1986,
abstract=        {
}}

@inproceedings{CDMB90,
author=          {Connor, R. and Dearle, A. and Morrison, R. and
                  Brown, F.},
title=           {Existentially Quantified Types as a Database
                  Viewing Mechanism},
booktitle=       {Advances in Database Technology, EDBT '90},
publisher=       springer,
series=          lncs,
volume=          416,
year=            1990,
pages=           "301--315",
abstract=        {
Napier, ADT, Views, Zugriffsrechte
}}

@article{CDeW88,
author=          {Carey, M.J. and DeWitt, D.J .},
title=           {An Overview of the {EXODUS} Project},
editor=          {Carey, M.},
journal=         {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
number=          2,
month=           jun,
year=            1987,
abstract=        {
Idee:
  Toolset + vorgefertigter Kern + Generatoren für DBI
  (database implementator), der System zusammensetzt (Kompiliert)
  <-> Probe, Postgres, Starburst kein vollständiges System
Ausfuehrliche Beschreibung der Komponenten: (alles programmiert in C)
}}

@book{CGT90,
author    = {S. Ceri and G. Gottlob and L. Tanca},
title     = {Logic Programming and Databases},
publisher = springer,
year      = {1990},
}

@inproceedings{CRBM88,
author=          {Chung, L.K. and Rios-Zertuche, D. and Nixon, B. and
                  Mylopoulos, J.},
title=           {Process Management and Assertion Enforcement for a
                  Semantic Data Model},
booktitle=       {Advances in Database Technology, EDBT '88},
publisher=       springer,
series=          lncs,
volume=          303,
year=            1988,
pages=           "469--487",
abstract=        {
Kurze Einführung in TAXIS (&Literaturverweise), Beschreibung der in
Taxis zulässigen semantischen IC, Methode zur Verwaltung von IC durch
Trigger (Compileransatz)
}}

@techreport{CaLo90,
author=          {Cardelli, L. and Longo, G.},
title=           {A semantic basis for Quest},
institution=     src,
type=            {Report},
number=          55,
month=           mar,
year=            1990,
abstract=        {
Quest, impredicativity, coercion, subsumption, kinds, operators, partial
equivalence model
}}

@article{CaLo91,
	author = {Cardelli, L. and Longo, G.},
	title = {A semantic basis for Quest},
	journal = {Journal of Functional Programming},
	year = {1991},
	volume = {1},
	number = {4},
	pages = {417--458},
	month = Oct,
	abstract = {Also appeared as DEC SRC TR #55}
}

@incollection{Roso91,
author=          {Rosolini, G.},
title=           {An exper model for Quest},
booktitle=       {Proc.\ 7th International Conference on Mathematical
Foundations of Programming Semantics},
series=          lncs,
volume=          598,
publisher=       springer,
year=            1991,
abstract=        {Dubious semantics for Quest
}}

@techreport{CaLe90,
author=          {Cardelli, L. and Leroy, X.},
title=           {Abstract Types and the Dot Notation},
institution=     src,
type=            {Report},
number=          56,
month=           mar,
year=            1990,
abstract=        {
Quest, Mitchell Plotkin ADT vs record dot notation, generalization to
type parameters.
}}

@techreport{CaMi89,
author=          {Cardelli, L. and Mitchell, J.C.},
title=           {Operations on Records},
institution=     src,
type=            {Report},
number=          48,
month=           aug,
year=            1989,
abstract=        {
Subtyping, records, record type variables, type checking, record
extension, row variables
}}

@inproceedings{CaMcQu88,
author=          {Cardelli, L. and MacQueen, D.},
title=           {Persistence and Type Abstraction},
booktitle=       {Data Types and Persistence},
publisher=       springer,
series=          tis,
year=            1988,
abstract=        {3 Alternativen fuer Semantik von extern-intern Operationen
}}

@article{CaWe85,
author=          {Cardelli, L. and Wegner, P.},
title=           {On Understanding Types, Data Abstraction, and Polymorphism},
journal=         acmcs,
volume=          17,
number=          4,
month=           dec,
pages=           "471--522",
year=            1985,
abstract= 	{existentially, universally quantified types
}}

@article{Card83,
author=          {Cardelli, L.},
title=           {The functional abstract machine},
journal=         {Polymorphism},
volume=          1,
number=          1,
year=            1983,
abstract=        {
Beschreibung einer Environment-basierten Implementation von ML fuer die VAX
}}

@inproceedings{Card84,
author=          {Cardelli, L.},
title=           {A Semantics of Multiple Inheritance},
booktitle=       {Semantics of Data Types},
editor=          {Kahn, G. and MacQueen, D.B. and Plotkin, G.},
publisher=       springer,
series=          lncs,
volume=          173,
year=            1984,
pages=           "51--67",
abstract=        {
Ziel: Klare Definition der Semantik des Begriffes Multiple Inheritance
Key word: taxonomical vs. mathematical type systems
}}

@inproceedings{Card84b,
author=          {Cardelli, L.},
title=           {Compiling a functional language},
booktitle=       {Proceedings of the ACM Symposium on Lisp and Functional
                  Programming},
address=         {Austin},
month=           aug,
year=            1984,
pages=           "208--217",
abstract=        {
Beschreibung einer Environment-basierten Implementation von ML fuer die VAX
}}

@inproceedings{Card86,
author=          {Cardelli, L.},
title=           {Amber},
booktitle=       {Combinators and Functional Programming Languages},
publisher=       springer,
series=          lncs,
volume=          242,
year=            1986,
abstract=        {
Beschreibung der Sprache Amber (multiple inclusion inheritance)
Beschreibung Sprachumfang Release 4.0 fuer Macintosh
Sehr schöner Stil der Sprachdarstellung
}}

@inproceedings{Card86b,
author=          {Cardelli, L.},
title=           {The Amber Machine},
booktitle=       {Combinators and Functional Programming Languages},
publisher=       springer,
series=          lncs,
volume=          242,
year=            1986,
abstract=        {
Beschreibung der Stack-Maschine zur Ausführung von Amber (ohne
Concurrency, ...)
sehr klar gegliedert, vorbildlich
}}

@article{Card87,
author=          {Cardelli, L.},
title=           {Basic Polymorphic Typechecking},
journal=         {Science of Computer Programming},
volume=          8,
pages=           {147--172},
year=            1987,
abstract=        {Modula-2 implementation fuer type checker and type
inference algorithm for a simple functional language.
}}

@techreport{Card88,
author=          {Cardelli, L. and Donahue, J. and Glassman, L. and
                  Jordan, M. and Kalsow, B. and Nelson, G.},
title=           {Modula-3 Report},
institution=     {Olivetti Research Center},
address=         {2882 Sand Hill Road, Menlo Park, California},
number=          {ORC-1},
year=            1988,
abstract=        {Besser : Nelson91}
}

@inproceedings{Card88b,
author=          {Cardelli, L.},
title=           {Types for Data-Oriented Languages},
booktitle=       {Advances in Database Technology, EDBT '88},
publisher=       springer,
series=          lncs,
volume=          303,
year=            1988,
pages=           "1--15",
abstract=        {
Objekte einer Sprache sollten aus drei Ebenen stammen:
Values, Types, Kinds (="types of types")
}}

@inproceedings{Card88c,
author=          {Cardelli, L.},
title=           {Structural Subtyping and the Notion of Power Type},
booktitle=       popl88,
year=            1988,
abstract=        {dependent types, subtypes, kinds, types}
}

@techreport{Card89,
author=          {Cardelli, L.},
title=           {Typeful Programming},
institution=     src,
type=            {Report},
number=          45,
month=           may,
year=            1989,
abstract=        {
Sprachbeschreibung (initial) Quest, sehr interessant
}}

@techreport{Card90,
author=          {Cardelli, L.},
title=           {The {Quest} Language and System (Tracking Draft)},
institution=     src,
type=            {Report},
year=            1990,
note=            {(shipped as part of the Quest V.12 system distribution)},
abstract=        {Quest System Report}}

@techreport{Card93,
author=          {Cardelli, L.},
title=           {An Implementation of F$_{<:}$},
institution=     src,
type=            {Report}, 
number=          97,
year=            1993,
month=           feb,
abstract=        {Fsub System Report, Syntax extensions, Macros}}

@book{CePe85,
author=          {Ceri, S. and Pelagatti, G.},
title=           {Distributed Databases: Principles and Systems},
publisher=       {McGraw-Hill},
series=          {Science Series},
year=            1985,
abstract=        {Signatur: P CER 14138}
}

@inproceedings{ChHa82,
author=          {Chandra, A.K. and Harel, D.},
title=           {Horn Clauses and the Fixpoint Query Hierarchy},
booktitle=       {ACM Symposium on Principles of Database Systems, Los Angeles},
year=            1982,
pages=           "158--163"
}

@article{ChMe88,
author=          {Chang, A. and Mergen, M.F.},
title=           {801 storage: Architecture and programming},
journal=         tocs,
volume=          6,
number=          1,
month=           feb,
year=            1988,
pages=           "28--50",
abstract=        {
Garbage ObjStore Impl
ungelesen, vielleicht interessant
}}

@techreport{ChWa84,
author=          {Chang and Walker},
title=           {PROSQL: A Prolog Programming Interface with SQL/DS},
institution=     {IBM Research Center, San Jose, Calif.},
month=           may,
type=            {Research Report},
number=          {RJ4314},
year=            1984
}

@article{Cham81,
author=          {Chamberlin, D.D and others},
title=           {Support for Repetitive Transactions and ad hoc Queries in
                  System R},
journal=         tods,
volume=          6,
number=          1,
year=            1981,
pages=           "70--94"
}

@article{Chen76,
author=          {Chen, P.P.S.},
title=           {The Entity-Relationship Model -- Toward a Unified View
                  of Data},
journal=         tods,
volume=          1,
number=          1,
month=           mar,
year=            1976,
pages=           "9--36",
abstract=        {ER-Modell, Standardreferenz
}}

@book{Chen80,
editor=          {Chen, P.P.S.},
title=           {Entity-Relationship Approach to System Analysis and
                  Design},
publisher=       {North-Holland},
year=            1980,
abstract=        {ER-Modell, 663 Seiten}
}

@book{Chen85,
author=          {Chen, P.P.S.},
title=           {Entity-Relationship Approach: The Use of the ER Concept
                  in Knowledge Representation},
publisher=       {North-Holland},
year=            1985
}

@article{Chim87,
author=          {Chimenti, D. and O'Hare, T. and Krishnamurthy, R. and
                  Naqvi, S. and Tsur, S. and West, C. and Zaniolo, C.},
title=           {An Overview of the LDL System},
journal=         {Special Issue on Databases and Logic, IEEE -- Data
                  Engineering},
volume=          10,
number=          4,
month=           dec,
year=            1987,
abstract=        {Ueberblick ueber das LDL System, anscheinend recht gut}
}

@book{ClMe81,
author=          {Clocksin, W.F. and Mellish, C.S.},
title=           {Programming in PROLOG},
publisher=       springer,
year=            1981
}

@inproceedings{CHC90,
author=          {Cook, W.R. and Hill, W.L. and Canning, P.S.},
title=           {Inheritance Is Not Subtyping},
booktitle=       popl90,
year=            1990,
pages=           "125--135",
abstract=        {Goal: Flexibility of Smalltalk with static type
checking. Idea: Type inheritance to achieve Eiffel-like programming
without type insecurities. Based on recursive types used for objects,
classes and types. A Typed Record Calculus
}}

@techreport{CoHu85,
author=          {Coquand, T. and Huet, G.},
title=           {Constructions: a higher order proof system for
                  mechanizing mathematics},
institution=     inria,
type=            {Technical Report},
number=          401,
month=           may,
year=            1985
}

@techreport{CoHu86,
	title = {The Calculus of Constructions},
	author = {Coquand, T. and Huet, G.},
	institution = {INRIA},
	year = {1986},
	type = {Technical Report},
	number = {530},
	abstract = {Calculus of Constructions / intuitionistic type
                    theory, there is a new report, dependent types} 
}

@techreport{Coqu89,
author=          {Coquand, T. and others},
title=           {The Calculus of Constructions, Documentation and
                  User's Guide},
institution=     inria,
type=            {Rapports Techniques},
number=          110,
month=           aug,
year=            1989
}

@inproceedings{CoMa84,
author=          {Copeland, G. and Maier, D.},
title=           {Making Smalltalk a database system},
booktitle=       sigmod84,
month=           jun,
year=            1984,
pages=           "316--325",
abstract=        {GemStone, OPAL,,...
(Schmidt: Stonebraker Reader), seamless integration, impedance mismatch
}}

@inproceedings{CoPa83,
author    = {S. Cosmadakis and C. H. Papadimitriou},
title     = {Updates of Relational Views},
booktitle = pods83,
year      = {1983},
month     = mar,
}

@article{Codd70,
author=          {Codd, E.F.},
title=           {A Relational Model of Data for Large Shared Databanks},
journal=         cacm,
volume=          13,
number=          6,
month=           jun,
year=            1970,
pages=           "377--387"
}

@incollection{Codd72,
author=          {Codd, E.F.},
title=           {Relational completeness of database sublanguages},
booktitle=       {Data Base Systems},
editor=          {Rustin, R.},
publisher=       prentice,
year=            1972
}

@incollection{Copp85,
author=          {Coppo, M.},
title=           {A completeness theorem for recursively defined types},
booktitle=       {Automata, Languages and Programming, 12th Colloquium},
editor=          {Goos, G. and Hartmanis, J.},
series=          lncs,
volume=          194,
pages=           "120--129",
publisher=       {Springer},
month=           jul,
year=            1985,
abstract=        {representing recursive types as regular trees}
}

@article{Cour83,
author=          {Courcelle, B.},
title=           {Fundamental properties of infinite trees},
journal=         tcs,
volume=          25,
pages=           "95--169",
year=            1983,
abstract=        {regular trees, rationale B"aume,
}}


@article{Codd79,
author=          {Codd, E.F.},
title=           {Extending the Relational Database Model to Capture More Meaning},
journal=         tods,
volume=          4,
number=          4,
month=           dec,
year=            1979
}

@article{Cohe81,
author=          {Cohen, J.},
title=           {Garbage Collection of Linked Data Structures},
journal=         acmcs,
volume=          13,
number=          3,
month=           sep,
year=            1981,
abstract=        {
Garbage Survey PL
ungelesen, sicher sehr gut --> Marzusch?
}}

@techreport{Conn88,
author=          {Connor, R.},
title=           {The {Napier} Type-Checking Module},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {58-88},
month=           mar,
year=            1988,
abstract=        {}
}

@techreport{Conn91,
author=          {Connor, R.},
title=           {Types and Polymorphism in Persistent Programming
                  Systems},
institution=     {Department of Mathematical and Computational Sciences,
                  University of St.\ Andrews},
type=            {Research Report},
number=          {CS/91/3},
month=           jun,
year=            1990,
abstract=        {Napier88, type representation, type checking
second-order type abstraction, recursive types, subtyping, data
representations}
}

@mastersthesis{Conr90,
author = {Uwe Conradt},
title  = {Eine systemnahe Schnittstelle f"ur ein portables
          Objektverwaltungssystem},
school = ffm-info,
month  = aug,
year   = {1990},
}

@techreport{Curt90,
author=          {Curtis, P.},
title=           {Constrained Quantification in Polymorphic Type
                  Analysis},
institution=     {Xerox Palo Alto Research Center, Calif.},
type=            {Technical Report},
number=          {CSL-90-1},
year=            1990
}

@techreport{Lamp83,
author=          {Lampson, B.},
title=           {A Description of the Cedar Language},
institution=     {Xerox Palo Alto Research Center, Calif.},
type=            {Technical Report},
number=          {CSL-83-15},
month=           dec,
year=            1983,
abstract=        {superset of Mesa, adding garbage collection,
dynamic types and REF ANY, only for Xerox hardware and Cedar
OS/environment. Mesa influenced Wirth}
}

@mastersthesis{CzOt86,
author=          {Czerny, J. and Ott, S.},
title=           {Entwuf eines Datenbankkernsystems zur Speicherung
                  nicht-normaliserter Relationen},
school=          ffm-info,
month=           nov,
year=            1986
}

@inproceedings{D*85,
author=          {Deppisch, U. and Obermeit, V. and Paul, H.-B. and Schek,
                  H.-J. and Scholl, M. and Weikum, G.},
title=           {Ein Subsystem zur stabilen Speicherung versionenbehafteter,
                  hierarchisch strukturierter Tupel},
booktitle=       {GI-Fachtagung: Datenbanksysteme f\"ur B\"uro, Technik und
                  Wissenschaft},
editor=          {Blaser, A. and Pistor, P.},
publisher=       springer,
year=            1985,
pages=           "421--440"
}

@inproceedings{D*86,
author=          {Dadam, P. and Kuespert, K. and Andersen and others},
title=           {A DBMS Prototype to Support Extended NF2 Relations:
                  An Integrated View on Flat Tables and Hierarchies},
booktitle=       sigmod86,
monty=           may,
year=            1986,
pages=           "356--367"
}

@techreport{DAIDA1,
author=          {Schmidt, J.W. and Eckhardt, H. and Matthes, F.},
title=           {Extensions to {DBPL}: Towards A Type-Complete
                  Database Programming Language},
institution=     ffm-info,
type=            {Esprit Project 892},
number=          {WP/IMP 3.1},
month=           apr,
year=            1988
}

@techreport{DAIDA2,
author=          {Schmidt, J.W. and Bittner, M. and Klein, H. and
                  Eckhardt, H. and Matthes, F.},
title=           {{DBPL} System: The Prototype and its Architecture},
institution=     ffm-info,
type=            {Esprit Project 892},
number=          {WP/IMP 3.2},
month=           nov,
year=            1988
}

@techreport{DAIDA3,
author=          {Wetzel, I. and Niebergall, P. and Schmidt, J.W.},
title=           {A Mapping Assistant for Database Program Development},
institution=     ffm-info,
type=            {Esprit Project 892},
number=          {WP/IMP 1.d},
month=           mar,
year=            1989
}

@techreport{DAIDA4,
author=          {Matthes, F. and Rudloff, A. and Schmidt, J.W.},
title=           {Data- and Rule-Based Database Programming in {DBPL}},
institution=     ffm-info,
type=            {Esprit Project 892},
number=          {WP/IMP 3.b},
month=           mar,
year=            1989
}

@techreport{DAIDA5,
author=          {DAIDA},
title=           {Final Version on TDL Design},
institution=     ffm-info,
type=            {Esprit Project 892},
number=          {WP/DES 1.2},
year=            1987,
key=             {DAIDA87}
}

@inproceedings{DAIDA88,
author=          {DAIDA-Team},
title=           {Towards KBMS for Software Development: An Overview of
                  the DAIDA Project},
booktitle=       {Advances in Database Technology, EDBT '88},
publisher=       springer,
series=          lncs,
volume=          303,
year=            1988,
pages=           "572--577",
key=             {DAIDA88},
abstract=        {
Zu verwenden als Verweis auf DAIDA-Projekt & Literaturstellen für
CMS, SML, TDL
}}

@article{DBTG78,
author=          {CODASYL},
title=           {Data Description Language Commitee Report},
journal=         {Information Systems},
volume=          3,
number=          4,
pages=           "247--320",
year=            1978,
abstract=        {Standardreferenz fuer Netzwerkdatenmodell DBTG}
}

@techreport{Dowe90,
author=          {Dowek, G.},
title=           {Naming and Scoping in a Mathematical Vernacular},
institution=     inria,
type=            {Rapports de Recherche},
number=          {1283},
month=           aug,
year=            1990,
abstract=        {Unification mathematical notation for publication
and for reasoning. Important: Abstraction, scoping, locality, naming
}}

@inproceedings{DCBM89,
author=          {Dearle, A. and Connor, R. and Brown, F. and Morrison,
                  R.},
title=           {{Napier88} -- A Database Programming Language?},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {Napier Type System
}}


@proceedings{DE87,
editor=          {Carey, M.},
title=           {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
month=           jun,
year=            1987,
abstract=        {Gute Sammlung von Papers}
}

@inproceedings{DGW85,
author=          {Deppisch, U. and G\"unauer, J. and Walch, G.},
title=           {Speicherungsstrukturen und Adressierungstechniken f\"ur komplexe
                  Objekte des NF$^{2}$-Relationenmodells},
booktitle=       {GI-Fachtagung: Datenbanksysteme f\"ur B\"uro, Technik und
                  Wissenschaft},
editor=          {Blaser, A. and Pistor, P.},
publisher=       springer,
year=            1985,
pages=           "441--459"
}

@article{DHW88,
author=          {Detlefs, D.D. and Herlihy, M.P. and Wing, J.M.},
title=           {Inheritance of Synchronization and Recovery Properties in
                  Avalon/C++},
journal=         ieeetc,
volume=          21,
number=          12,
month=           dec,
year=            1988,
pages=           "57--69",
abstract=        {
vielleicht sehr interessant
Herlihy ist bekannt
}}

@article{DSW90,
author=          {Droege, G. and Schek, H.J. and Wolf, A.},
title=           {Erweiterbarkeit in DASDBS},
journal=         {Informatik Forschung und Entwicklung},
volume=          5,
number=          4,
year=            1990,
pages=           "162--176",
abstract=        {host language, Braunschweig, Darmstadt,
                  ADT, extensibility, polygon, point, generic code,
                  geo databases, R-tree, Gridfile, Geo-Kern
}}

@inproceedings{DaMi82,
author=          {Damas, L. and Milner, R.},
title=           {Principal type-schemes for functional programs},
booktitle=       {Proc. 9th ACM Symposium on Principles of Programming
                  Languages},
year=            1982,
pages=           "207--212",
abstract=        {ML type inference and parametric polymorphism}
}

@article{DaNy66,
author=          {Dahl, O. and Nygaard, K.},
title=           {Simula, an Algol-based simulation language},
journal=         cacm,
volume=          9,
number=          9,
month=           sep,
year=            1966,
pages=           "671--678"
}

@article{DaTo88,
author=          {Danforth, S. and Tomlinson, C.},
title=           {Type Theories and Object-Oriented Programming},
journal=         acmcs,
volume=          20,
number=          1,
month=           mar,
year=            1988,
abstract=        {
Interessante Einführung.
Literaturliste bearbeiten!
}}

@techreport{DaVa88,
author=          {Danforth, S. and Valduriez, P.},
title=           {The Data Model of FAD, a Database Programming Language,
                  Rev. 1},
institution=     {MCC},
type=            {Technical Report},
number=          {ACA-ST-059-88},
month=           jun,
year=            1988,
abstract=        {
Besorgen, & weitere Unterlagen ueber FAD (Uebersetzung, ...)
}}

@inproceedings{Date80,
author=          {Date, C.J.},
title=           {An Introduction to the Unified Database Language UDL},
booktitle=       {Proc. 6th Conf. on Very Large Data Bases},
address=         {Montreal},
month=           oct,
year=            1980,
pages=           "15--32"
}

@book{Date81,
author=          {Date, C.J.},
title=           {An Introduction to Database Systems},
publisher=       {Addison-Wesley Publishing Company},
volume=          {I, II},
edition=         {fifth},
year=            1990
}

@article{Date84,
author=          {Date, C.J.},
title=           {Some Principles of Good Language Design with Special
                  Reference to the Design of Database Languages},
journal=         {ACM SIGMOD Record},
volume=          14,
number=          3,
month=           nov,
year=            1984,
pages=           "1--7"
}

@book{Date86,
author    = {C. J. Date},
title     = {An Introduction to Database Systems},
volume    = {I},
edition   = {4th},
publisher = {Addison-Wesley Publishing Company},
year      = {1986},
}

@book{Date89,
author=          {Date, C.J.},
title=           {A Guide to the SQL Standard},
publisher=       {Addison-Wesley},
edition=         {second},
year=            1989,
abstract=        {Limitations of SQL, many detailed examples}
}

@inproceedings{Daya89,
author=          {Dayal, U.},
title=           {Queries and Views in an Object-Oriented Data Model},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {OODAPLEX Draft Report
}}

@techreport{DeBr87,
author=          {Dearle, A. and Brown, A.L.},
title=           {Safe Browsing in a Strongly Typed Persistent Environment},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {33-87},
month=           apr,
year=            1987,
abstract=        {}
}

@techreport{DeDo79,
author=          {Demers, A. and Donahue, J.},
title=           {Revised Report on Russel},
institution=     {Computer Science Department, Cornell University},
type=            {TR},
number=          {79--389},
year=            1979,
abstract=        {
based on a novel view of the meaning of data type as a set of named operations
that provide an interpretation of the values of a single universal value space
common to all types. Types are values of their own. Principles of type
completeness and declaration correspondence. Parametric Polymorphism.
}}

@booklet{DeWi88,
author=          {De Witt, D.J.},
title=           {Extensible Database Systems: An Overview},
howpublished=    {Tutorial n.4, Extending Data Base Technology},
address=         {CINI foundation, Venezia},
month=           mar,
year=            1988,
abstract=        {
Vorstellung:
  Problematik
  Postgres, Starburst, Probe, Genesis, DASDB,
  insb. Exodus
}}

@inproceedings{Dea89,
author=          {Dearle, A.},
title=           {Environments: a flexible binding mechanism to support
                  system evolution},
booktitle=       {Proc. HICSS-22, Hawaii},
volume=          {II},
month=           jan,
year=            1989,
pages=           "46--55",
abstract=        {Napier Type System
}}

@book{Deit90,
author=          {Deitel, H.M.},
title=           {Operating Systems},
publisher=       {Addison-Wesley},
edition=         {second},
year=            1990,
abstract=        {including case studies of Unix, OS/2, MS-DOS, Macintosh, VM
                  Signatur: P DEI 15341
}}

@mastersthesis{Diek83,
author=          {Diekelmann, P.},
title=           {Alternativen der Implementation und der {\"U}bertragung von
                  Spracherweiterungen},
school=          hbg-info,
month=           aug,
year=            1983
}

@manual{Digi79,
title=           {VAX-11 Architecture Handbook},
organization=    {Digital Equipment Corporation},
year=            1979,
key=             {DEC79}
}

@book{Dijk76,
author=          {Dijkstra, E.W.},
title=           {A Discipline of Programming},
publisher=       prentice,
address=         {Englewood Cliffs, NJ},
year=            1976
}

@techreport{EEKM85,
author=          {Eckhardt, H. and Edelmann, J. and Koch, J. and Mall, M. and Schmidt, J.W.},
title=           {Draft Report on the Database Programming Language {DBPL}},
institution=     ffm-info,
type=            {DBPL-Memo},
number=          {091-85},
year=            1985
}

@inproceedings{ERMS91,
author=          {Eder, J. and Rudloff, A. and Matthes, F. and
                  Schmidt, J.W.},
title=           {Data Construction with Recursive Set Expressions in
                  {DBPL}},
booktitle=       {Proceedings of the Kiev East/West Workshop on
                  Next Generation Database Technology},
series=          lncs,
volume=          {504},
month=           apr,
year=            1991,
abstract=        {Konstruktoren, Stratification, deductive db
}}


@inproceedings{GLP75,
author=          {Gray, J.N. and Lorie, R.A. and Putzolu, G.R.},
title=           {Granularity of Locks in a Shared Data Base},
booktitle=       {Proc. VLDB Conference},
address=         {Boston, Mass.},
month=           sep,
year=            1975,
abstract=        {MGL, multi-granularity locking, Standardreferenz}
}

@article{EGLT76,
author=          {Eswaran, K.P. and Gray, J.N. and Lorie, R.A. and Traiger,
                  I.L.},
title=           {The Notion of Consistency and Predicate Locks in Database
                  Systems},
journal=         cacm,
pages=           "624--633",
number=          11,
volume=          19,
month=           nov,
year=            1976,
abstract=        {Phantomproblem, Praedikatsperren, Locking}
}

@inproceedings{EM82,
author=          {Moss, E.},
title=           {Nested Transactions and Reliable Distributed Computing},
booktitle=       {Symposium on Reliability in Distributed Software and
                  Database Systems},
year=            1982,
pages=           "33--39",
abstract=        {Standardquelle fuer geschachtelte Transaktionen}
}

@techreport{ESW88,
author=          {Erbe, R. and Südkamp, N. and Walch, G.},
title=           {Advanced Information Management Prototype, Application
                  Program Interface User Manual},
institution=     {Heidelberg Scientific Center, IBM West Germany},
year=            1988,
month=           oct,
type=            {Technical Note},
number=          {TN 88.03},
abstract=        {
Schrecklich kompliziertes, cursororientiertes Interface zum AIM-P
}}

@book{FiHa88,
author=          {Field, A.J. and Harrison, P.G.},
title=           {Functional Programming},
publisher=       {Addison-Wesley, Workingham, England},
year=            1988,
abstract={Viele Programmbeispiele in HOPE, Vgl. mit MIRANDA, FP, LISP,
Grundlagen Lambda-Kalkuel, Type checking, Type inference, Environment-basierte
Implementation (eager, lazy), Graph-basierte Implementationen (G-machine, ...),
Gute Einfuehrung: Programm Transformationen,
Guter Ueberblick: Garbage Collection (auch Literatur),
Anhang: Basic Domain Theory (!)
Signatur: P FIE 13164
}}

@inproceedings{FiTh83,
author    = {P. Fischer and S. Thomas},
title     = {Operators for non-first-normal-form relations},
booktitle = {Proceedings 7th COMPSAC},
address   = {Chicago},
month     = nov,
year      = {1983},
}

@incollection{FuCa85,
author    = {A. L. Furtado and M. A. Casanova},
title     = {Updating Relational Views},
booktitle = {Query Processing in Database Systems},
publisher = springer,
address   = {New York},
year      = {1985},
editor    = {W. Kim and D. Reiner and D. Batory},
}

@article{FuMi90,
author  = {Fuh, Y.-C. and Mishra, P.},
title   = {Type Inference with Subtypes},
journal = tcs,
year    = 1990,
volume  = 73,
pages   = {155--175},
publisher = {Elsevier Science Publishers, North-Holland},
abstract = {subtyping based on type transformation, good description of
type matching algorithms as extension of classical unification algo.}
}

@inproceedings{GKB87,
author    = {Ulrich G{\"u}ntzer and Werner Kiessling and Rudolf Bayer},
title     = {On the Evaluation of Recursion in (Deductive) Database
             Systems by Efficient Differential Fixpoint Iteration},
booktitle = {Proceedings 3rd International Conference on Data Engineering},
year      = {1987},
month     = feb,
address   = {Los Angeles},
pages     = {120 - 129}
}

@article{GMN84,
author  = {H. Gallaire and J. Minker and J. M. Nicolas},
title   = {Logic and Databases: A Deductive Approach},
journal = {Computing Surveys},
month   = jun,
year    = {1984},
volume  = {16},
number  = {2},
pages   = {154 - 185},
}

@inproceedings{GMS87,
author=          {Garcia-Molina, H. and Salem, K.},
title=           {Sagas},
booktitle=       sigmod87,
month=           may,
year=            1987,
pages=           "249--259"
}

@proceedings{GN88,
editor=          {Gressing, S. and Nygaard, K.},
title=           {ECOOP'88 Proc. European Conference on Object
                  Oriented Programming},
address=         {Oslo, Norway},
month=           aug,
year=            1988,
series=          lncs,
volume=          322,
publisher=       springer,
abstract=        {
viele verschiedene Artikel über OOP aus der Sicht von Nygaard (BETA)
Blockstrukturen, Was ist OOP, ... spaeter wieder mal ausgraben
}}

@book{GaMi78,
author=          {Gallaire, H. and Minker, J.},
title=           {Logic and Data Bases},
publisher=       {Plenum Press},
year=            1978
}

@incollection{Gogu90,
author=          {Goguen, J.A.},
title=           {Higher-Order Functions Considered Unnecessary for
                  Higher-Order Programming},
pages=           "309--351",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {1987 bei SRI erschienen, parameterized programming
replaces higher-order functions? OO-Programming does not need
second-order semantics? Introduction to OBJ, OBJ2, Some History}
}

@incollection{Ghell90,
author=          {Ghelli, G.},
title=           {A Class Abstraction for a Hierarchical Type System},
pages=           "56--71",
editor=          {Abiteboul, S. and Kanellakis, P.C.},
booktitle=       {Third International Conference on Database Theory},
publisher=       springer,
year=            1990,
series=          lncs,
volume=          470,
abstract=        {classes as inhomogeneous sets, support for change
                  of position within inheritance hierarchy, distinghuish
                  between proper and creation-time type}
}

@book{Gord88,
author=          {Gordon, M.J.C.},
title=           {Programming Language Theory and its Implementation},
publisher=       prentice,
year=            1988,
abstract=        {Signatur: P GOR 15549,
Hoare's Logic for program correctness proofs, Floyd-Hoare Logic,
Mechanizing proofs, Introduction to the lambda calculus [very good?],
Combinators, A theorem prover in Lisp.
}}


@article{GoOr88,
author=          {Goldhirsch, D. and Orenstein, J.A.},
title=           {Extensibility in the PROBE Database System},
editor=          {Carey, M.},
journal=         {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
number=          2,
month=           jun,
year=            1987,
abstract=        {
CCA Projekt (Dayal, Orenstein, Rosenthal...)
Ziel: Rekursive Anfragen, räumliche Daten, historische Daten,
      Spezialisierte Prozessoren, Objektklassen-Erweiterungen
Funktionales Datenmodell (PDM, Probe Data Model)
  Entities und Funktionen (gespeichert oder abgeleitet)
  + Generalisierungshierarchie
Operationen:
  stark erweiterte Relationenalgebra
  Bsp: apply-append (= verallgemeinerter natural join)
  (anscheinend auch für Benutzeranfragen/Interaktion)
Erweiterbarkeit:
}}

@book{GoRo83,
author=          {Goldberg, A. and Robson, D.},
title=           {Smalltalk-80: The Language and its Implementation},
publisher=       {Addison Wesley} ,
year=            1983
}

@incollection{Gray78,
author=          {Gray, J.},
title=           {Notes on Database Operating Systems},
booktitle=       {Operating Systems -- An Advanced Course},
series=          lncs,
volume=          60,
publisher=       springer,
year=            1978,
abstract=        {
ungelesen: "Standardwerk" zum Thema Unifikation OS + DBMS
}}

@inproceedings{GrJo90,
author=          {Graver, J.O. and Johnson, R.E.},
title=           {A Type System for Smalltalk},
booktitle=       popl90,
year=            1990,
pages=           "136--150",
abstract=        {Inheritance of Implementation / not specification.
Used for TS code generator}
}


@inproceedings{Gutm84,
author=          {Gutman, A.},
title=           {R-trees: A Dynamic Index Structure for Spatial Searching},
booktitle=       sigmod84,
month=           jun,
year=            1984,
abstract=        {
R-Trees oft zitiert bei OO-Systemen für Anfrageopt. (Mengen)
Geplant fuer Postgres (sagt Stonebraker)
ungelesen
}}

@book{Hare84,
author=          {Harel, D.},
title=           {Algorithmics, The Spirit of Computing},
publisher=       {Addison-Wesley},
year=            1987,
abstract=        {Algorithms, Computation, Tractability,
                 Komplexitaetstheorie, sehr schoener
                 Text fuer Studium, Studenten, Signatur: T HAR 12713}
}

@inproceedings{HFLP89,
author=          {Haas, L.M. and Freytag, J.C. and Lohmann, G.M. and
                  Pirahesh, H.},
title=           {Extensible Query Processing in {Starburst}},
booktitle=       sigmod89,
year=            1989,
pages=           "377--388",
abstract=        {Starburst, Extensibility, ADT, Query Optimization
}}

@inproceedings{HHP82,
author=          {Hansen, B. and Hansen, M. and Pistor, P.},
title=           {Formal Specification of the Syntax and Semantics of a High
                  Level Interface to an Extended NF2 Data Model},
booktitle=       sigmod82,
month=           jun,
year=            1982
}

@book{MTH90,
author=          {Milner, R. and Tofte, M. and Harper, R.},
title=           {The Definition of {Standard ML}},
publisher=       {MIT Press, Cambridge, MA},
year=            1990,
abstract=        {Formaler Sprachreport Standard ML fuer up-to-date
Zitate. Signatur P MIL #15645 54954
}}

@proceedings{HSM89,
editor=          {Hull, R. and Stemple, D. and Morrison, R.},
title=           {Proc. of the 2nd Workshop on Database Programming Languages},
publisher=       kaufmann,
year=            1989,
abstract=        {
}}

@inproceedings{HaBe80,
author=          {Hammer, M. and Berkowitz, P.},
title=           {DIAL: A Programming Language for Data Intensive Applications},
booktitle=       sigmod80,
month=           may,
year=            1980,
pages=           "75--92"
}

@article{HaMc81,
author=          {Hammer, M. and McLeod, D.},
title=           {Database Description with SDM: A Semantic Database Model},
journal=         tods,
volume=          6,
number=          3,
month=           sep,
year=            1981,
pages=           "351--386"
}

@inproceedings{HaRe83a,
author=          {H{\"a}rder, T. and Reuter, A.},
title=           {Database Systems for Non-Standard Applications},
booktitle=       {Proc. Int. Computing Symposium},
address=         {Erlangen, West Germany},
month=           mar,
year=            1983,
publisher=       {Teubner-Verlag, Stuttgart}
}

@inproceedings{HaRe83b,
author=          {H{\"a}rder, T. and Reuter, A.},
title=           {Concepts for Implementing a Centralized Database Management
                  System},
booktitle=       {Proc. Int. Computing Symposium},
address=         {Erlangen, West Germany},
month=           mar,
year=            1983,
publisher=       {Teubner-Verlag, Stuttgart},
pages=           "28--59"
}

@inproceedings{HaRe85,
author=          {H{\"a}rder, T. and Reuter, A.},
title=           {Architektur von Datenbanksystemen f\"ur Non-Standard-Anwendungen},
booktitle=       {GI-Fachtagung: Datenbanksysteme f\"ur B\"uro, Technik und
                  Wissenschaft},
editor=          {Blaser, A. and Pistor, P.},
publisher=       springer,
year=            1985,
pages=           "253--286"
}

@incollection{Hard87,
author=          {H{\"a}rder, T.},
title=           {Realisierung von operationalen Schnittstellen},
editor=          {Lockemann, P.C. and Schmidt, J.W},
chapter=         3,
booktitle=       {Datenbank-Handbuch},
publisher=       springer,
year=            1987
}

@book{Harl84,
author=          {Harland, D.M.},
title=           {Polymorphic Programming Languages, Design and Implementation},
publisher=       {Ellis Horwood Limited, a division of John Wiley \& Sons},
year=            1984,
abstract=        {POLY: Rationale (recht gut), Ontology Diagramme (aus denot.
                  Semantics), Design, wenig ueber Implementation}
}

@incollection{Harp85,
author=          {Harper, R.},
title=           {Modules and Persistence in {Standard ML}},
editor=          {Atkinson, M.P. and Buneman, P. and Morrison, R.},
booktitle=       {Data Types and Persistence},
series=          tis,
publisher=       springer,
year=            1988,
abstract=        {
Beschreibung eines Features von Standard ML, das es gestattet
Programme in Module aufzuspalten. Ziel: Wie in PS-Algol Integration
des "Environments" in die PL
nur überflogen, für Verallgemeinerung Modulkonzept sicher interessant

(bei DBPL2 Workshop Wiederholung des Modells durch Dave MacQueen)
}}

@techreport{Harp86,
author=          {Harper, R.},
title=           {Introduction to {Standard ML}},
institution=     {Department of Computer Science, University of Edinburgh},
type=            {LFCS Report Series},
number=          {ECS-LFCS-86-14},
month=           nov,
year=            1986,
abstract=        {
private Kopie von St. Andrews!
}}

@article{HeLi82,
author=          {Herlihy, M. and Liskov, B.},
title=           {A value transmission method for abstract data types},
journal=         toplas,
volume=          4,
number=          4,
month=           oct,
year=            1982,
pages=           "527--551",
abstract=       {marshalling, unmarshalling}
}

@article{HeNa84,
author=          {Henschen, L.J. and Naqui, S.A.},
title=           {On Compiling Queries in Recursive First-Order Databases},
journal=         jacm,
volume=          31,
number=          1,
month=           jan,
year=            1984,
pages=           "47--85"
}

@article{Heym91,
author=          {Heymann, J.},
title=           {A Comprehensive Analytical Model for Garbage
                  Collection Algorithms},
journal=         {ACM SIGPLAN Notices},
volume=          26,
number=          8,
month=           aug,
year=            1991,
pages=           "50--59",
abstract=        {Space overhead, CPU time overhead, mark&sweep,
parallel mark&sweep, parallel copy, reference counting}
}

@book{Hehn84,
author=          {Hehner, E.C.R.},
title=           {The Logic of Programming},
publisher=       prentice,
year=            1984,
abstract=        {Signatur: T HEH 9478}
}

@mastersthesis{Hein88,
author = {Thomas Heine},
title  = {Auswertung rekursiver Anfragen im relationalen Datenbanksystem
          DBPL},
school = ffm-info,
month  = dec,
year   = {1988},
}

@incollection{Hoar68,
author=          {Hoare, C.A.R.},
title=           {Record Handling},
editor=          {Genuys, F.},
booktitle=       {Programming Languages},
publisher=       {Academic Press, London},
pages=           "291--347",
year=            1968
}

@article{Hoar69,
author=          {Hoare, C.A.R.},
title=           {An Axiomatic Basis for Computer Programming},
journal=         cacm,
volume=          12,
year=            1969,
pages=           "576--581",
abstract=        {Standard-Quelle fuer pre- und postconditions}}

@article{Hoar75,
author=          {Hoare, C.A.R.},
title=           {Recursive Data Structures},
journal=         {Int.~Journal of Computer and Information Science},
volume=          4,
number=          2,
year=            1975,
pages=           "105--132",
abstract=        {Recursive Data Models, Winfried...}}

@incollection{Hugh90,
author=          {Hughes, J.},
title=           {Why Functional Programming Matters},
pages=           "17--42",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {A pamphlet for lazy evaluation}
}

@incollection{Hugh90b,
author=          {Hughes, J.},
title=           {Compile-time Analysis of Functional Programs},
pages=           "117--154",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {Abstract interpretation of functional programs using
syntax trees. Propagation of partial information through programs}
}

@inproceedings{HuCo87,
author=          {Hughes, J.G. and Connolly, M.},
title=           {RAPP: A Modular Multiprocessing Database
                  Programming Language},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Relational Data Modell + Pascal Plus
+ Algebra
+ ADT's + Modules (genannt envelope)
+ Concurrent Programming (Monitore)
keine spezielle Unterstützung für automatische Conc.Control!
}}

@inproceedings{HuJa87,
author=          {Hull, R. and Jacobs, D.},
title=           {Towards a Formalism for Module Interconnection and Version
                  Selection},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Vorstellung eines Formalismus MIG (module interconnection graphs):
Beschreibung Importe / Exporte; Atomare / Zusammengesetzte Module
+ Äquivalenzen und Operationen für diese Graphen

Sicher interessant für Theorie der Modul-Evolution
}}

@inproceedings{HuSu90,
author=          {Hull, R. and Su, J.},
title=           {On Bulk Data Type Constructors and Manipulation
                  Primitives: A Framework for Analyzing Expressive Power
                  and Complexity},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
pages=           "396--410",
abstract=        {iterators, for each loops ,...
}}

@article{Hudak89,
author=          {Hudak, P.},
title=           {Conception, Evolution, and Application of
                  Functional Programming Languages},
journal=         acmcs,
volume=          21,
number=          3,
month=           sep,
year=            1989,
pages=           "359--411",
abstract=        {
sehr guter Einf\"uhrungsreport (Haskell, ML, ...)
}}

@inproceedings{Hugh85,
author=          {Hughes, J.},
title=           {A Distributed Garbage Collection Algorithm},
editor=          {Jouannaud, J.P.},
booktitle=       {Functional Programming Languages and Computer
                  Architecture},
series=          lncs,
volume=          201,
year=            1985,
pages=           "256--272"
}

@article{KKRHPA86,
author=          {Kranz, D. and Kelsey, R. and Rees, J. and
	          Hudak, P. and Philbin, J. and Adams, N.},
title=           {ORBIT: An Optimizing Compiler for Scheme},
journal=         {ACM SIGPLAN Notices},
volume=          21,
number=          7,
month=           jul,
year=            1986,
pages=           "219--233",
abstract=       {Assignment Conversion, Cell Conversion, Code
Generation, Continuation Passing Style  
}}

@techreport{I*83,
author=          {Ichbiah and others},
title=           {The Programming Language Ada: Reference Manual},
institution=     {ANSI},
number=          {MIL-STD-1815A-1983},
year=            1983
}

@manual{IEEE85,
title=           {ANSI/IEEE Standard 754-1985 for
                  Binary Floating-Point Arithmetic},
organization=    {IEEE Computer Society, Los Alamitos, CA},
year=            1985,
key=             {IEEE}
}

@unpublished{Mey89,
title=           {Static Typing for Eiffel},
author=          {Meyer, B.},
organization=    {Interactive Software Engineering, Santa Barbara, California},
year=            1989,
month=           jul,
note=            {(Technical report distributed with Eiffel Release 2)},
}

@unpublished{App*92,
title=           {Interoperable Informationssysteme: Dienste
                  f\"ur verteilte, datenintensive Anwendungen},
author=          {Appelrath, H.-J. and Lockemann, P.C. and
                  Neuhold, E. and Reuter, A. and Schek, H.-J. and
                  Schweppe, H.},
year=            1992,
month=           may,
note=            {(unver"offentlicht)},
abstract=        {interoperability, open systems, geographic information
                  systems}
}

@manual{INMO87,
title=           {The transputer instruction set --- a compiler writer's guide},
organization=    {INMOS},
address=         {INMOS GmbH, 8057 Eching},
month=           nov,
key=             {INMOS},
year=            1987
}

@inproceedings{ImNa88,
author    = {Tomasz Imielinski and Shamim Naqvi},
title     = {Explicit Control of Logic Programs Through Rule Algebra},
booktitle = pods88,
month     = mar,
year      = {1988},
pages     = {103 - 116},
abstract  = {Umwandlung eines nicht stratifizierten Programmes mit minimalem
             Modell in ein stratifiziertes Programm }
}

@inproceedings{Imie86,
author=          {Imielinski, T.},
title=           {Transforming logical rules by relational algebra},
booktitle=       {Proc. of Foundations of Deductive Databases and
                  Logic Programming},
address=         {Washington, DC},
month=           aug,
year=            1986,
pages=           "338--377",
}

@article{Iver79,
author=          {Iverson, K.E.},
title=           {Operators},
journal=         toplas,
volume=          1,
number=          2,
month=           oct,
year=            1979,
pages=           "161-176",
abstract=        {APL definition}
}

@inproceedings{JGLR88,
author=          {Johannsen, W. and Ge, L. and Lamersdorf, W. and
                  Reinhard, K. and Schmidt, J.W.},
title=           {Database Application Support in Open Systems: Language Support
                  and Implementation},
booktitle=       {Proc. IEEE 4th Int. Conf. on Data Engineering},
address=         {Los Angeles, USA},
month=           feb,
year=            1988,
abstract=        {DURESS}
}

@inproceedings{LEERS87,
author=          {Lamersdorf, W. and Eckhardt, H. and Effelsberg, W. and
                  Reinhard, K. and Schmidt, J.W.},
title=           {Database Programming for Distributed Office Systems},
booktitle=       {Proc. Int. Conf. on Office Automation},
address=         {Washington},
year=            1987 ,
abstract=        {DURESS}
}

@inproceedings{JLRS88,
author=          {Johannsen, W. and Lamersdorf, W. and Reinhard, K. and
                  Schmidt, J.W.},
title=           {The {DURESS} Project: Extending Databases into an Open
                  Systems Architecture},
booktitle=       {Advances in Database Technology, EDBT '88},
publisher=       springer,
series=          lncs,
volume=          303,
year=            1988,
pages=           "616--620",
abstract=        {
Zu verwenden als Verweis auf DURESS-Projekt & Literaturstellen für
DBPL im allgemeinen
}}

@inproceedings{JMW*90,
author=          {Jeusfeld, M. and Mertikas, M. and Wetzel, I. and
                  Jarke. M. and Schmidt, J.W.},
title=           {Database Application Development as an Object
                  Modelling Activity},
booktitle=       {Proc. 16th VLDB Conference},
address=         {Brisbane, Australia},
month=           aug,
year=            1990,
abstract=        {DAIDA Projektveroeffentlichung
}}

@inproceedings{JLS85,
author=          {Jarke, M. and Linnemann, V. and Schmidt, J.W.},
title=           {Data Constructors: On the Integration of Rules and Relations},
booktitle=       {11th Intern. Conference on Very Large Data Bases, Stockholm},
month=           aug,
year=            1985
}

@inproceedings{JaKo83,
author=          {Jarke, M. and Koch, J.},
title=           {Range Nesting: A Fast Method to Evaluate Quantified Queries},
booktitle=       sigmod83,
month=           may,
year=            1983,
pages=           "196--206"
}

@article{JaKo84,
author=          {Jarke, M. and Koch, J.},
title=           {Query Optimization in Database Systems},
journal=         acmcs,
volume=          16,
number=          2,
year=            1984,
pages=           {111--152},
abstract=        {query evaluation, query optimization}
}

@inproceedings{JaSc82,
author=          {Jaeschke, G. and Schek, H.-J.},
title=           {Remarks on the Algebra of Non First Normal Form Relations},
booktitle=       pods82,
month=           mar,
year=            1982,
pages=           "124--138"
}

@techreport{Jaes85a,
author=          {Jaeschke, G.},
title=           {Nonrecursive Algebra for Relations with Relation Valued
                  Attributes},
institution=     {IBM Scientific Center, Heidelberg, West Germany},
type=            {Technical Report},
number=          {TR 85.03.001},
month=           mar,
year=            1985
}

@techreport{Jaes85b,
author=          {Jaeschke, G.},
title=           {Recursive Algebra for Relations with Relation Valued Attributes},
institution=     {IBM Scientific Center, Heidelberg, West Germany},
type=            {Technical Report},
number=          {TR 85.03.002},
month=           mar,
year=            1985
}

@inproceedings{KMP82,
author=          {Koch, J. and Mall, J. and Putfarken, P.},
title=           {Modula-2 for the VAX: Description of a System
Portation},
booktitle=       {Tagungsband Implementierung Pascal-artiger
                  Programmiersprachen},
editor=          {Langmaack, H. and Schlender, B. and Schmidt, J.W.},
publisher=       {Teubner Verlag},
year=            1982,
note=            {(In German)}
}

@inproceedings{KNS89,
author=          {Klas, W. and Neuhold, E.J. and Schrefl, M.},
title=           {Visual Databases need Data Models for Multimedia Data},
editor=          {Tosizasu, L. Kunii},
booktitle=       {Visual Database Systems --- Proceedings of the IFIP TC
    2/WG 2.6 Working Conference on Visual Database Systems},
address=         {Tokyo, Japan},
month=           apr,
year=            1989,
abstract=        {
Ausgeteilt bei DFG-Seminar Objektbanken für Experten (als Gast)
Guter Überblick über Datenmodell VODAK (Beispiele auf Visual DB getrimmt)
Modellierung: Objekte, Klassen, Attribute, Beziehungen (= Pointer),
Komponenten (= abhängige Objekte), Methoden, (mult.) Inheritance,
Spezialisierung von Typen und auch einzelnen Objekten,
sowie Role- und Category-Specialization, Versionen (Referenzen auf
aktuelle bzw. spezielle Version möglich), Aggregation,
"Pfade" für verzögerte Bindung externe Daten an interne Daten!
Verweise auf weitere Literatur (Ende 88 zu erscheinen)
}}

@techreport{KaGo90,
author=          {Karge, U. and Gogolla, M.},
title=           {Formal Semantics of SQL Queries},
institution=     {TU Braunschweig},
type=            {Informatik Bericht},
number=          {90 - 01},
month=           jan,
year=            1990
}

@book{KeRi77,
author=          {Kernighan, B.W. and Ritchie, D.M.},
title=           {The C Programming Language},
publisher=       prentice,
year=            1977
}

@book{Kelt85,
author    = {Udo Kelter},
title     = {Parallele Transaktionen in Datenbanksystemen},
publisher = {Bibliographisches Institut},
address   = {Mannheim/Wien/Z"urich},
year      = {1985},
series    = {Reihe Informatik/51}
}

@article{Kent79,
author=          {Kent, W.},
title=           {Limitations of Record-Based Information Models},
journal=         tods,
volume=          4,
number=          1,
year=            1979,
pages=           {107--131},
abstract=        {Sehr schoener, klassischer Text: records, types,
normalization, CODASYL}
}

@proceedings{Kers85,
editor=          {Kerschberg, L.},
title=           {Proceedings of the First International Workshop on Expert
                  Database Systems},
series=           tis,
publisher=        springer,
year=             1985
}

@inproceedings{KhCo86,
author=          {Khoshafian, S. and Copeland, G.},
title=           {Object Identity},
booktitle=       oopsla86,
month=           oct,
year=            1986,
abstract=        {
Definition des Begriffs "strong Object Identity"
}}

@inproceedings{KhVa88,
author=          {Khoshafian, S. and Valduriez, P.},
title=           {Sharing, Persistence, and Object Orientation: A
                  Database Perspective},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
pages=           "181--195",
abstract=        {
Beschreibung der Begriffe Sharing, Pers., OO aus verschiedener
Perspektive (gut)
Beschreibung der sprachlichen Repräsentation und der
Implementation von Sharing & Persistence in FAD-Implementation
Persistenz wie in PS-Algol über Erreichbarkeit von DATABASE definiert.
Kern-Idee: Abbildung Identität auf Sprachebene in hierarchische
Objekstrukturen + Surrogate auf Speicherebene
--> Conc. Control & Effizienz
}}

@inproceedings{King89,
author    = {King, K.N.},
title     = {The International Standardization of Modula-2},
booktitle = {Computing Trends in the 90's},
month     = feb,
year      = {1989},
publisher = {ACM Press},
abstract  = {Guter Statusbericht der ISO Standardisierungsbemuehungen,
viele Referenzen}
}

@book{KiLo89,
author=          {Kim, W. and Lochowsky, F.H.},
title=           {Object-Oriented Concepts, Databases and Applications},
publisher=       {ACM Press Books},
year=            1989,
abstract=        {Signatur: P OBJ 14315}
}

@mastersthesis{Klei90,
author = {Hanno Klein},
title  = {Pr"adikatevaluation in einem typvollst"andigen Datenmodell},
school = ffm-info,
month  = aug,
year   = {1990},
}

@inproceedings{KoPa88,
author    = {Phokion G. Kolaitis and Christos H. Papadimitriou},
title     = {Why not negation by Fixpoint?},
booktitle = pods88,
month     = mar,
year      = {1988},
pages     = {231 - 239},
abstract  = {Komplexitaet des Entscheidungsproblems, ob (minimale) Fixpunkte
             existieren }
}

@phdthesis{Koch80,
author=          {Koch, J.},
title=           {Relationale Anfragen: Zerlegung und Optimierung},
school=          hbg-info,
month=           dec,
year=            1984
}

@mastersthesis{Kreb88,
author=          {Krebs, T.},
title=           {Optimierung und Synchronisation von Integrit{\"a}tstests},
school=          ffm-info,
month=           jun,
year=            1988
}

@article{KuRo81,
author=          {Kung, C.H. and Robinson, J.T.},
title=           {On Optimistic Methods for Concurrency Control},
journal=         tods,
volume=          6,
number=          2,
year=            1981,
abstract=        {Standard-Literaturstelle fuer opt. CC}
}

@article{L*77,
author=          {Liskov, B. and others},
title=           {Abstraction Mechanisms in CLU},
journal=         cacm,
volume=          20,
number=          8,
month=           aug,
year=            1977,
abstract=        {
Programmiersprache CLU: Iteratoren, generische Module, ...
"Klassiker"
}}

@book{L*81,
author=          {Liskov, B. and Atkinson, R. and Bloom, T. and Moss, E.
                  and Schaffert, J.C. and Scheifler, R. and Snyder, A.},
title=           {CLU Reference Manual},
publisher=       {Springer-Verlag},
year=            1981,
abstract=        {ungelesen
}}

@inproceedings{L*85,
author=          {Lockemann, P.C. and Adams, M. and Bever, M. and Dittrich, K.R.
                  and Ferkinghoff, B. and Gotthard, W and Kotz, A.M. and Liedtke, R.-P.
                  L\"uke, B. and M\"ulle, J.A.},
title=           {Anforderungen technischer Anwendungen an Datenbanksysteme},
booktitle=       {GI-Fachtagung: Datenbanksysteme f\"ur B\"uro, Technik und
                  Wissenschaft},
editor=          {Blaser, A. and Pistor, P.},
publisher=       springer,
year=            1985,
pages=           "1--26"
}

@inproceedings{L*87,
author=          {Lamersdorf, W. and Eckhardt, H. and Effelsberg, W. and
                  Johannsen, W. and Reinhard, K. and Schmidt, J.W.},
title=           {Database Programming for Distributed Office Systems},
booktitle=       {Proc. IEEE Office Automation Symposium},
address=         {Gaithersburg, MD},
year=            1987
}

@inproceedings{LCDS87,
author=          {Liskov, B. and Curtis, D. and Johnson, P. and Scheifler, R.},
title=           {Implementation of Argus},
booktitle=       {Proc. of the 11th ACM Symp. on Operation System Principles,
                  ACM SIGOPS},
month=           nov,
year=            1987,
pages=           "111-122",
abstract=        {
fault tolerant, transactions, ...!
}}

@inproceedings{LKNM84,
author=          {Lorie, R. and Kim, W. and McNabb, D. and Plouffe, W. and
                  Meier, A.},
title=           {Supporting Complex Objects in a Relational System for
                  Engineering Databases},
editor=          {Kim, W. and Reimer, D.S. and Batory, D.S.},
pages=           "145-155",
booktitle=       {Query Processing in Database Systems},
address=         {Berlin},
publisher=       springer,
year=            1984
}

@inproceedings{LMS84,
author=          {Lamersdorf, W. and M\"uller, G. and Schmidt, J.W.},
title=           {Language Support for Office Modelling},
booktitle=       {Proc. 10th VLDB Conference},
address=         {Singapore},
month=           aug,
year=            1984,
pages=           "280--290"
}

@techreport{DMFV90,
author=		{DeWitt, D.J. and Futtersack, P. and Maier, D.
                 and Velez, F.},
title=		{A Study of Three Alternative Workstation-Server
                  Architectures for Object Oriented Database Systems},
institution=	altair,
year=		{1990},
month=		oct,
number=		{42-90},
type=		{Rapport Technique},
abstract=        
	{keywords:	o2, client/sever, architecture
	 Registrierung:	DBIS
	 status:
	 Inhalt: [should be also published as VLDB article]
        }
}

@techreport{VBD89,
author=		{Velez, F. and Bernard, G. and Darnis, V.},
title=		{The O$_{2}$ Object Manager: an Overview},
institution=	altair,
year=		{1989},

month=		feb,
number=		{27-89},
type=		{Rapport Technique},
abstract=        
	{keywords:	o2, clustering
	 Registrierung:	DBIS
	 status:
	 Inhalt:
        }
}

@inproceedings{LRV88,
author=          {L{\'e}cluse, C. and Richard, P. and Velez, F.},
title=           {O$_2$, an Object-Oriented Data Model},
booktitle=       sigmod88,
year=            1988,
pages=           "424--433",
abstract=        {Beschreibung des O2 Datenmodells}
}

@techreport{LaSc80,
author=          {Lamersdorf, W. and Schmidt, J.W.},
title=           {Specification of Pascal/R},
institution=     hbg-info,
type=            {Bericht},
number=          {73, 74},
month=           jul,
year=            1980
}

@article{Laguna,
author=          {Bernstein, P.A. and others},
title=           {Future Directions in DBMS Research},
journal=         {ACM SIGMOD RECORD},
year=            1989,
month=           mar,
volume=          18,
number=          1,
abstract=        {
Summary des Laguna Beach Workshops (4.-5.2.1988)
Ausserdem Stellungnahme
}}

@inproceedings{Lame84,
author=          {Lamersdorf, W.},
title=           {Recursive Data Models for Non-Conventional Database
                  Applications},
booktitle=       {Proc.\ Intern.\ IEEE Conf.\ on Data Engineering},
address=         {Los Angeles},
month=           apr,
year=            1984
}

@inproceedings{Lame83,
author=          {Lamersdorf, W. and Schmidt, J.W.},
title=           {Recursive Data Models},
note=            {(In German)},
booktitle=       {Languages for Databases},
publisher=       springer,
year=            1983
}


@article{Land66,
author=          {Landin, P.J.},
title=           {The next 700 programming languages},
journal=         cacm,
volume=          9,
number=          3,
year=            1966,
pages=           "157--166",
abstract=        {
Grundkonzepte von Programmiersprachen, Prinzip: Declaration Correspondence
"Klassiker"
}}

@unpublished{Larc90,
author=          {Larchev\^eque, J.M.},
title=           {Incremental compilation in the O$_2$ database system},
address=         altair,
note=            "(technical note)",
month=           oct,
year=            1990,
abstract=        {Optimization of late binding, schema evolution,
attributed grammar}
}

@techreport{LeRi89,
author=          {L\'ecluse, C. and Richard, P.},
title=           {The O$_2$ Database Programming Language},
institution=     altair,
type=            {Rapport Technique},
number=          {26-89},
month=           jan,
year=            1989,
abstract=        {
Sprachreport von O2
}}

@techreport{LeWe90,
author=          {Leroy, X. and Weis, P.},
title=           {Polymorphic Type Inference and Assignment},
institution=     inria,
type=            {Rapport de Recherche},
number=          {1327},
month=           nov,
year=            1990,
abstract=        {ML-like typing, updates, references, closures,
analogous to locality control?
}}

@article{LeYa81,
author=          {Lehmann, P.L. and Yao, S.B.},
title=           {Efficient Locking for Concurrent Operations on B-Trees},
journal=         {ACM Transactions on Database Systems},
pages=           "650--670",
number=          4,
volume=          6,
month=           dec,
year=            1981,
abstract=        {B-Link Baeume}
}

@book{Ledg80,
author=          {Ledgard, H.},
title=           {ADA, an Introduction --- ADA Reference Manual},
publisher=       springer,
year=            1980
}

@book{LiGu86,
author=          {Liskov, B. and Guttag, J.},
title=           {Abstraction and Specification in Program Development},
publisher=       {MIT Press},
series=          {The MIT Electrical Engineering and Computer Science
                  Series},
year=            1986,
abstract=        {Sehr guter Text; Enthaelt Einfuehrung in Larch und CLU!
                  Signatur: P LIS 10784, abstraction by parameterization,
                  abstraction by specification, iteration abstraction
}}

@incollection{Lifs88,
author    = {V. Lifschitz},
title     = {On the Declarative Semantics of Logic Programs with Negation},
booktitle = {Foundations of Deductive Databases},
publisher = kaufmann,
year      = {1988},
editor    = {Jack Minker},
pages     = {177 - 192},
}

@techreport{Linn88,
author=          {Linnemann, V.},
title=           {Funktional rekursive Anfragen auf der Basis von
                  geschachtelten Tabellen},
institution=     {Heidelberg Scientific Center, IBM West Germany},
year=            1988,
type=            {Technical Note},
number=          {TN 88.12.016},
month=           dec
}

@techreport{Lisk84,
author=          {Liskov, B.},
title=           {The ARGUS Language and System},
institution=     {MIT, Laboratory of Computer Science},
year=            1984,
type=            {Programming Methodology Group Memo},
number=          40
}


@inproceedings{Litw80,
author=          {Litwin, W.},
title=           {Linear Hashing: A New Tool for File and Table Adressing},
booktitle=       {Proc. of the VLDB Conf.},
address=         {Montreal, Canada},
month=           oct,
year=            1980,
abstract=        {
Indexstruktur geplant für EXODUS (zusätzlich zu B+ und Grid)
ungelesen
}}

@phdthesis{Lohm90,
author=          {Lohmann, F.},
title=           {Einbettung einer geowissenschaftlichen
                  Datenbanksprache in eine h\"ohere Programmiersprache},
school=          {Naturwissenschaftliche Fakult\"at der TU Braunschweig},
year=            1990
}

@book{LoSc87,
editor=          {Lockemann, P.C. and Schmidt, J.W.},
title=           {Datenbank-Handbuch},
publisher=       springer,
year=            1987
}

@techreport{LoWa79,
author=          {Lorie, R.A. and Wade, B.W.},
title=           {The compilation of a High Level Data Language},
institution=     {IBM Research Center, San Jose, Calif.},
type=            {IBM Research Report},
number=          {RJ 2589},
year=            1979
}

@manual{Logi86,
title=           {Modula-2/86 for the IBM PC},
organization=    {Logitech SA, CH-1122 Romanel/Morges, Switzerland},
year=            1986,
key=             {Logi86}
}

@inproceedings{LyKe86,
author=          {Lyngbaek, P. and Kent, W.},
title=           {A Data Modeling Methodology for the Design and
                 Implementation of Information Systems},
booktitle=       {Proc. Int. Workshop on Object-oriented Database Systems},
month=           sep,
year=            1986,
pages=           "6--17",
abstract=        {
Iris Object-Manager ungelesen, Kopien da
}}

@techreport{MAD87,
author=          {Morrison, R. and Atkinson, M.P. and Dearle, A.},
title=           {Flexible Incremental Bindings in a Persistent Object Store},
institution=     {Univ. of St. Andrews, Dept. of Comp. Science},
type=            {Persistent Programming Research Report},
number=          38,
month=           jun,
year=            1987,
abstract=        {
Matrix zur Klassifikation Typisierung x Binding x Scoping,
l-value binding, r-value binding
}}

@techreport{MBCCD88,
author=          {Morrison, R. and Brown, A.L. and Carrick, R. and
                  Connor, R. and Dearle, A.},
title=           {On the integration of Object-Oriented and Process-Oriented
                  computation in persistent environments},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {57-88},
month=           jan,
year=            1988,
abstract=        {Napier, concurrently accessed OO databases}
}

@techreport{MBCCDA88,
author=          {Morrison, R. and Brown, A. and Carrick, R. and Connor, R.
                 and Dearle, A. and Atkinson, M.P.},
title=           {The {Napier} Type System},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {69-89},
month=           nov,
year=            1988,
abstract=        {}
}

@article{MBC*87,
author=          {Morrison, R. and Brown, A. L. and Carrick, R. and
                  Connor, R.C.H. and Dearle, A. and Atkinson, M.P.},
title=           {Polymorphism, Persistence and Software Reuse in
                  a Strongly Typed Object-Oriented Environment},
journal=         {Software Engineering Journal},
pages=           {199--204},
month=           dec,
year=            1987,
abstract=        {Generic Lookup Table, ADT, Parametric Polymorphism,
                  Napier, Use of Environments, Private Kopie FM}
}

@article{MPS86,
author=          {MacQueen, D.B. and Plotkin, G.D. and Sethi, R.},
title=           {An ideal model for recursive polymorphic types},
journal=         {Information and Control},
volume=          {71},
pages=           {95--130},
year=            1986,
abstract=        {Recursion, contractive types}
}

@incollection{MRS84,
author=          {Mall, M. and Reimer, M. and Schmidt, J.W.},
title=           {Data Selection, Sharing and Access Control in a Relational
                  Scenario},
editor=          {Brodie, M.L. and Myopoulos, J.L. and Schmidt, J.W.},
booktitle=       {On Conceptual Modelling},
publisher=       springer,
year=            1984
}

@inproceedings{MSOP86,
author=          {Maier, D. and Stein J. and Otis A. and Purdy, A.},
title=           {Development of an Object-Oriented DBMS},
booktitle=       oopsla86,
month=           oct,
year=            1986,
abstract=        {
GemStone
}}

@techreport{MTG89,
author=          {M{\"o}ssenb\"ock, H. and Templ, J. and Griesemer, R.},
title=           {Object Oberon},
institution=     eth,
type=            {Report},
number=          109,
year=            1989,
abstract=        {Signatur R20082}
}

@inproceedings{MaDa86,
author=          {Manola, F. and Dayal, U.},
title=           {PDM: An Object-oriented Data Model},
booktitle=       {Proc. Int. Workshop on Object-oriented Database Systems},
month=           sep,
year=            1986,
pages=           "18-25",
abstract=        {
Probe Datenmodell (scheint gut zu sein)
Inhalt auch als CCA technical report 1986 erschienen
ungelesen
}}

@inproceedings{MacQ86,
author=          {MacQueen, D.B.},
title=           {Using dependent types to express modular structure},
booktitle=       {Conf. Record 13th Ann. Symp. Principles of Programming Languages},
month=           jan,
publisher=       {ACM},
year=            1986,
pages=           "277-26"
}

@unpublished{MacQ88,
author=          {MacQueen, D.},
title=           {References and weak polymorphism},
note=            {Note in Standard ML of New Jersey Distribution Package},
year=            1988
}


@incollection{MacQ90,
author=          {MacQueen, D.},
title=           {A Higher-Order Type System For Functional Programming},
pages=           "353--367",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {Modules of Standard ML, References to Literature on
Modules, Manipulation of Environments, Signatures, Functors, }
}

@inproceedings{MaSc89,
author=          {Matthes, F. and Schmidt, J.W.},
title=           {The Type System of {DBPL}},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
pages=           "255--260"
}

@inproceedings{MaSc91,
author=          {Matthes, F. and Schmidt, J.W.},
title=           {Towards Database Application Systems: Types, Kinds
                  and Other Open Invitations},
booktitle=       {Proceedings of the Kiev East/West Workshop on
                  Next Generation Database Technology},
series=          lncs,
volume=          {504},
month=           apr,
year=            1991,
note=            {(Also appeared as TR FIDE/91/14)},
abstract=        {Quest, Tycoon
}}

@inproceedings{MaSc91b,
author=          {Matthes, F. and Schmidt, J.W.},
title=           {Bulk Types: Built-In or Add-On?},
booktitle=       dbpl91,
address=         {Nafplion, Greece},
publisher=       kaufmann,
month=           sep,
year=            1991,
note=            {(Also appeared as TR FIDE/91/27)},
abstract=        {
Bulk structures play a central r\^ole in data-intensive application
programming. The issues of {\em bulk type} definition and
implementation as well as their integration into database programming
languages are, therefore, key topics in current DBPL research.
\\
In this paper we raise a more general language design and implementation
issue by asking whether there should be at all built-in bulk types in
DBPLs. Instead, one could argue that bulk types should be realized
exclusively as user-definable add-ons to unbiased core languages with
appropriate primitives and abstraction facilities.
\\
In searching for an answer we first distinguish two substantially
different levels on which bulk types are supported. {\em Elementary
Bulk} essentially copes with persistent storage of mass data, their
identification and update.  {\em Advanced Bulk} provides additional
support required for data-intensive applications such as optimized
associative queries and integrity support under concurrency and failure.
\\
Our long-term experience with bulk types in the DBPL language and system
clearly shows the limitation of the built-in approach: built-in {\em
Advanced Bulk}, as elaborate as it may be, frequently does not cover the
whole range of demands of a fully-fledged application and often does not
provide a decent pay-off for its implementation effort. On the other
hand, restriction to built-in {\em Elementary Bulk} gives too little
user-support for most data-intensive applications.
\\
We report our current work on open database application systems which
favours DBPLs with bulk types as add-ons, and outline some of the
technological requirements for highly reusable implementations of
languages with advanced user-provided bulk type definitions.
}}

@incollection{MaSt87,
author=          {Maier, D. and Stein, J.},
title=           {Development and Implementation of an Object-Oriented
                  DBMS},
booktitle=       {Research Directions in Object-Oriented Programming},
editor=          {Shriver, B. and Wegner, P.},
year=            1987,
publisher=       {MIT Press},
pages=           "355--392",
abstract=        {GemStone
}}

@inproceedings{Maie87,
author=          {Maier, D.},
title=           {Position Paper: Why Database Languages Are a Bad Idea},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Einleitung:
 Aussage: Reduziere Programme nicht auf lineare Darstellung (Quelltext)
 die durch Parser, Scanner ... bearbeitet werden muss, sondern nutze
 Objektorientiere Systeme.
 Programm = Sammlung Persistenter Abstrakter Objekte
 Evtl. Semantische Schicht oberhalb notwendig
Abstrakte Objekte (Vorschlag Maier)
 (s.a. DBPL2 Workshop 1989 fuer weitere Resultate!)
}}

@proceedings{Marc88,
editor=          {March, S.T.},
title=           {Proc. of the 6th Entity-Relationship Conference},
year=            1988,
publisher=       {North-Holland}
}

@techreport{Matt85,
author=          {Matthews, D.C.J.},
title=           {Poly Manual},
institution=     {Univ. of Cambridge, Computer Laboratory},
type=            {Technical Report},
number=          63,
month=           feb,
year=            1985
}

@inproceedings{Matt87,
author=          {Matthews, D.},
title=           {Static and Dynamic Type Checking},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
pages=           "43--52",
abstract=        {
Gute allgemeinverständliche Gegenüberstellung
Static <-> Dynamic Typing / Binding (auch Verhältnis)
- Kommandosprachen
- Strukturelle Äquivalenz
- Automatischer Polymorphsimus (wie in ML) nicht verträglich mit
  Dynamischem Typisieren
- Abstrakte Datentypen: Problem: Matching externe Sicht vs.
  interne Repräsentation
- Parametrisierte Typen (Standard ML, CLU, Russel, Poly)
  --> Dynamische Typüberprüfung muss anderes Schema als die
  statische Typüberprüfung besitzen!!
}}

@mastersthesis{Matt88,
author=          {Matthes, F.},
title=           {Typvollst\"andigkeit in Datenbankprogrammiersprachen ---
                  DBPL Sprachentwurf und Implementation},
school=          ffm-info,
month=           nov,
year=            1988
}

@inproceedings{McCD89,
author=          {McCarthy, D.R. and Dayal, U.},
title=           {The Architecture of an Active Data Base Management System},
booktitle=       sigmod89,
pages=           "215--224",
year=            1989,
month=           jun,
abstract=        {Active Databases
}}


@article{McGe77,
author  = {W. C. McGee},
title   = {The information management system IMS/VS},
journal = {IBM Systems Journal},
year    = {1977},
volume  = {16},
number  = {2},
pages   = {84 - 168}
}

@article{McPP88,
author=          {McPherson, J. and Pirahesh, H.},
title=           {An Overview of Extensibility in {Starburst}},
editor=          {Carey, M.},
journal=         {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
number=          2,
month=           jun,
year=            1987,
abstract=        {
IBM Almaden Research Center
Ziele: Erweiterbarkeit, Systemstrukturierung, Performanz, Verteilung
Sprachschnittstelle SQL-ähnlich
Datenmodell?
Systemstruktur:
Erweiterbarkeit:
Implementation:
speziell: Speicherungsroutinen für Relationen (incl. Key)
          Attachments (Zugriffspfade, IC, Trigger)
          "Common Services" verwendet von beiden für
            UNDO, Locking, Deadlock-Detection, Verzögerung von Updates
            und Integritätstests
          ADT's betreffen alle Ebenen des Systems!
}}

@article{Merr77,
author=          {Merret, T.H.},
title=           {Relations as Programming Language Elements},
journal=         ipl,
volume=          6,
number=          1,
month=           feb,
year=            1977,
pages=           "29--33",
abstract=        {Aldat}
}

@book{Merr84,
author=          {Merrett, T.H.},
title=           {Relational Information Systems},
publisher=       {Reston Publishing Co., Reston, Virginia},
year=            1984
}

@inproceedings{Meyer86,
author=          {Meyer, B.},
title=           {Genericity versus Inheritance},
booktitle=       oopsla86,
month=           oct,
year=            1986,
pages=           "391--405",
abstract=        {Inheritance maechtiger als Genericity.
                  Eiffel enthaelt beides, um einfachere Notation zu
                  erlauben.
}}

@inproceedings{MiHa88,
author=          {Mitchell, J.C. and Harper, R.},
title=           {The essence of {ML}},
booktitle=       {Proc. 15th ACM Symposium on Principles of Programming Languages},
address=         {San Diego, Ca.},
month=           jan,
year=            1988,
pages=           "28--46",
abstract=        {let polymorphism, ..., gute Referenz
}}

@book{Meyer88,
author=          {Meyer, B.},
title=           {Object-oriented Software Construction},
publisher=       prentice,
series=          {International Series in Computer Science},
year=            1988,
abstract=        {Eiffel Beschreibung & allgemeingueltige Aussagen ueber
                 OO-Software}
}

@article{Meyer90,
author=          {Meyer, B.},
title=           {Lessons from the Design of the Eiffel Libraries},
journal=         cacm,
volume=          33,
number=          9,
month=           sep,
year=            1990,
pages=           "69--88",
abstract=        {Classes, Clusters, Invariants, Assertions, Naming,
Uniformity of Interfaces, Classifying Data Structures, Bulk Data
Structures (Access, Traversal, Storage), Browsing, Evolution of
Libraries.
Special Issue: Object Oriented Design [good quality papers]}
}

@article{Miln78,
author=          {Milner, R.},
title=           {A Theory of Type Polymorphism in Programming},
journal=         jcss,
volume=          17,
year=            1978,
pages=           "348--375",
abstract=        {foundational work on type inference and
                  parametric polymorphism (ML-style)}
}

@inproceedings{Miln84,
author=          {Milner, R.},
title=           {A proposal for {Standard ML}},
booktitle=       {Proc. ACM symposium on Lisp and Functional Programming},
year=            1984
}

@book{Mink88,
author=          {Minker, J.},
title=           {Foundations of Deductive Databases and Logic Programming},
publisher=       kaufmann,
year=            1988
}

@inproceedings{Moss89,
author=          {Moss, J.E.B.},
title=           {Addressing Large Distributed Collections of Persistent
                  Objects: The {Mneme} Project's Approach},
booktitle=       {Proc. of the 2nd Workshop on Database Programming Languages,
                  Portland, Oregon},
month=           jun,
year=            1989,
pages=           "358--374",
abstract=        {Argumentation fuer nicht-uniforme Adressraeume}
}

@inproceedings{MOS91,
author=          {Matthes, F. and Ohori, A. and Schmidt, J.W.},
title=           {Typing Schemes for Objects with Locality},
booktitle=       {Proceedings of the Kiev East/West Workshop on
                  Next Generation Database Technology},
series=          lncs,
volume=          {504},
month=           apr,
year=            1991,
note=            {(Also appeared as TR FIDE/91/12)},
abstract=        {
}}

@article{MyBeWo80,
author=          {Mylopoulos, J. and Bernstein, P. and Wong, H.K.T.},
title=           {A Language Facility for Designing Database-Intensive
                  Applications},
journal=         tods,
volume=          5,
number=          2,
month=           jun,
year=            1980,
pages=           "185--207",
abstract=        {gute Quelle fuer TAXIS!}
}

@book{MyBr89,
editor=          {Mylopoulos, J. and Brodie, M.L.},
title=           {Readings in artificial intelligence and databases},
year=            1989,
publisher=       kaufmann,
abstract=        {Conceptual Modeling, Artificial Intelligence, gute Sammlung}
}

@inproceedings{MyWo80,
author=          {Mylopoulos, J. and Wong, H.K.T.},
title=           {Some features of the Taxis data model},
booktitle=       {6th Intern. Conf. on Very Large Data Bases},
address=         {Montreal, Canada},
month=           oct,
year=            1980
}


@book{Nagl90,
author=          {Nagl, M.},
title=           {Softwaretechnik: Methodisches Programmieren im Grossen},
publisher=       springer,
series=          {Springer Compass},
year=            1990,
abstract=        {Modellierung, Erstellung, Wartung, Module,
                  Teilsysteme, Generik, Objektorientierung
                  OK fuer Studenten, sonst nicht besonders.
}}

@book{NaTs89,
author=          {Naqvi, S. and Tsur, S.},
title=           {A Logical Language for Data and Knowledge Bases},
publisher=       {Computer Science Press},
year=            1989,
abstract=        {LDL, sehr schoenes Buch}
}

@book{Nels91,
editor=          {Nelson, G.},
title=           {Systems programming with Modula-3},
publisher=       prentice,
series=          {Series in innovative technology},
year=            1991,
abstract=        {(Revised) Modula-3 Report, Standard Interfaces,
Floating Point, Pickles, Concurrent Programming with Threads, Thread
Synchroinzation [Spec a la Larch], I/O Sterams: Abstract Types, Real
Programs, Trestle Window System Tutorial, Discussion = Language Rationale.
}}


@techreport{NapierRep,
author=          {Morrison, R. and Brown, A.L. and Connor, R. and Dearle, A.},
title=           {The {Napier88} Reference Manual},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {77-89},
year=            1989
}

@inproceedings{Naqv89,
author=          {Naqvi, S.A.},
title=           {Stratification as a Design Principle in Logical
                  Query Languages},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {LDL und Stratification sehr schoen erlaeutert.
}}

@book{NiHa89,
editor=          {Nijssen, G.M. and Halpin, T.A.},
title=           {Conceptual Schema and Relational Database Design},
publisher=       prentice,
year=            1989,
abstract=        {NIAM methodology, Schritt-fuer-Schritt Anleitung von
Anforderungsanalyse bis Schemaentwurf, Rivale zu Entity-Relationship
Modell, Interessant fuer Praktika!}
}

@inproceedings{NiMy87,
author=          {Nixon, B. and Myopoulos, J.},
title=           {Integration Issues in Implementing Semantic Data Models},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
Aussage: Integration der Technologien von DB, PL, CASE ist extrem
schwierig, da nicht orthogonale Konzepte und Technologien.
- 3 Problemgruppen exemplarisch beschrieben
- Aufzählung "relevanter" Forschungsrichtungen
Gut: "Warum"-Fragen bei Design-Entscheidungen beschrieben.
}}

@techreport{NiSc89,
author=          {Niebergall, P. and Schmidt, J.W.},
title=           {Integrated DAIDA Environment, Part 2:
                  {DBPL-Use}: A Tool for Language-Sensitive Programming},
institution=     ffm-info,
type=            {DAIDA Deliverable},
number=          {WP/IMP-2.c},
year=            1987
}

@techreport{NSE89,
author=          {Courington, W.},
title=           {The Network Software Environment},
institution=     {Sun Microsystems, Inc.},
type=            {Sun Technical Report},
year=            1989
}


@inproceedings{Nikh85,
author=          {Nikhil, R.S.},
title=           {Functional Databases, Functional Languages},
editor=          {Atkinson, M.P. and Buneman, P. and Morrison, R.},
booktitle=       {Data Types and Persistence},
series=          tis,
publisher=       springer,
year=            1988,
abstract=        {
1. Aufzählung Probleme von DBMS (Typsysteme, ...)
2. Aufzählung Probleme von PL (Persistenz, Recovery, ...)
3. Einordnung DBPL's
4. Vorstellung FDBPL (funktionale DBPL)
    - Elementare Typen: Skalar, ADT
    - Typkonstruktor: Liste, Funktion (mit Inverse 0/1:1, 1:n, n:m...)
    - Anfragen: Geschachtelte Funktionen (map/filter/fold), d.h.
      "list-at-a-time"
    - Es gibt keine Updates, sondern nur Inserts!
 5. Ziele: Eleganz, leichtere Optimierung, leichtere Parallelisierung
}}

@inproceedings{Ohor90,
author=          {Ohori, A.},
title=           {Representing object identity in a pure functional language},
booktitle=       {Proc. 3rd Int. Conf. on Database Theory},
address=         {Paris, France},
year=            1990,
abstract=        {OID, references, updates, functional programming, state}}

@inproceedings{OBBT89,
author=          {Ohori, A. and Buneman, P. and Breazu-Tannen, V.},
title=           {Database Programming in {Machiavelli} -- a Polymorphic
                  Language with Static Type Inference},
booktitle=       sigmod89,
year=            1989,
pages=           "46--57",
abstract=        {Einfuehrung in Machiavelli; vollstaendigerer Text als
                  Kopie von Peter vorhanden}
}

@book{OST83,
editor=          {Olle, T.W. and Sol, H.G. and Tully, C.J.},
title=           {Information Systems Design Methodologies:
                  A Feature Analysis},
publisher=       {North-Holland},
year=            1983
}

@book{OSVS82,
editor=          {Olle, T.W. and Sol, H.G. and Verrijin-Stuart, A.A.},
title=           {Information Systems Design Methodologies: A Comparative
                  Review},
publisher=       {North-Holland},
year=            1982
}

@book{Ooi90,
author=          {Ooi, Beng Chin},
title=           {Efficient Query Processing in Geographic Information
                  Systems},
series=          lncs,
volume=          {471},
year=            1990,
publisher=       springer,
abstract=        {geoql, Quad Trees, Access Structures, Optimizations,
                  Spatial kd-Trees, Performrance Analysis, Queery Opt.
                  Signatur: A OOI 16176
}}

@book{OSVS86,
editor=          {Olle, T.W. and Sol, H.G. and Verrijin-Stuart, A.A.},
title=           {Information Systems Design Methodologies:
                  Improving the Practice},
publisher=       {North-Holland},
year=            1986
}

@inproceedings{OhBu88,
author=          {Ohori, A. and Buneman, P.},
title=           {Type Inference in a Database Programming Language},
booktitle=       {ACM Conference on Lisp and Functional Programming},
address=         {Snowbird, Utah},
year=            1988,
pages=           "174--183",
abstract=        {ML style polymorphism for record types, Machiavelli,
                  inheritance}
}

@unpublished{OMS90,
author=          {Ohori, A. and Matthes, F. and Schmidt, J.W.},
title=           {A static type system for object locality control},
note=            {(In preparation)},
year=            1990
}

@inproceedings{OhBu89,
author=          {Ohori, A. and Buneman, P.},
title=           {Static Type Inference for Parametric Classes},
booktitle=       oopsla89,
year=            1989,
pages=           "445--456",
abstract=        {Extended Machiavelli with Class, Type Inference}
}

@inproceedings{P*87,
author=          {Paul, H.-B. and Schek, H.-J. and Scholl, M.H. and
                  Weikum, G. and Deppisch, U.},
title=           {Architecture and Implementation of the Darmstadt Database
                  Kernel System},
booktitle=       sigmod87,
pages=           "196--207",
month=           may,
year=            1987
}

@techreport{PPRG87,
author=          {Persistent Programming Research Group},
title=           {PS-algol Reference Manual},
institution=     {University of Glasgow, Dept. of Comp. Science},
type=            {PPRR},
number=          {12-87},
year=            1987
}


@article{Parn76,
author=          {Parnas, D.L.},
title=           {On the Design and Development of Program Families},
journal=         ieeese,
volume=          2,
number=          1,
month=           mar,
year=            1976
}

@article{Plac91,
author=          {Placer, J.},
title=           {The Multiparadigm Language G},
journal=         {Computer Languages},
volume=          16,
number=          {3/4},
pages=           "235--258",
year=            1991
}

@inproceedings{Paul88,
author=          {Paul, H.-B.},
title=           {Erste Beobachtungen zum Leistungsverhalten von DASDBS},
booktitle=       {GI/SI-Fachtagung: Datenbanksysteme in B\"uro, Technik und Wissenschaft},
editor=          {H\"arder, T.},
publisher=       springer,
month=           mar,
year=            1988,
pages=           "350--354",
abstract=        {Viel CPU, wenig IO, Datenkonvertierung ist bottleneck}
}

@book{PeJo87,
author=          {{Peyton Jones}, S. L.},
title=           {The Implementation of Functional Programming Languages},
publisher=       prentice,
year=            1987,
abstract=        {Schwerpunkt Graph-Reduction (G-Machine),
Quellsprache: Miranda, Zielsprache: Enriched Lambda-Calculus, Abstract
Interpretation
Gutes Literaturverzeichnis,
Signatur: P PEY 13713}
}

@article{PeMa88,
author=          {Peckham, J. and Maryanski, F.},
title=           {Semantic Data Models},
journal=         acmcs,
volume=          20,
number=          3,
month=           sep,
year=            1988,
pages=           "153--189"
}

@inproceedings{PiAn86,
author=          {Pistor, P. and Andersen, F.},
title=           {Designing a Generalized NF$^{2}$ Model with a SQL-Type
                  Language Interface},
booktitle=       {Proc. 12 Int. Conf. on Very Large Data Bases, Kyoto},
month=           aug,
year=            1986,
pages=           "278-288"
}

@article{PiTr86,
author  = {P. Pistor and R.Traunm"uller},
title   = {A Database Language for Sets, Lists and Tables},
journal = {Information Systems},
year    = {86},
volume  = {11},
number  = {4},
pages   = {323 - 336},
}

@book{PrSh88,
author=          {Preparata, F.P. and Shamos, M.I.},
title=           {Computational Geometry},
series=          {Texts and Monographs in Computer Science},
edition=         {2nd},
year=            1988,
publishe=        springer,
abstract=        {Signatur: M PRE 13759
Geometric Searching, Convex Hull, Proximity Search, Intersections,
Geometry of Rectangles
}}

@incollection{Przy88,
author    = {T. C. Przymusinski},
title     = {On the Declarative Semantics of Deductive Databases and Logic
             Programs},
booktitle = {Foundations of Deductive Databases},
publisher = kaufmann,
year      = {1988},
editor    = {Jack Minker},
pages     = {193 - 216},
}

@incollection{Mit90,
author    = {Mitchell, J.C.},
title     = {Type Systems for Programming Languages},
editor    = {{van Leeuwen}, J.},    
booktitle = {Handbook of Theoretical Computer Science},
volume    = {B},
publisher = {Elsevier Science Publishers},
year      = {1990},
pages     = {365--458},
abstract  = {Prima "Uberblick "uber Typtheorie. polymorphism,
data abstraction, semantics, syntax, typed lambda calculus, proof
systems}
}

@incollection{Apt90,
author    = {Apt, K.R.},
title     = {Logic Programming},
editor    = {{van Leeuwen}, J.},    
booktitle = {Handbook of Theoretical Computer Science},
volume    = {B},
publisher = {Elsevier Science Publishers},
year      = {1990},
pages     = {493--574},
abstract  = {syntax and proof theory, negation, herbrand universe, 
SLD resolution, closed world assumption, stratification}
}

@article{R*80,
author=          {Rothnie, J.B. and others},
title=           {Introduction to a System for Distributed Databases (SDD-1)},
journal=         tods,
volume=          5,
number=          1,
year=            1980
}

@inproceedings{RBK88,
author    = {R. Ramakrishnan and C. Beeri and R. Krishnamurty},
title     = {Optimizing existential Datalog queries},
booktitle = {Proceedings ACM SIGMOD-SIGACT Symposium on Principles of
             Database Systems},
month     = mar,
year      = {1988},
address   = {Austin, Texas}
}

@techreport{RLW85,
author=          {Rovner, P. and Levin, R. and Wick, J.},
title=           {On Extending Modula-2 for Building Large, Integrated Systems},
institution=     src,
type=            {Report},
number=          3,
month=           jan,
year=            1985,
abstract=        {Modula-2 Language Report}
}

@book{RoKo89,
editor=          {Rosenberg, J. and Koch, D.},
title=           {Third International Workshop on Persistent Object Systems, Newcastle, Australia 1989},
publisher=       springer,
series=          {Workshops in computing},
year=            1989,
month= 	         jan,
abstract=        
	{keywords:	persistence, object stores, monads, capabilities 
	 Registrierung:	K PER 15930
	 status:	teilweise gelesen
	 Inhalt:
        }
}

@book{POS90,
editor=          {Dearle, A. and Shaw, G. and Zdonik, S.},
title=           {Implementing Persistent Object Bases: The Fourth
International Workshop on Persistent Object Systems},
publisher = kaufmann,
year=            1990
}


@book{RND77,
author    = {Edward M. Reingold and Jurg Nievergelt and Narsingh Deo},
title     = {Combinatorial Algorithms: Theory and Practice},
publisher = prentice,
year      = {1977},
address   = {Englewood Cliffs, New Jersey}
}

@inproceedings{RRUZ83,
author=          {Rebsamen, J. and Reimer, M. and Ursprung, P. and
                  Zehnder, C.A. and Diener, A.},
title=           {LIDAS -- The Database System for the Personal Computer
                  Lilith},
booktitle=       {Proc. INRIA Workshop on Relational DBMS Design /
                  Implementation / Use on Micro-Computers},
address=         {Toulouse},
month=           feb,
year=            1983
}

@inproceedings{RS79,
author=          {Rowe, L. and Shoens, K.},
title=           {Data Abstraction, Views and Updates in RIGEL},
booktitle=       sigmod79,
year=            1979,
pages=           "71--81"
}

@mastersthesis{Rac87,
author=          {Racky, R.},
title=           {Semantische Integrit\"atsbedingungen in DBPL},
school=          ffm-info,
month=           oct,
year=            1987
}

@inproceedings{Rama88,
author    = {R. Ramakrishnan},
title     = {Magic templates, a spellbinding approach to logic evaluation},
booktitle = {Proceedings of the Logic Programing Conference},
month     = aug,
year      = {1988},
}

@techreport{ReDi83,
author=          {Reimer, M. and Diener A.},
title=           {The {Modula/R} Compiler for the Lilith},
institution=     eth,
type=            {LIDAS Memo},
number=          {051-83},
year=            1983
}

@book{ReTe88,
author=          {Reps, T.W. and Teitelbaum, T.},
title=           {The Synthesizer Generator: A System For Constructing
                  Language-Based Editors},
publisher=       springer,
series=          tmcs,
year=            1988,
abstract=        {attributed grammars}
}


@book{Read89,
author=          {Reade, C.},
title=           {Elements of Functional Programming},
publisher=       {Addison-Wesley},
series=          {International Computer Science Series},
year=            1989,
abstract=        {Ganz gute, recht umfangreiche Einfuehrung in die
                 funktionale Programmierung, Polymorphism, ADT, Modules,
                 Denotational Semantics, Lazy Evaluation, Lambda Calculus,
                 Combinators, Type Inference, Standard ML}
}

@book{ReTe89,
author=          {Reps, T.W. and Teitelbaum, T.},
title=           {The Synthesizer Generator Reference Manual},
publisher=       springer,
edition=         {third},
series=          tmcs,
year=            1989,
abstract=        {attributed grammars}
}

@inproceedings{Rei84,
author=          {Reiter, R.},
title=           {Towards a Logical Reconstruction of Relational Database
                  Theory},
editor=          {Brodie, M.L. and Myopoulos, J. and Schmidt, J.W.},
chapter=         8,
pages=           "191-233",
booktitle=       {On Conceptual Modelling, Perspectives from Artificial Intelligence,
                  Databases, and Programming Languages},
publisher=       springer,
year=            1984
}

@inproceedings{Remy89,
author=          {R\'{e}my, D.},
title=           {Typechecking records and variants in a natural
                  extension of {ML}},
editor=          {MacQueen, D.},
booktitle=       {ACM Conf. on Principles of Programming Languages},
year=            1989,
abstrac=         {see also revised version Remy91}
}

@techreport{Remy91,
author=          {R{\'e}my, D.},
title=           {Type Inference for Records in a Natural Extension of ML},
institution=     inria,
type=            {Rapport de Recherche},
number=          {1431},
month=           may,
year=            1991,
abstract=        {Record extensions [no concatenation]. Types sorted
modulo equations.
}}

@techreport{Reim81,
author=          {Reimer, M. and Schmidt, J.W.},
title=           {Transaction Procedures with Relational Parameters},
institution=     eth,
type=            {Report},
number=          {45},
month=           oct,
year=            1981
}

@techreport{Reim83,
author=          {Koch, J. and Mall, M. and Putfarken, P. and Reimer, M.
                  and Schmidt, J.W. and Zehnder, C.A.},
title=           {{Modula/R} Report, Lilith Version},
institution=     eth,
month=           feb,
year=            1983}

@phdthesis{Reim84,
author=          {Reimer, M.},
title=           {Transaktionen in DB-Programmiersprachen: Semantische
                  Integration und pr{\"a}dikative Implementierungsstrategien},
school=          eth,
year=            1984
}

@phdthesis{Reps83,
author=          {Reps, T.},
title=           {Generating Language-Based Environments},
school=          {Cornell University, Ithaca},
year=            1983,
abstract=        {Synthesizer Generator, Attribute Grammars}
}

@incollection{Reut87,
author=          {Reuter, A.},
title=           {Ma{\ss}nahmen zur Wahrung von Sicherheits- und
                  Integrit{\"a}tsbedingungen},
chapter=         4,
editor=          {Lockemann, P.C. and Schmidt, J.W},
booktitle=       {Datenbank-Handbuch},
publisher=       springer,
year=            1987
}

@inproceedings{Reyn72,
author=          {Reynolds, J.C.},
title=           {Definitional interpreters for higher order
                  programming languages},
booktitle=       {Proc. ACM 25th National Conference},
address=         {Boston},
volume=          2,
year=            1972,
pages=           "717--740",
abstract=        {Beweis: Reflection ist innerhalb einer Sprache selbst
                  nicht moeglich.
}}

@article{A90,
author=		{Kim, W and Garza, J.F. and Ballou, N. and Woelk, D.},
title=		{Architecture of the ORION Next-Generation Database System},
journal=	{IEEE Transactions on Knowledge and Data Engineering},
year=		{1990},

volume=		{2},
number=		{1},
month=		mar,
abstract=        
	{keywords:	orion, architecture
	 Registrierung: FBI
	 status:
	 Inhalt:
        }
}

@incollection{KKD89,
author=		{Kim, W. and Kim, K. and Dale, A.},
title=		{Storage Management for Objects in EXODUS},
booktitle=	{Object-Oriented Concepts, Databases, and Applications},
publisher=	{ACM Press},
year=		{1989},

editor=		{Kim, W. and Lochovsky, F.H.},
series=		{Frontier Series},
abstract=        
	{keywords:	exodus
	 Registrierung:	P OBJ 15348
	 status:
	 Inhalt:
        }
}

@inproceedings{LaMa91,
author=		{Lanka, S. and Mays, E.},
title=		{Fully Persistent B$^{+}$-trees},
booktitle=	{Proccedings of the 1991 ACM SIGMOD},
year=		{1991},

editor=		{Clifford, J. and King, R.},
month=		jun,
publisher=	{ACM},
abstract=        
	{keywords:	indexing, b-trees
	 Registrierung: DBIS
	 status:
	 Inhalt:
        }
}

@inproceedings{Reyn74,
author=          {Reynolds, J.C.},
title=           {Towards a theory of type structure},
booktitle=       {Colloquium sur la programmation},
series=          lncs,
volume=          19,
publisher=       springer,
year=            1974,
pages=           "408--423"
}

@inproceedings{RiCa87,
author=          {Richardson, J. and Carey, M.},
title=           {Programming Constructs for Database System
                  Implementation in EXODUS},
booktitle=       sigmod87,
month=           may,
year=            1987,
abstract=        {
Beschreibung der Zielsprache fuer Compiler in EXODUS System, "E",
}}

@incollection{CDRS89,
author=		{Carey, M.J. and De Witt, D.J. and Richardson, J.E. and Shekita, E.J.},
title=		{Storage Management for Objects in EXODUS},
booktitle=	{Object-Oriented Concepts, Databases, and Applications},
publisher=	{ACM Press},
year=		{1989},

editor=		{Kim, W. and Lochovsky, F.H.},
series=		{Frontier Series},
abstract=        
	{keywords:	exodus
	 Registrierung:	P OBJ 15348
	 status:
	 Inhalt:
        }
}

@incollection{KBCG89,
author=		{Kim, W. and Ballou, N. and Chou, H. and Garza, J.F.},
title=		{Features of the ORION Object-Oriented Database System},
booktitle=	{Object-Oriented Concepts, Databases, and Applications},
publisher=	{ACM Press},
year=		{1989},

editor=		{Kim, W. and Lochovsky, F.H.},
series=		{Frontier Series},
abstract=        
	{keywords:	orion
	 Registrierung:	P OBJ 15348
	 status:
	 Inhalt:
        }
}


@techreport{Rich89,
author=          {Richardson, J.E.},
title=           {E: A Persistent Systems Implementation Language},
institution=     {Computer Sciences Department, University of
                  Wisconsin-Madison},
type=            {Technical Report},
number=          868,
month=           aug,
year=            1989
}

@inproceedings{RoSt87,
author=          {Rowe, L. and Stonebraker M.},
title=           {The POSTGRES Data Model},
booktitle=       {Proc. 13th VLDB, Brighton},
month=           sep,
year=            1987,
pages=           "83--96"
}

@inproceedings{S*86,
author=          {Schaffert, C. and Cooper, T. and Bullis, B. and
                  Kilian, M. and Wilpolt, C.},
title=           {An Introduction to Trellis/Owl},
booktitle=       oopsla86,
month=           oct,
year=            1986,
pages=           "9--16",
abstract=        {Trellis/Owl Beschreibung
}}

@techreport{S*88,
author=          {Schmidt, J.W. and Bittner, M. and Klein, H. and
                  Eckhardt, H. and Matthes, F.},
title=           {{DBPL System}: The Prototype and its Architecture},
institution=     ffm-info,
type=            {DBPL Memo},
number=          {111-88},
month=           nov,
year=            1988
}

@inproceedings{SAB*89,
author    = {M. Scholl and S. Abiteboul and F. Ban\c{c}hilhon and
             N. Bidoit and S. Gamerman and D. Plateau and P. Richard and
             A. Verroust},
title     = {VERSO: A Database Machine Based On Nested Relations},
booktitle = {Nested Relations and Complex Objects in Databases},
series    = lncs,
volume    = {361},
publisher = springer,
year      = {1989},
editor    = {S. Abiteboul and P. C. Fischer and H.-J. Schek},
pages     = {27 - 49}
}

article{SRH90,
author=		{Stonebreaker, M. and Rowe, L.A. and Hirohama, M.},
title=		{The Implementation of POSTGRES},
journal=	{IEEE Transactions on Knowledge and Data Engineering},
year=		{1990},

volume=		{2},
number=		{1},
month=		mar,
abstract=        
	{keywords:	postgres, architecture
	 Registrierung: FBI
	 status:
	 Inhalt:
        }
}

@article{SAH88,
author=          {Stonebraker, M. and Anton, J. and Hirohama, M},
title=           {Extendability in POSTGRES},
editor=          {Carey, M.},
journal=         {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
number=          2,
month=           jun,
year=            1987,
abstract=        {
Beschreibt Status des Projekts im April 1987, enthält Verweise
auf zuvor erscheinene Texte zu POSTGRES
Erweiterbarkeit:
- Funktionen (innerhalb von Anfragen, bei Updates)
- ADT's      (Konversionsoperationen + Optimierungsmöglichkeiten)
- Benutzerdefinierte Operatoren (infix-Funktionen)
- NEU: Aggregat-Operator (einzelne Variablen, Tupel, Arrays, Mengen)
- Zugriffsmethoden (internes Hacking an der Tupelschnittstelle mit
  Daten für den Optimizer bei Mengenanfragen (Selektivität))
Bem:
Implementation Joins durch Nested-Loop (Wong 76)
Verbesserungen mit R-Trees und Hash-Join geplant
}}

@inproceedings{SAM89,
author=          {Stein, J. and Anderson, T.L. and Maier, D.},
title=           {Mistaking Identity},
booktitle=       dbpl89,
address=         {Salishan, Oregon},
month=           jun,
year=            1989,
abstract=        {Wiederentdeckung der Keys
}}


@book{SDD*86,
author=          {Schwartz, J.T. and Dewar, R.B.K. and Dubinski, E. and
                  Schonberg, E.},
title=           {Programming with Sets: An Introduction to SETL},
publisher=       springer,
series=          tmcs,
year=            1986
}

@techreport{SEM88,
author=          {Schmidt, J.W. and Eckhardt, H. and Matthes, F.},
title=           {{DBPL Report}},
institution=     ffm-info,
type=            {DBPL-Memo},
number=          {112-88},
year=            1988
}

@article{SNG90,
author=          {Santo, M. and Nigro, L. and Russo, W.},
title=           {Programmer-Defined Control Abstractions in Modula-2},
journal=         {Computer Languages},
month=           oct,
volume=          15,
number=          3,
year=            1990,
abstract=        {iterators, recursion, continuations}
}

@techreport{SFL83,
author=          {Smith, J.M. and Fox, S. and Landers, T.},
title=           {ADAPLEX: Rationale and Reference Manual (2nd ed.)},
institution=     {Computer Corporation of America, Cambridge, Mass.},
year=            1983
}

@inproceedings{SFSS90,
author=          {Stemple, D. and Fegaras, L. and Sheard, T. and Socorro, A.},
title=           {Exceeding the Limits of Polymorphism in
                  Database Programming Languages},
booktitle=       {Advances in Database Technology, EDBT '90},
publisher=       springer,
series=          lncs,
volume=          416,
year=            1990,
pages=           "269--285",
abstract=        {Reflection (statically bound and type checked),
                  Natural Join, gute Quellen zu Reflection, ADABTPL
}}

@inproceedings{StSh91,
author=          {Stemple, D. and Sheard, T.},
title=           {A Recursive Base for Database Programming Primitives},
booktitle=       {Proceedings of the Kiev East/West Workshop on
                  Next Generation Database Technology},
series=          lncs,
volume=          {504},
month=           apr,
year=            1991,
abstract=        {TRPL, set iteration
}}

@incollection{SGLJ89,
author=          {Schmidt, J.W and Ge, L. and Linnemann, V. and Jarke, M.},
title=           {Integrated Fact and Rule Management Based on
                  Database Technology},
editor=          {Schmidt, J.W. and Thanos, C.},
booktitle=       {Foundations of Knowledge Base Management},
series=          tis,
publisher=       springer,
year=            1989,
abstract=        {Constructor reference}
}

@inproceedings{SSB86,
author=          {Stemple, D. and Sheard, T. and Bunker, B.},
title=           {Abstract Data Types in Databases: Specification,
                  Manipulation and Access},
booktitle=       {Proc. of the IEEE 2nd International Conference on
                  Data Engineering},
address=         {Los Angeles, California},
month=           feb,
year=            1986,
pages=           "590--597",
abstract=        {Beschreibung ADABTPL
}}

@incollection{SSW80,
author=          {Scheuermann, P. and Schiffner, G. and Weber, H.},
title=           {Abstraction Capabilities and Invariant Properties
                  Modelling within the Entity-Relationship Approach},
pages=           "121--140",
editor=          {Chen, P.P.S.},
booktitle=       {Entity-Relationship Approach to System Analysis
                  and Design},
publisher=       {North-Holland},
year=            1980
}

@article{SWBM89,
author=          {Schmidt, J.W. and Wetzel, I. and Borgida, A. and
                  Mylopoulos, J.},
title=           {Database Programming by Formal Refinement of Conceptual
                  Designs},
journal=         {IEEE -- Data Engineering},
month=           sep,
year=            1989,
abstract=        {"Salishan short"}
}

@book{ScBr83,
editor=          {Schmidt, J.W. and Brodie, M.L.},
title=           {Relational Database Systems},
publisher=       springer,
year=            1983
}

@inproceedings{ScLi85,
author=          {Schmidt, J.W. and Linnemann, V.},
title=           {Higher Level Relational Objects},
booktitle=       {Proc. 4th British National Conference on Databases (BNCOD 4)},
publisher=       {Cambridge University Press},
month=           jul,
year=            1985
}

@inproceedings{ScMa83,
author=          {Schmidt, J.W. and Mall, M.},
title=           {Abstraction Mechanisms for Database Programming},
booktitle=       {Proc. SIGPLAN Symp. on Programming Language Issues
                  in Software Systems},
address=         {San Francisco},
month=           jun,
year=            1983
}

@inproceedings{ScMa89,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {Advances in Database Programming: On Concepts,
                  Languages and Methodologies},
booktitle=       {Proc. 16th SOFSEM'89},
address=         {\v{Z}diar, High Tatra, \v{C}SSR},
note=            {Available through Hamburg University},
month=           dec,
year=            1989
}

@techreport{ScMa90,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {{DBPL} Language and System Manual},
institution=     hbg-info,
type=            {Esprit Project 892},
number=          {MAP 2.3},
month=           apr,
year=            1990
}

@inproceedings{ScMa90a,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {Language Technology for Post-Relational Data Systems},
booktitle=       {Database Systems of the 90s},
editor=          {Blaser, A.},
series=          lncs,
volume=          466,
month=           nov,
year=            1990,
pages=           "81--114"
}

@inproceedings{ScMa90b,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {Naming Schemes and Name Space Management in the {DBPL}
                  Persistent Storage System},
booktitle=       pos90,
publisher=       kaufmann,
month=           jan,
year=            1991,
abstract=        {Marthas Vineyard, Keys, Associative Naming, System Architecture}
}

@inproceedings{BrRo90,
author=          {Brown, A.L. and Rosenberg, J.},
title=           {Persistent Object Stores: An Implementation Technique},
booktitle=       pos90,
publisher=       kaufmann,
month=           jan,
year=            1991,
abstract=        {Napier POS, stable heap, stable store, stability,
checkpointing, pointer swizzling, object addressing
}}


@inproceedings{ScPi82,
author=          {Schek, H.-J. and Pistor, P.},
title=           {Data Structures for an Integrated Data Base Management
                  and Information Retrieval System},
booktitle=       {Proc. 8th Int. Conf. on VLDB, Mexico City},
month=           sep,
year=            1982,
pages=           "197--207"
}

@techreport{ScSc84,
author=          {Schek, H.-J. and Scholl, M.},
title=           {An Algebra for the Relational Model with
                  Relation-Valued Attributes},
institution=     {Technische Universit\"at Darmstadt, West Germany},
type=            {TR DSVI},
number=          {1984-T1},
year=            1984
}

@techreport{ScSo81,
author=          {Schkolnick, M. and Sorenson, P.},
title=           {The Effects of Denormalization on Database Performance},
institution=     {IBM Research Laboratory, San Jose, Cal.},
type=            {Research Report},
number=          {RJ3082},
month=           mar,
year=            1981
}

@book{ScTh89,
editor=          {Schmidt, J.W. and Thanos, C.},
title=           {Foundations of Knowledge Base Management},
series=          tis,
publisher=       springer,
year=            1989
}

@book{SchB83,
editor    = {J. W. Schmidt and M. L. Brodie},
title     = {Relational database systems: analysis and comparison},
publisher = springer,
year      = {1983},
pages     = {Foreword},
}

@incollection{Sche81,
author=          {Schek, H.-J.},
title=           {Methods for the administration of textual data in database
                  systems},
editor=          {Oddy and  Robinson and Van Rijsbergen and Williams},
booktitle=       {Information Retrieval Research},
publisher=       {Buttersworth, London} ,
year=            1981,
pages=           "218--235"
}

@article{Sche88,
author=          {Schek H.-J.},
title=           {DASDB: A Kernel DBMS and Application Specific Layers},
editor=          {Carey, M.},
journal=         {Database Engineering, Special Issue on Extensible
                  Database Systems},
volume=          10,
number=          2,
month=           jun,
year=            1987,
abstract=        {
Guter abschließender Überblick über DASDB , Beschreibung der
Philosophie sowie Referenzen auf weitere Texte
Extensibility: Multi-Level-TA & Adressen für NF2-Subtupel
}}

@article{NPS91,
author=          {Negri, M. and Pelagatii, S. and Sbattella, L.},
title=           {Some High Level Language Constructs for Data of Type Relation},
journal=         tods,
volume=          16,
number=          3,
month=           sep,
year=            1991,
pages=           {513--534},
abstract=        {Translation to three-valued predicate calculus.
                  Non-operational semantics.}
}

@inproceedings{Schm77a,
author=          {Schmidt, J.W.},
title=           {Some High Level Language Constructs for Data of Type Relation},
booktitle=       sigmod77,
month=           aug,
year=            1977,
abstract=        {Pascal/R}
}

@incollection{Schm78,
author=          {Schmidt, J.W.},
title=           {Type Concepts for Database Definition},
booktitle=       {Databases: Improving Usability and Responsiveness},
editor=          {Shneiderman, B.},
publisher=       {Academic Press},
year=            1978
}

@techreport{Schm80,
author=          {Schmidt, J.W. and Mall, M.},
title=           {Pascal/R Report},
institution=     hbg-info,
type=            {Bericht},
number=          66,
month=           jan,
year=            1980
}

@book{Schm83a,
author=          {Schmidt, J.W.},
title=           {Sprachen f\"ur Datenbanken},
series=          {Informatik Fachberichte 72},
publisher=       springer,
year=            1983
}

@incollection{Schm87a,
author=          {Schmidt, J.W.},
title=           {Datenbankmodelle},
chapter=         1,
editor=          {Lockemann, P.C. and Schmidt, J.W},
booktitle=       {Datenbank-Handbuch},
publisher=       springer,
year=            1987
}

@unpublished{Schm87b,
author=          {Schmidt, J.W.},
title=           {Semantics of Selective Set Assignment},
address=         ffm-info,
note=            "(Technical note)",
month=           dec,
year=            1988
}

@mastersthesis{Schr90,
author = {Norbert Schramek},
title  = {Hierarchische Sperren auf komplexen Objekten},
school = ffm-info,
month  = aug,
year   = {1990},
}

@inproceedings{SeSc83,
author=          {Schek, H.-J. and Scholl, M.},
title=           {Die NF$^{2}$-Relationenalgebra zur einheitlichen Manipulation
                  externer, konzeptueller und interner Datenstrukturen},
editor=          {Schmidt, J.W.},
pages=           "113-133",
booktitle=       {Sprachen f\"ur Datenbanken},
publisher=       springer,
address=         {Hamburg},
month=           oct,
year=            1983
}

@book{Sebe89,
author=          {Sebesta, R.W.},
title=           {Concepts of Programming Languages},
publisher=       {Benjamin/Cummings Publishing Company, Inc.},
series=          {Benjamin/Cummings Series in Computer Science},
year=            1989,
abstract=        {Grundlagen der Programmiersprachen, gute Beispiele,
                  schoene Geschichten, Signatur P SEB 13780}
}

@book{ShWe86,
title=           {Research Directions in Object-Oriented Programming},
editor=          {Shriver, B. and Wegner, P.},
year=            1987,
publisher=       {MIT Press},
abstract=        {Signatur K OBJ 13714}
}
@article{Shap86,
author=          {Shapiro, L.},
title=           {Join Processing in Database Systems with Large Main Memories},
journal=         tods,
month=           sep,
year=            1986,
abstract=        {
Hash-Join Algorithmus
Geplant fuer Postgres (sagt Stonebraker)
ungelesen
}}
@techreport{Shaw87,
author=          {Shaw, R.A.},
title=           {Improving Garbage Collector Performance in Virtual Memory},
institution=     {Stanford University},
type=            {Technical Report},
number=          {CSL-TR-87-323},
month=           mar,
year=            1987,
abstract=        {
Garbage PL Impl
vielleicht relevant
}}

@incollection{Shep88,
author    = {J. C. Shepherdson},
title     = {Negation in Logic Programming},
booktitle = {Foundations of Deductive Databases},
publisher = kaufmann,
year      = {1988},
editor    = {Jack Minker},
pages     = {19 - 88},
}

@article{Ship81,
author=          {Shipman, D.W.},
title=           {The Functional Data Model and the Data Language DAPLEX},
journal=         tods,
volume=          6,
number=          1,
year=            1981,
pages=           "140--173"
}

@article{SmSm77,
author=          {Smith, J.M. and Smith, D.C.P.},
title=           {Database Abstractions: Aggregation and Generalization},
journal=         tods,
volume=          2,
number=          2,
month=           jun,
year=            1977,
pages=           "105--133"
}

@phdthesis{Stan86,
author=          {Stanley, M.T.},
title=           {{CML}: A Knowledge Representation Language with Application
                  to Requirements Modelling},
school=          {Dept. of Computer Science, University of Toronto},
month=           jan,
year=            1986,
abstract=        {
... Beschreibung CML als Grundlage fuer SML / TELOS
}}

@inproceedings{StHa90,
author=          {Staudt-Lerner, B. and Habermann, A.N.},
title=           {Beyond Schema Evolution to Database Reorganization},
booktitle=       oopsla90,
year=            1990,
pages=           "67--76",
abstract=        {Declarative Mapping from existing DB to new DB.
Formal definition of transformation invariants. Might be worth having
a closer look at it.
}}


@inproceedings{Stan88,
author=          {Stansifer, R.},
title=           {Type Inference with Subtypes},
booktitle=       {Proc. 15th ACM Symposium on Principles of Programming
                  Languages},
year=            1988,
pages=           "88--97",
abstract=        {Cardelli-like polymorphism with ML-style type
inference,
record extension
}}


@book{Stoy77,
author=          {Stoy, J.E.},
title=           {Denotational semantics: the Scott-Strachey approach to
                 programming language theory},
publisher=       {MIT Press},
year=            1977,
abstract=        {Die klassische Quelle fuer Denot. Semantics}
}

@book{Stra67,
editor=          {Strachey, C.},
title=           {Fundamental concepts in programming languages},
publisher=       {Oxford University Press, Oxford},
year=            1967
}

@book{Stro86,
author=          {Stroustrup, B.},
title=           {The C++ Reference Manual},
publisher=       {Addison-Wesley} ,
year=            1986
}

@book{ElSt90,
author=          {Ellis, M.A. and Stroustrup, B.},
title=           {The Annotated C++ Reference Manual},
publisher=       {Addison-Wesley},
year=            1990,
abstract=        {ANSI base document, 
                  Signatur: P ELL # 16942 Projekt ASL 58702}
}

@techreport{Szy91,
author=          {Szyperski, C.A.},
title=           {Write -- An Extensible Text Editor for the Oberon System},
number=          151,
institution=     eth,
month=           jan,
year=            1991
}

@article{TYF86,
author=          {Teorey, T.J. and Yang, D. and Fry, J.P.},
title=           {A logical design methodology for relational databases
                  using the extended entity relationship model},
journal=         acmcs,
volume=          18,
number=          2,
month=           jun,
year=            1986,
pages=           "197--222",
abstract=        {
ungelesen ???
}}

@article{Tars55,
author=          {Tarski, A.},
title=           {A Lattice Theoretical Fixpoint Theorem and its Applications},
journal=         {Pacific J. Mathematics},
volume=          5,
number=          2,
month=           jun,
year=            1955,
pages=           "285--309"
}

@phdthesis{Toft88,
author=          {Tofte, M.},
title=           {Operational Semantics and Polymorphic Type Inference},
school=          {Department of Computer Science,
                  University of Edinburgh},
year=            1988,
abstract=        {reduction rules for run time evaluation of fct. languages}
}

@techreport{Teit75,
author=          {Teitelman, W.},
title=           {INTERLISP reference manual},
institution=     {Xerox Palo Alto Research Center, Calif.},
type=            {Technical Report},
year=            1975
}

@inproceedings{TsZa86,
author=          {Tsur, S. and Zaniolo, C.},
title=           {LDL: a logic-based data language},
booktitle=       {Proc. 12th Conf. on VLDB},
address=         {Kyoto, Japan},
month=           aug,
year=            1986,
abstract=        {unglesen, evtl. gut
}}

@book{Trind90,
author=          {Trinder, P.},
title=           {A Functional Database},
publisher=       {D.Phil Thesis, Oxford University},
month=           dec,
year=            1989,
abstract=        {Anfrageopt. mit List Comprehensions, optimistic if, ...}
}

@inproceedings{Trind91,
author=          {Trinder, P.},
title=           {Comprehensions, a Query Notation for DBPLs},
booktitle=       dbpl91,
address=         {Nafplion, Greece},
publisher=       kaufmann,
month=           sep,
year=            1991,
abstract=        { (list) comprehensions, ringads, monads, quads
[brief comparison] }}


@inproceedings{BTBN91,
author=          {Breazu-Tannen, V. and Buneman, P. and Naqvi, S.},
title=           {Structural Recursion as a Query Language},
booktitle=       dbpl91,
address=         {Nafplion, Greece},
publisher=       kaufmann,
month=           sep,
year=            1991,
abstract=        { structural recursion on sets, optimization,
algebra, commutativity, idempotence, aggregate operators
}}

@incollection{Turn90,
author=          {Turner, D.},
title=           {An Overview of Miranda},
pages=           "1--16",
editor=          {Turner, D.},
booktitle=       {Research Topics in Functional Programming},
publisher=       {Addison-Wesley},
year=            1990
}

@inproceedings{Turn85,
author=          {Turner, D.A.},
title=           {Miranda: A non-strict functional language with
                  polymorphic types},
editor=          {Jouannaud, J.P.},
booktitle=       {Functional Programming Languages and Computer
                  Architecture},
series=          lncs,
volume=          201,
year=            1985,
pages=           "1--16",
abstract=        {
Up-to-date functional language. Based on SASL and KRC.
Successors are Haskel & Orwell
}}

@book{Ullm82,
author=          {Ullman, J.D.},
title=           {Principles of Database Systems},
publisher=       {Computer Science Press} ,
edition=         {second},
year=            1982
}

@inproceedings{Ullm87,
author=          {Ullman, J.D.},
title=           {Database Theory --- Past and Future},
booktitle=       {6th PODS} ,
year=            1987,
pages=           "1--10"
}

@book{Ullm88,
author=          {Ullman, J.D.},
title=           {Database and Knowledge-Base Systems, vol. 1},
publisher=       {Computer Science Press},
year=            1988,
abstract=        {
}}

@book{Ullm89,
author=          {Ullman, J.D.},
title=           {Database and Knowledge-Base Systems, vol. 2},
publisher=       {Computer Science Press},
year=            1989,
abstract=        {Signatur: P ULL 15642
Query Optimization, Logic with function symbols, top-down, bottom-up,
conjunctive queries, linear recursions, knowledge-base systems
}}

@inproceedings{VKC86,
author=          {Valduriez, P. and Khoshafian, G. and Copeland, G.},
title=           {Implementation Techniques of Complex Objects},
booktitle=       {Int. Conf. on VLDB},
address=         {Kyoto, Japan},
month=           aug,
year=            1986,
abstract=        {
Darstellung komplexer Objekte im FAD Kontext
--> Markus B.
}}

@techreport{Viei86,
author=          {L. Vieille},
title=           {A database complete proof procedure based on SLD
                  resolution},
institution=     {ECRC},
year=            1986,
month=           nov,
number=          {Int. Rep. IR-KB-40},
address=         {M"unchen}
}

@inproceedings{Viei88,
author    = {L. Vieille},
title     = {From QSQ to QoSaQ: global optimization of recursive queries},
booktitle = {Proceedings Second International Conference on Expert
             Database Systems},
year      = {1988},
editor    = {L. Kerschberg},
address   = {Tyson Corner},
}

@inproceedings{Wadl90,
author=          {Wadler, P.},
title=           {Comprehending Monads},
booktitle=       {ACM Conference on Lisp and Functional Programming},
address=         {Nice},
month=           jun,
year=            1990,
abstract=        {Monads, list comprehensions, arrays in pure / impure
functional programming, Kopie bei Florian, iterators,
bulk structures}
}

@article{W*81,
author=          {Wasserman, A.L. and Sheretz, D.D. and Kerstin, M.L.},
title=           {Revised Report on the Programming Language PLAIN},
journal=         {ACM SIGPLAN Notices},
volume=          16,
number=          5,
month=           may,
year=            1981,
pages=           "59--80"
}

@article{Stee86,
author=          {Steele, {G.L. Jr}},
title=           {The Revised$^3$ Report on the Algorithmic
                  Language Scheme},
journal=         {ACM SIGPLAN Notices},
volume=          21,
number=          12,
month=           dec,
year=            1986,
pages=           "37--79",
abstract=        {Language report Scheme, statically scoped Lisp
}}

@article{Wate91,
author=          {Waters, R.C.},
title=           {System Validation via Constraint Modeling},
journal=         {ACM SIGPLAN Notices},
volume=          26,
number=          8,
month=           aug,
year=            1991,
pages=           "27--36",
abstract=        {types = constraints, type checking = constraint
propagation, validation in general = theorem prooving, applications from
physics, domain-specific constraints.
}
}

@article{PoBu92,
author=          {Ponder, C. and Bush, B.},
title=           {Polymorphism Considered Harmful},
journal=         {ACM SIGPLAN Notices},
volume=          27,
number=          6,
month=           jun,
year=            1992,
pages=           "76--79",
abstract=        {dynamic binding, subclass definitions,
modularity, understandability, number of redeclarations, 
number of types receiving.
}}

@inproceedings{WWFT88,
author=          {Wileden, J.C. and Wolf, A.L. and Fisher, C.D. and Tarr, P.L.},
title=           {PGraphite: An Experiment in Persistent Typed
                  Object Management},
booktitle=       {Proc. SIGSOFT Symp. on Software Development Environments},
month=           nov,
year=            1988,
pages=           "130--142",
abstract=        {
ObStore ADA Impl Pers
interessanter Ansatz: Präprozessor und 2 Konversionsprozeduren für jeden
Objekttyp (ADA)
[s.a. Proc. DBPL2]
}}



@inproceedings{Wand84,
author=          {Wand, M.},
title=           {A types-as-sets semantics for {Milner}-style polymorphism},
booktitle=       {Proc. 11th ACM Symp. on Principles of Programming Languages},
month=           jan,
year=            1984,
pages=           "158--164",
abstract=        {use regular trees to represent recursive types}
}


@inproceedings{Wand87,
author=          {Wand, M.},
title=           {Complete Type Inference for Simple Objects},
booktitle=       {Proceedings of the Second Annual Symposium on
                  Logic in Computer Science},
address=         {Ithaca, New York},
month=           jun,
year=            1987,
pages=           "37--44",
abstract=        {Type Inference for Record Typesk, Subtyping}
}

@inproceedings{Griff88,
author=          {Griffin, T.},
title=           {Notational definition -- A formal account},
booktitle=       {Proceedings Symposium on Logic in Computer Science},
year=            1988,
pages=           "372--383",
abstract=        {Binding, Macros, Expansion, Substitution, Rewriting,
                  Nuprl}
}

@inproceedings{Wass79,
author=          {Wasserman, A.L.},
title=           {The Data Management Facilities of PLAIN},
booktitle=       sigmod79,
year=            1979,
pages=           "60--70"
}

@inproceedings{Wass80,
author=          {Wasserman, A.L.},
title=           {The Design of PLAIN --- Support for Systematic Programming},
booktitle=       {Proc. National Comp. Conf.},
year=            1980,
pages=           "731--740"
}

@article{WeLi81,
author=          {Weihl, B. and Liskov, B.},
title=           {Specification and Implementation of Resilient
                  Atomic Data Types},
journal=         {Proc. ACM SIGPLAN Symp. on Prog. Lang. Issues in Softw.
                  Syst. ACM SIGPLAN Not.},
volume=          16,
number=          5,
month=           may,
year=            1981,
abstract=        {
Argus: Sicher interessant
}}

@inproceedings{WeZd88,
author=          {Wegner, P. and Zdonik, S.B.},
title=           {Inheritance as an Incremental Modification Mechanism,
                  or What Like is and isn't Like},
booktitle=       {ECOOP'88 Proc. European Conference on Object
                  Oriented Programming},
publisher=       springer,
series=          lncs,
volume=          322,
year=            1988,
abstract=        {
???
}}

@inproceedings{Coo89,
author=          {Cook, W.},
title=           {A Proposal for Making Eiffel Type-Safe},
booktitle=       {ECOOP 90 Proc. European Conference on Object
                  Oriented Programming},
year=            1989,
abstract=        {Eiffel, covariance
}}

@incollection{Wegn87,
author=          {Wegner, P.},
title=           {The object-oriented classification paradigm},
editor=          {Shriver, B. and Wegner, P.},
booktitle=       {Research Directions in Object-Oriented Programming},
publisher=       {MIT Press},
pages=           "479--560",
year=            1987
}

@inproceedings{Wegn87b,
author=          {Wegner, P.},
title=           {Dimensions of object-based language design},
booktitle=       oopsla87,
year=            1987,
abstract=        {
???
}}

@book{Wei88,
author=          {Weikum, G.},
title=           {Transaktionen in Datenbanken: Fehlertolerante Steuerung
                  paralleler Abl\"aufe},
publisher=       {Addison Wesley},
year=            1988,
abstract=        {sehr gute Quelle fuer Mehrebenensynchronisation}
}

@book{Wiks87,
author=          {Wikstr\"om, A.},
title=           {Functional Programming using {Standard ML}},
publisher=       prentice,
year=            1987,
abstract=        {Anscheinend sehr gute Einfuehrung
}}

@book{Wiks88,
author=          {Wikstr\"om, A.},
title=           {{Standard ML}},
publisher=       prentice,
year=            1988,
abstract=        {evtl. gleich Wiks87???
}}

@article{Wirt71,
author=          {Wirth, N.},
title=           {The programming language PASCAL},
journal=         acta,
volume=          1,
number=          1,
year=            1971,
pages=           "35--63 "
}

@book{Wirt83,
author=          {Wirth, N.},
title=           {Programming in Modula-2},
publisher=       springer,
year=            1985
}

@incollection{Wirt85b,
author=          {Wirth, N.},
title=           {Report on the Programming Language Modula-2},
booktitle=        {Programming in Modula-2},
edition=         {3rd},
publisher=       springer,
year=            1985
}

@book{Wirt85,
author=          {Wirth, N.},
title=           {Programmieren in Modula-2},
publisher=       springer,
year=            1985
}

@techreport{Wirt87a,
author=          {Wirth, N.},
title=           {The Programming Language Oberon},
institution=     eth,
year=            1987
}

@techreport{Wirt90,
author=          {Wirth, N.},
title=           {Die Programmiersprache Oberon},
institution=     eth,
number=          140,
year=            1990,
abstract=        {1:1 Uebersetzung von Wirt87a}
}

@techreport{Wirt87b,
author=          {Wirth, N.},
title=           {From Modula To Oberon},
institution=     eth,
year=            1987
}

@techreport{Wirt88,
author=          {Wirth, N. and Gutknecht, J.},
title=           {The Oberon System, System Release 1.2},
institution=     eth,
type=            {Report},
number=          138,
month=           oct,
year=            1990}

@inproceedings{Zamu88,
author=          {Zamulin, A.V.},
title=           {Data Base Programming Tools in the ATLANT Language},
booktitle=       {Advances in Database Technology, EDBT '88},
publisher=       springer,
series=          lncs,
volume=          303,
year=            1988,
pages=           "563--566",
abstract=        {
DBPL mit generischem Typsystem (parametrisierte Typkonstruktoren) &
persistenten Variablen und Prozeduren als DB Objekte
}}

@book{ZdMa89,
author=          {Zdonik, S.B. and Maier, D.},
title=           {Readings in Object Oriented Database Management Systems},
publisher=       kaufmann,
year=            1989,
abstract=        {Gute Sammlung, Signatur A REA 15232
}}

@inproceedings{ZdWe86,
author=          {Zdonik, S.B. and Wegner, P.},
title=           {Language and Methodology for Object-Oriented Database
                  Environments},
booktitle=       {Proc. 19th Annual Hawaii Int. Conf. on System Sciences},
year=            1986,
pages=           "378--387"
}

@inproceedings{Moe91,
author=          {M{\"o}ssenb{\"o}ck, H.},
title=           {Object Oberon},
booktitle=       {Proc. of the Second International Modula-2 Conference},
month=           sep,
year=            1991,
abstract=        {There should be an ETH report too}
}

@inproceedings{Zdon87,
author=          {Zdonik, S.B.},
title=           {Can Objects Change Type? Can Type Objects Change?},
booktitle=       {Proc. of the Workshop on Database Programming Languages,
                  Roscoff, France},
month=           sep,
year=            1987,
abstract=        {
}}

@mastersthesis{Zipp89,
author = {Joachim Zippel},
title  = {Repr"asentation und Verwaltung rekursiver Anfragen in
          relationalen Datenbanksystemen},
school = ffm-info,
month  = may,
year   = {1989},
}

@article{O90,
author=		{O. Deux et al.},
title=		{The Story of O$_{2}$},
journal=	{IEEE Transactions on Knowledge and Data Engineering},
year=		{1990},

volume=		{2},
number=		{1},
month=		mar,
abstract=        
	{keywords:	o2, architecture
	 Registrierung: FBI
	 status:
	 Inhalt:
        }
}

@techreport{D*89,
author=          {Deux, O. and others},
title=           {The Story of O$_2$},
institution=     altair,
year=            1989,
month=           oct,
number=          {37-89},
abstract=        {Appeared as an article, use key O90 !}
}

@article{BrRi84a,
author=          {Brodie, M.L. and Ridjanovic, D.},
title=           {Functional Specification and Verification of Database Transactions},
journal=         {Computer Corporation of America, Cambridge},
volume=          26,
number=          4,
year=            1984,
month=           oct,
abstract=        {Verhaltensschemata ...}
}

@article{BrRi84b,
author=          {Brodie, M.L. and Ridjanovic, D.},
title=           {A strict Database Transaction Design Methodology},
journal=         {Computer Corporation of America, Cambridge},
volume=          26,
number=          4,
year=            1984,
month=           apr,
abstract=        {Verhaltensschemata ...}
}

@book{ElNa89,
author=          {Elmasri, R. and Navathe, S.},
title=           {Fundamentals of Database Systems},
publisher=       {Benjamin/Cummings Publishing Company, Inc.},
year=            1989,
abstract=        { gutes Grundlagenbuch, EER-Diagramme}}


@article{BaHoBo90,
author=          {Batra, D. and Hoffer, J.A. and Bostrom, R.P.},
title=           {Comparing Representations with Relational and EER Models},
journal=         cacm,
volume=          33,
number=          2,
year=            1990,
month=           feb,
abstract=        {ER, entity-relationship, data model}
}

@incollection{Borg88b,
author=          {Borgida, A.},
title=           {Class Hierarchies in Information Systems: Sets, Types, or Prototypes},
editor=          {Atkinson, M. and Buneman, P. and Morrison, R.},
booktitle=       {Data Types and Persistence},
series=          tis,
publisher=       springer,
year=            1988,
abstract=        {non-strict hierarchies, exceptional data.}
}

@book{Wirt83b,
author=          {Wirth, N.},
title=           {Algorithmen und Datenstrukturen},
publisher=       {Teubner Verlag},
year=            1983
}


@techreport{ACCP89,
author=          {Alfo, L. and Coluccini, S. and Corte, P. and Presenza, D.},
title=           {Manuale del Sistema Sidereus},
institution=     {Dipartimento di Informatica, Universit\`a di Pisa, Italy},
year=            1989
}

@techreport{Kels89,
author=          {Kelsey, R.A.},
title=           {Compilation By Program Transformation},
institution=     {Yale University, Department of Computer Science},
year=            1989,
month=           may,
abstract= {Compiler, Object Code, Transformation, Intermediate Language,
Front End, Back End, Ordering Calls, Code Improvements, Environments,
Naming, Binding, Instruction Scheduling, Continuation Passing Signatur R
22924 HH Universitaet
} }

@book{ASU86,
author=          {Aho, A.V. and Sethi, R. and Ullman, J.D.},
title=           {Compilers: Principles, Techniques and Tools},
publisher=       {Addison-Wesley},
year=            1986,
abstract=        {Standardreferenz: Compiler, Parser, Grammar,
Attributed Grammars}
}

@techreport{Joh75,
author=          {Johnson, S.C.},
title=           {Yacc: Yet another compiler-compiler},
institution=     {Bell Laboratories, Murray Hill},
year=            1975,
abstract=        {compiler compiler, YACC, grammar, parser}
}

@techreport{LeSc75,
author=          {Lesk, M.E. and Schmidt, E.},
title=           {Lex -- a lexical analyzer generator},
institution=     {Bell Laboratories, Murray Hill},
year=            1975,
abstract=        {scanner, token}
}

@article{Kas80,
author=          {Kastens, U.},
title=           {Ordered Attribute Grammars},
journal=         {Acta Informatica},
volume=          13,
number=          3,
year=            1980,
abstract=        {Orderedness, Attribute Grammars}
}

@article{Knu68,
author=          {Knuth, D.E.},
title=           {Semantics of Context-Free Languages},
journal=         {Math. Syst. Theory},
volume=          2,
pages=           {127--145},
year=            1968,
abstract=        {Attribute Grammars, Standard Reference, see also
Knu71!}
}

@article{Knu71,
author=          {Knuth, D.E.},
title=           {Semantics of Context-Free Languages (Correction)},
journal=         {Math. Syst. Theory},
volume=          5,
pages=           {95--96},
year=            1971,
abstract=        {Attribute Grammars, Standard Reference}
}

@article{RiBr82,
author=          {Ridjanovic, D. and Brodi, M.},
title=           {Defining Database Dynamics with Attribute Grammars},
journal=         {Information Processing Letters},
volume=          14,
number=          3,
year=            1982,
abstract=        {Attribute Grammar, Semantics}
}

@article{BrSc85,
author=          {Brachmann, R.J. and Schmolze, J.G.},
title=           {An Overview of the KL-ONE Knowledge Representation 
                  System},
journal=         {Cognitive Sciences},
volume=          9,
number=          2,
year=            1985,
abstract=        {knowledge representation, concepts, classification,
subsumption
}}

@article{MoeTe89,
author=          {M{\"o}ssenb{\"o}ck, H. and Templ, J.},
title=           {Object Oberon -- A Modest Object-Oriented Language},
journal=         {Structured Programming},
volume=          10,
number=          4,
year=            1989,
abstract=        {also ETH TR 109 April 1990}
}

@article{Tes85,
author=          {Tesler, L.},
title=           {Object Pascal Report},
journal=         {Structured Language World},
volume=          9,
number=          3,
year=            1985,
abstract=        {Apple Computer, Niklaus Wirth}
}

@article{Wirth71,
author=          {Wirth, N.},
title=           {Program Development by Stepwise Refinement},
journal=         cacm,
volume=          14,
number=          4,
pages=           {221--227},
year=            1971,
abstract=        {structured programming standard reference}
}

@article{BoBe85,
author=          {B{\"o}hm, C. and Berarducci, A.},
title=           {Automatic synthesis of typed lambda-programs on
                 term algebras},
journal=         {Theoretical Computer Science},
volume=          39,
pages=           {135-154},
year=            1985,
abstract=        {Jede freie Algebra mit ausschliesslich totalen
Funktionen (Zahlen, Listen, Baeume) laesst sich einheitlich durch
Typoperatoren kodieren.
}}

@techreport{Nieb91,
author=          {Niebergall, P.},
title=           {Language-Sensitive Technology for Database Program
                  Development},
institution=     hbg-info,
type=            {DBPL-Memo},
number=          {108-91},
year=            1991,
abstract=        {Synthesizer Generator, DBPL, Editor, language sensitive}
}

@techreport{HKM86,
author=          {Hood, R. and Kennedy, K. and M{\"u}ller, H.A},
title=           {Efficient Recompilation of Module Interfaces in a
Software Development Environment},
institution=     {University of Victoria, Victoria, B.C., Canada},
number=          {DCS-59-IR},
year=            1986,
month=           dec,
abstract=        {}
}

@book{HaBe90,
editor=          {Hall, M. and Barry, J.},
title=           {The Sun Technology Papers},
publisher=       springer,
year=            1990,
abstract=        {Sun, SPARC, Compiler, code generator, optimizer}
}

@incollection{Much90,
author=          {Muchnick, S.S.},
title=           {Optimizing Compilers for the SPARC Architecture},
editor=          {Hall, M. and Barry, J.},
booktitle=       {The Sun Technology Papers},
publisher=       springer,
year=            1990,
abstract=        {Sun, SPARC, Compiler, code generator, optimizer}
}

@book{Ston86,
title=           {The INGRES Papers: Anatomy of a Relational Database
                  System},
editor=          {Stonebraker, M.},
publisher=       {Addison-Wesley},
year=            1986,
abstract=        {Design, Retrospective, Distribution, User Interfaces,
Extended Semantics, Database Design,
Signatur: P ING 14233
}}

@book{Bish86,
title=           {Data Abstraction in Programming Languages},
editor=          {Bishop, J.},
publisher=       {Addison-Wesley},
year=            1986,
abstract=        {Modelling, Aggregates, Type Checking, Iterators,
Generators, Ada, CLU, Modula-2, Data Protection, Exception Handling
Signatur: P BIS 11937
}}

@book{TsLo82,
author=          {Tsichritzis, D.C. and Lochovsky, F.H.},
title=           {Data Models},
publisher=       prentice,
year=            1982,
abstract=        {Sehr schoen, etwas aelter, Data Modeling, Sets,
Abstractions, Relations, Graphs, Relational, Network, Hierarchical,
Semantical, Binary Data Models.
Signatur: P TSI 7398}
}

@book{GOP90,
author=          {Gorlen, K.E. and Orlow, S.A. and Plexico, P.S.},
title=           {Data Abstraction and Object-Oriented Programming in C++},
publisher=       {John Wiley \& Sons},
year=            1990,
abstract=        {Signatur: P GOR 15613,
libraries, genericity, polymorphism, encapsulation, C++, specification,
abstract data types, NIH Class Library, NICL, Bulk Data Types
}}

@book{Zelk87,
editor=          {Zelkowitz, M.V.},
title=           {Selected Reprints in Software},
publisher=       {Computer Society of the IEEE},
edition=         {3rd},
year=            1987,
abstract=        {Software Engineering, Programming Languages,
Programming Techniques, Programming Environemnts, Related Areas.
Gute Sammlung von 30 papers.
Signatur: P SEL 12014
}}

@book{Zehn97,
editor=          {Zehnder, C.A.},
title=           {Informationssysteme und Datenbanken},
publisher=       {B.G. Teubner, Stuttgart},
edition=         {4th},
year=            1987,
abstract=        {Datenbankmodelle, Modula/R, ER-Modell, Konsistenz,
DML, DDL, Integritaet, Architektur, Gut fuer Studenten
Signatur: P ZEH 12927
}}

@proceedings{dbpl1,
editor=          {Bancilhon, F. and Buneman, P.},
title=           {Proceedings of the First Workshop on Database
                  Programming Languages},
address=         {Roscoff, Finistere, France},
publisher=       altair,
year=            1987
}

@proceedings{dbpl2,
editor=          {Hull, R. and Morrison, R. and Stemple, D.},
title=           {Proceedings of the Second Workshop on Database
                  Programming Languages},
address=         {Salishan, Oregon},
publisher=       kaufmann,
year=            1989
}

@proceedings{dbpl3,
editor=          {Kanellakis, P. and Schmidt, J.W.},
title=           {Database Programming Languages: Bulk Types and
                  Persistent Data},
address=         {Nafplion, Greece},
publisher=       kaufmann,
year=            1991
}

@techreport{Matt91a,
author=          {Matthes, F.},
title=           {{P-Quest}: Installation and User Manual},
institution=     hbg-info,
type=            {DBIS Tycoon Report},
number=          {101-91},
year=            1991,
month=           oct,
abstract=        {

This document explains the installation and use of the {\it P-Quest}
system (version 14) on Sun-4 hardware platforms
\\
{\it P-Quest} was
developed at the University of Hamburg, Germany, and adds orthogonal
persistence to the programming language Quest developed by Luca Cardelli
at DEC SRC, Palo Alto, USA. The implementation of {\it P-Quest} was carried out
in the ESPRIT-II basic research project FIDE and utilizes the Napier
persistent object store provided by the University of St.~Andrews,
Scotland.}}

@techreport{NMM92,
author=          {Nieder\'ee, C. and M\"u{\ss}ig, S. and Matthes, F.},
title=           {{P-Quest} User Manual},
institution=     hbg-info,
type=            {DBIS Tycoon Report},
number=          {102-92},
year=            1992,
month=           feb,
note=            {(In German)},
abstract=        {This document provides a smooth intorduction into the
language concepts of P-Quest and the underlying persistence model.}
}

@techreport{SchMa92,
author=          {Schr\"oder, G. and Matthes, F.},
title=           {Using the {Tycoon} Compiler Toolkit},
institution=     hbg-info,
type=            {DBIS Tycoon Report},
number=          {061-92},
year=            1992,
month=           may,
abstract=        {This document explains the structure and the use of
the Tycoon compiler toolkit, a library of generic modules in the Tycoon
system library implemented in P-Quest including a strongly-typed LL(1)
parser generator.}
}

@inproceedings{ScMa91d,
title=          {The Rationale behind DBPL},
author=         {Schmidt, J.W. and Matthes, F.},
month=          may,
year=           1991,
booktitle=      {3rd Symposium on Mathematical Fundamentals of Database
                and Knowledge Base Systems},
publisher=      springer,
series=         lncs,
volume=         495,
abstract=       {
The DBPL language orthogonally integrates sets and first-order
predicates into a strongly and statically typed programming language,
and the DBPL system supports the language with full database
functionality including persistence, query optimization and transaction
management. The application of modern language technology to database
concepts results in new insights into the relationship between types and
schemas, expressions/iterators and queries, selectors and views, or
functions and transactions. Furthermore, it allows the exploitation of
type theory and formal semantics of programming languages and thus
connects database application development with results from program
specification and verification.
}}

@inproceedings{Niev91,
title=          {XYZ: A project in experimental geometric computation},
author=         {Nievergelt, J. and Schorn, P. and {De Lorenzini}, C. and
                 Ammann, A.},
editor=         {Bieri, H. and Noltemeier, H.},
booktitle=      {Computational Geometry -- Methods, Algorithms and
		 Applications '91 Proceedings},
year=           1991,
publisher=      springer,
series=         lncs,
volume=         553,
pages=          {171--186},
abstract=       {Geographic, two-dimensional, data structures}
}

@techreport{JMSV91,
title=		{DAIDA: An Environment for Evolving Information Systems},
author=		{Jarke, M. and Mylopoulos, J. and Schmidt, J.W. and
                 Vassiliou, Y.},
institution=    {RWTH Aachen},
type=           {Aachener Informatik-Berichte},
number=         {91-18},
year=		1991,
note=           {(to appear in TOIS)},
abstract=	{}
}

@article{JMSV91b,
author=          {Jarke, M. and Mylopoluls, J. and Schmidt, J.W. and
                  Vassiliou, Y.},
title=           {Information Systems Development as Knowledge
                  Engineering: A Review of the DAIDA Project},
journal=         {Programmirowanie, Software Journal},
address=         {Akademia Nauk CCCR, Moscow},
note=            {(Also available through Hamburg University)},
month=           jan,
year=            1991,
abstract=        {The development of database-intensive information
systems has to consider a rich set of constraints from many different
viewpoints: faithful representation of the application domain, good fit
into the usage environment, maintainable conceptual organization of a
large software system, cost-saving through reuse of existing
experiences, efficient handling of massive data amounts, etc. To unify
these viewpoints, we propose to treat them formally as interrelated
knowledge bases, and to manage their evolution as a knowledge
engineering process. The process is guided by design decisions within
the constraints of a formal environment model. Experiences in ESPRIT
project DAIDA demonstrate advantages of this approach in terms of
conceptual flexibility, process support, and quality assurance.
}}

@book{SBGL*91,
author=          {Strom, R.E. and Bacon, D.F. and Goldberg, A.P. and
                  Lowry, A. and Yellin, D.M. and Yemini, S.A.},
title=           {Hermes: A Language for Distributed Computing},
publisher=       prentice,
year=            1991,
abstract=        {Yorktown Heights, Watson Center,
Typestate, Distribution, CSP, Dynamic Types, Type Checking, Language
Definition, Communication, Optimistic Recovery, Communicating Processes,
High Level Languages, Exceptions, Tables, Sets, Bulk Types, HERMES, NIL
}}


@book{Weis91,
author=          {Weiss, M.A.},
title=           {Data Structures and Algorithm Analysis},
publisher=       {Benjamin/Cummings Publishing Company},
year=            1991,
abstract=        {Gute Einfuehrung fuer Vorlesung, gute Referenzen
Average / Worst-Case Time, List, Tree, Stack, Binary Tree, Search Tree,
AVL Tree, Splay Tree, B-Trees, Open Hashing, Closed Hashing, Collision,
Extendible Hashing, Priority Queues, Heaps, Binary Heap, d-Heap, Leftist
Heaps, Skew Heaps, Binomial Queues, Sorting, Internal, External,
Disjoint Sets, Graph Algorithms, Shortest Path, Network Flow, Minimum
Spanning Tree, Undirected Grpahs, Biconnectivity, Euler Circuits,
Directed Graphs, Strong Components.
}}

@incollection{CMMS91,
author=          {Cardelli, L. and Martini, S. and Mitchell, J.C. and
                  Scedrov, A.},
title=           {An Extension of System {F} with Subtyping},
pages=           {750--770},
editor=          {Ito, T. and Meyer, A.R.},
booktitle=       {Theoretical Aspects of Computer Software, TACS'91},
series=          lncs,
publisher=       springer,
year=            1991,
abstract=        {System F, types, Fsub, Encoding booleans, natural
numbers, etc.}
}

@inproceedings{Ghel91,
author=          {Ghelli, G.},
title=           {A Static Type System for Message Passing},
pages=           {129--145},
booktitle=       oopsla91,
year=            1991,
abstract=        {Typing, Records, Functions, Recursion, Multiple
Inheritance, FMCOPY}
}

@incollection{CuGh91,
author=          {Curien, P.-L. and Ghelli, G.},
title=           {Subtyping + Extensionality: Confluence of
                  $\beta\eta$top reduction in F$_{\leq}$},
pages=           {731--749},
editor=          {Ito, T. and Meyer, A.R.},
booktitle=       {Theoretical Aspects of Computer Software, TACS'91},
series=          lncs,
publisher=       springer,
year=            1991,
abstract=        {Polymorphism, Subtyping, Kernel, Fsub}
}

@incollection{Cons91,
author=          {Constable, R.L.},
title=           {Type Theory as a Foundation for Computer Science},
pages=           {226--243},
editor=          {Ito, T. and Meyer, A.R.},
booktitle=       {Theoretical Aspects of Computer Software, TACS'91},
series=          lncs,
publisher=       springer,
year=            1991,
abstract=        {Constructive Logics, Set Theory, Type Theory,
Specifications, Universes, Logic Variables, Lego, Nuprl}
}

@manual{MODISO,
title=           {Interim Version of the 4th Working Draft Modula-2 Standard},
organization=    {ISO/IEC JTC1/SC22/WG13},
year=            1991,
key=             {ModISO}
}

@manual{SQLISO,
title=          {Standard ISO 9075, Information processing systems -
		 Database language SQL},
organization=   {ISO},
number=         {First Edition 1987-06-15},
year=           1987,
abstract=       {SQL Standard},
key=            {SQL}
}

@techreport{TDF91a,
key=             {TDF91a},
title=           {{TDF} Specification},
author=          {{RSRE}},
institution=     {Defense Research Agency, RSRE},
address=         {St. Andrews Road, Malvern, Worcestershire WR 14 3PS, UK},
note=            {(2 parts)},
year=            1991,
month=           oct,
abstract=        {ANDF, TDF, Architecture Neutral Distribution Format,
Intermediate Representaion, Tagging, compiler, front-end, back end,
UNCOL, data representation
}}

@techreport{TDF91b,
key=             {TDF},
title=           {Some Examples of Mapping {ANSI C} to {TDF}},
author=          {{RSRE}},
institution=     {Defense Research Agency, RSRE},
address=         {St. Andrews Road, Malvern, Worcestershire WR 14 3PS, UK},
year=            1991,
month=           oct,
abstract=        {Intermediate representation, UNCOL
}}


@book{Henn90,
author=          {Hennessy, M.},
title=           {The Semantics of Programming Languages},
publisher=       {John Wiley \& Sons},
year=            1990,
abstract=        {An elementary introduction using structural
operational semantics; evaluation semantics, computation semantics,
denotational semantics, updates, local variables, global variables
}}

@book{BeGr992,
author=		{Bell, D. and Grimson, J.},
title=		{Distributed Database Systems},
publisher=	{Addison-Wesley},
year=		1992,
abstract=	{Good for education, good annotated references, better than
		Ceri, Pelagatti}
}

@mastersthesis{Mue91,
author= 	{Rainer M\"uller},
title= 		{Sprachprozessoren und Objektspeicher:
		Schnittstellenentwurf und -implementierung},
school= 	ffm-info,
month= 		nov,
year= 		{1991},
abstract=	{Object stores, interfaces, abstract machine, P-Quest
}}

@mastersthesis{Schr91,
author= 	{Gerald Schr\"oder},
title= 		{Studienarbeit: Die Standardisierung von Modula-2},
school= 	hbg-info,
month= 		nov,
year= 		{1991},
abstract=	{DBPL Compiler, Modula-2, Compiler construction
}}

@mastersthesis{Nied92,
author= 	{Nieder\'ee, C.},
title= 		{Generische Dienste f"ur datenintensive Anwendungen:
Iterationsabstraktion, Integrit"ats"uberwachung, Fehlererholung},
school= 	hbg-info,
month= 		nov,
year= 		{1992},
abstract=	{Iteratoren, Tycoon, TL
}}

@mastersthesis{KiMu92,
author= 	{Kirch, F. and M{\"u}{\ss}ig, S.},
title= 		{Studienarbeit: Entwicklung eines generischen
                 Datenbankbrowsers in einer polymorphen
                 Programmiersprache},
school= 	hbg-info,
month= 		apr,
year= 		{1992},
abstract=	{Browser, P-Quest, Tycoon, Graphic, Editor
}}

@book{CLR91,
author=		{Cormen, T. H. and Leiserson, C.E. and Rivest, R.L.},
title=		{Introduction to Algorithms},
publisher=	{Addison-Wesley},
year=		1992,
abstract=	{Sehr schoener, kompletter Ueberblick ueber Algorithmen&
                 Datenstrukturen}
}


@book{WaGo85,
author=		{Waite, W.M. and Goos, G.},
title=          {Compiler Construction},
publisher=	springer,
series=         {Texts and monographs in computer science},
year=		1985,
abstract=	{compiler, scanner, parser, attribute grammars}
}

@book{ASU87,
author=		{Aho, A.V. and Sethi, R. and Ullmann, J.D.},
title=          {Compilers: Principles, Techniques and Tools},
publisher=	{Addison-Wesley},
year=		1987,
abstract=	{compiler, scanner, parser, attribute grammars}
}

@book{ASU88,
author=		{Aho, A.V. and Sethi, R. and Ullmann, J.D.},
title=          {Compilerbau},
publisher=	{Addison-Wesley},
year=		1988,
abstract=	{translation of ASU87}
}

@book{Wirt81,
author=		{Wirth, N.},
title=          {Compilerbau},
publisher=	{Teubner Studienb\"ucher Informatik},
year=		1981,
abstract=	{static link, dynamic link}
}


@book{HoUl79,
author=		{Hopcroft, J. E. and Ullmann, J.D.},
title=          {Introduction to Automata Theory, Languages and
Computation},
publisher=	{Addison-Wesley},
year=		1979,
abstract=	{context-free languages, decidability, complexity}
}


@book{Stee89,
author=		{Steele, D.J.},
title=          {Golden Common Lisp: A Hands-On Approach},
publisher=	{Addison-Wesley},
year=		1989,
abstract=	{lisp, introduction, OK}
}

@techreport{Maun91,
title=           {Functional Programming using CAML},
author=          {Mauny, M.},
year=            1991,
month=           sep,
institution=     inria,
abstract=        {Introduction to CAML, YACC parser interface, Dynamic Types, ML,
typing,
}}

@techreport{B*91,
author=          {Brown, A.L. and Mainetto, G. and Matthes, F. and
                  M{\"u}ller, R. and McNally, D.J.},
title=           {An Open System Architecture for a Persistent
                  Object Store},
year=            1991,
month=           sep,
institution=     {Univ. of St. Andrews, Dept. of Comp. Science},
type=            {Persistent Programming Research Report},
number=          {CS/91/9},
abstract=        {Napier, Staple, Galileo, P-Quest
                  Prefer B*92
}}

@techreport{S*92,
author=          {Stemple, D. and Stanton, R.B. and Sheard, T. and
                  Philbrow, P. and Morrison, R. and Kirby, G.N.C. and
                  Fegaras, L. and Cooper, R.L. and Connor, R.C.H. and
                  Atkinson, M.P. and Alagic, S.},
title=           {Type-Safe Linguistic Reflection: A Generator 
		  Technology},
year=            1992,
month=           jul,
institution=     {Univ. of St. Andrews, Dept. of Comp. Science},
type=            {Research Report},
number=          {CS/92/6},
abstract=        {TRPL, Napier88, PS-algol, run-time / compile-time.
}}

@techreport{ScMa91a,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {Modular and Rule-Based Database Programming in {DBPL}},
year=            1991,
month=           feb,
institution=     hbg-info,
type=            fiderep,
number=          {FIDE/91/15},
abstract=        {
DBPL is the target language for the implementation of data-intensive
applications in the DAIDA project. This paper illustrates how DBPL
supports the construction of correct, modular and efficient database
programs integrating well-developed compilation and database
technology.
\\
After an introduction to the language concepts of DBPL, two
methodoligical aspects central to the implementation of database
applications are discussed. The first task is the representation of
the classical abstraction principles of Conceptual Modelling
(classification, aggregation, generalization, and association) by
typed data structures and data derivation rules in DBPL. The second
aspect is the decomposition of application systems consisting of
multiple interacting programs into managable, shared modules using a
novel abstraction mechanism for bulk data access.
\\
By presenting the use of DBPL in some detail, we intend to support
our claim that a set- and predicate-oriented view of database
modelling resolves the traditional mismatch between declarative
database languages and their general-purpose imperative counterparts.
}}

@techreport{MSS91,
author=          {Matthes, F. and Schr\"oder, G. and Schmidt, J.W.},
title=           {VAX Modula-2 User's Guide; VAX DBPL User's Guide},
institution=     hbg-info,
type=            {DBPL Memo},
number=          {121-91},
year=            1991,
month=           dec,
abstract=	 {
This document describes how to compile, link and execute
Modula-2 programs on a VAX under the VMS operating system.
The VAX Modula-2 Compiler is based on an implementation of Modula-2
for the PDP-11 developed by a group under the direction of Prof. N.
Wirth at the ETH Z\"urich. \\
This document also describes how to compile, link and execute
DBPL programs on a VAX under the VMS operating system. DBPL is a
relational database programming language that has Modula-2 as its
algorithmic kernel. The DBPL Compiler is a fully upward compatible
extension of the VAX Modula-2 Compiler.}
}

@inproceedings{Pier92,
title=          {Bounded Quantification is Undecidable},
author=         {Pierce, B. C.},
month=          jan,
year=           1992,
booktitle=      popl92,
pages=          {305--315},
abstract=       {Fsub, subtyping, bounded second-order polymorphism
}}

@inproceedings{HaPi91,
title=          {A Record Calclulus Base on Symmetric Concatenation},
author=         {Harper, R. and Pierce, B. C.},
month=          jan,
year=           1991,
booktitle=      popl91,
pages=          {131--142},
abstract=       {record extension, positive, negative information,
record field restriciton, replace F-bounded quantification by negative
information and traditional recursive types.
}}

@inproceedings{ClRe91,
title=          {Macros That Work},
author=         {Clinger, W. and Rees, J.},
month=          jan,
year=           1991,
booktitle=      popl91,
pages=          {155--162},
abstract=       {hygienic macro expansion,
naming, binding, introduction of local variables,
binding to global variables, variable capture problems
}}

@inproceedings{BaRe88,
title=          {Syntactic Closures},
author=         {Bawden, A. and Rees, J.},
year=           1988,
booktitle=      {ACM Conference on Lisp and Functional Programming},
pages=          {86--95},
abstract=       {hygienic macro expansion, rewriting, naming, binding,
variable capture problems
}}

@inproceedings{Solo78,
title=          {Type Definitions with Parameters},
author=         {Solomon, M.},
month=          jan,
year=           1978,
booktitle=      popl78,
pages=          {31--38},
abstract=       {type checking, type operators, recursive types,
decidability
}}


@inproceedings{KaSa92,
title=          {Completely Bounded Quantification is Decidable},
author=         {Katiyar, D. and Sankar, S.},
month=          jun,
year=           1992,
booktitle=      {Proceedings of the ACM SIGPLAN Workshop on ML
                 and its Applications},
abstract=       {Fsub, subtyping, disallow unrestricted use of
                 type variables in type terms
}}

@inproceedings{ACPR92,
title=          {Dynamic Typing in Polymorphic Languages},
author=         {Abadi, M. and Cardelli, L. and Pierce, B. and R\'emy, D.},
month=          jun,
year=           1992,
booktitle=      {Proceedings of the ACM SIGPLAN Workshop on ML
                 and its Applications},
abstract=       {explicit and implicit polymorphism and abstract
data types.
}}


@proceedings{Blas90,
title=           {Database Systems of the 90s},
editor=          {Blaser, A.},
series=          lncs,
volume=          466,
month=           nov,
year=            1990,
}

@inproceedings{SMA91,
author=          {Stemple, D. and Morrison, R. and Atkinson M.},
title=           {Type-safe Linguistic Reflection},
booktitle=       {Database Programming Languages: Bulk Types and
                  Persistent Data},
address=         {Nafplion, Greece},
publisher=       kaufmann,
year=            1991,
pages=           {357--362}
}


@inproceedings{Banc91,
author=          {Bancilhon, F.},
title=           {A Classification of Object-Oriented Database Systems},
booktitle=       {Database Programming Languages: Bulk Types and
                  Persistent Data},
address=         {Nafplion, Greece},
publisher=       kaufmann,
year=            1991,
pages=           {3--19},
abstract=        {Language Oriented Database Systems, Persistent
		 Programming Languages, Engineering Databases, 
		 Object-Oriented Databases}
}


@inproceedings{CMR91,
author=          {Connor, R. and McNally, D. and Morrison, R.},
title=           {Subtyping and Assignment in Database Programming
                  Languages},
booktitle=       {Database Programming Languages: Bulk Types and
                  Persistent Data},
address=         {Nafplion, Greece},
publisher=       kaufmann,
year=            1991,
pages=           {363--382},
abstract=        {polymorphism, mutability, subtyping, assignment}
}


@techreport{CoQi89,
author=          {Cooper, R.L. and Qin, Z.},
title=           {An implementation of the IFO data model in PS-algol},
institution=     {Universities of Glasgow and St Andrews},
type=            {PPRR},
number=          {89},
year=            1989,
abstract=        {Run-time reflection, code generation, translation}
}

@inproceedings{Manth91,
author=          {Manthey, R.},
title=           {Declarative Languages -- Paradigm of the Past or
                  Challenge of the Future?},
booktitle=       {Proceedings of the Kiev East/West Workshop on
                  Next Generation Database Technology},
series=          lncs,
volume=          {504},
month=           apr,
year=            1991,
abstract=        {competence mismatch, impedance mismatch, problems
with integrating logic languages into algorithmically complete languages
}}

@inproceedings{SSW91a,
title=		{Towards a Structured Specification Language for
                 Database Applications},
author=		{Schewe, K.-D. and Schmidt, J.W. and Wetzel, I.},
month=		jul,
year=		1991,
booktitle=      {Proc. Int. Workshop on Specifications of 
                 Database Systems, Glasgow)},
publisher=      springer,
series=         {WICS},
abstract=	{
}}

@inproceedings{SSW91b,
title=		{Specification and Refinement in an Integrated 
                Database Application Environment},
author=		{Schewe, K.-D. and Schmidt, J.W. and Wetzel, I.},
month=		oct,
year=		1991,
booktitle=      {Proc. VDM Conference 1991, Noordwijkerhout},
publisher=      springer,
series=         lncs
}

@inproceedings{BBMR89,
author=		{Borgida, A. and Brachman, R.J. and McGuiness, D.L.
                 and Resnick, L.A.},
title=          {CLASSIC: A Structural Data Model for Objects},
booktitle=      sigmod89,
month=          jun,
year=           1989,
pages=          {59--67},
abstract=       {classic, types, semantic data models}
}

@inproceedings{CRR91,
author=		{Chrysanthis P.K. and Raghuram, S. and Ramamritham, K.},
title=          {Extracting Concurrency from Objects: A Methodology},
booktitle=      sigmod91,
month=          may,
year=           1981,
pages=          {108--117},
abstract=       {locality, side-effects, repository, update semantics,
object graph}
}

@techreport{NeWS90,
title=          {{NeWS} 2.1 Programmer's Guide},
author=         {{Sun Microsystems}},
number=         {800-4888-10},
institution=    {Sun Microsystems},
year=           1992,
key=            {NeWS}
}

@unpublished{Borg92,
author=          {Borgida, A.},
title=           {Towards the systematic development of terminological
                  reasonders: CLASP reconstructed},
address=         {Dept.~of Computer Science, Rutgers University,
                  New Brunswick, NJ089-4, USA},
note=            {(submitted for publication)},
month=           apr,
year=            1992,
abstract=        {Classic, types, deduction, modularity}
}

@techreport{MMS92,
author=          {Matthes, F. and M\"uller, R. and Schmidt, J.W.},
title=           {Object Stores as Servers in Persistent Programming
                  Environments -- The P-Quest Experience},
institution=     hbg-info,
type=            fiderep,
number=          {TR/92/48},
year=            1992,
month=           jul,
keywords=        {P-Quest, Tycoon, Object Store},
abstract=        {A promising approach to improve the quality of
next-generation database programming languages is to strictly separate
data modeling and data manipulation tasks from data storage issues.
This separation greatly simplifies the development of tailor-made
database languages and data models based on the generic services of a
data model neutral object store protocol that provides efficient,
transactional access primitives to persistent, shared and possibly
distributed data objects.\\ As a first step towards this goal, this
paper investigates the specific services which {\em language clients}
require from their supporting object stores. It gives insight into the
process of selecting a suitable object store for a polymorphic
higher-order programming environment (P-Quest) and sketches the mapping
of higher-level language objects like functions, environments and
polymorphic aggregates, onto more primitive storage structures. The
functionality of three candidate object stores ($O_2$, Mneme and Napier
POS) is evaluated based on the requirements imposed by the Quest
language.}}

@techreport{MaSc92a,
author=          {Matthes, F. and Schmidt, J.W.},
title=           {Definition of the Tycoon Language TL -- A Preliminary Report},
institution=     hbg-info,
type=            {Informatik Fachbericht},
number=          {FBI-HH-B-160/92},
year=            1992,
month=           nov,
abstract=        {\noindent This document defines the language TL that is used
as the application and system programming language in the Tycoon
database environment.  The Tycoon project follows an add-on approach
to generic database programming that emphasizes type-safe system
scalability and extensibility.\\

\noindent TL is a polymorphic second-order functional language with imperative
features and inductively defined subtyping rules over types and type
operator, extended by language constructs motivated by the needs of
database programming.
}}

@book{BDK92,
author=          {Bancilhon, F. and Delobel, C. and Kanellakis, P.},
title=           {Building an Object-Oriented Database System:
                  The Story of O$_{2}$},
publisher=       kaufmann,
year=            {1992},
}

@book{DeSm90,
author=          {Dewar, R.B.K. and Smosna, M.},
title=           {Microprocessors: A Programmers View},
publisher=       {McGraw-Hill},
year=            {1990},
abstract=        {RISC, CISC, good overview, Sparc, ... DBIS copy}
}

@phdthesis{Ohor89,
author=          {Ohori, A.},
title=           {A Study of Semantics, Types and Languages for
Databases and Object-Oriented Programming},
school=          {University of Pennsylvania},
year=            1989,
abstract=        {ML Polymorphism, regular trees, machiavelli,
unificaton on trees, database domains, set types, conditional
type schemes, type inference, parametric classes, object
identity
}}

@inproceedings{SSF92,
author=          {Stemple, D. and Sheard, T. and Fegaras, L.},
title=           {Linguistic Reflection: A Bridge from Programming
                  to Database Languages},
booktitle=       {Proc. HICSS, Hawaii},
year=            1992,
pages=           "46--55",
abstract=        {TRPL, Macros, Optimizing Queries, natural join,
compile-time reflection
}}

@inproceedings{SSS88,
author=          {Stemple, D. and Socorro, A. and Sheard, T.},
title=           {Formalizing Objects for Databases using ADABTPL},
booktitle=       {Advances in Object-Oriented Database Systems},
year=            1988,
month=           sep,
pages=           "110--172",
abstract=        {ADABTPL, transaction specification, abstract data
types, inheritance, object identity
}}

@unpublished{FSS92,
author=          {Fegaras, L. and  Sheard, T. and Stemple, D.},
title=           {Uniform Traversal Combinators},
year=            1992,
note=            {(submitted for publication)},
abstract=        {TRPL, patterns of recursion as a help in
theorem proving by eliminating the need for induction
}}

@inproceedings{B*92,
author=          {Brown, A.L. and Manietto, G. and Matthes, F. and
                  M\"uller, R. and McNally, D.J.},
title=           {An Open System Architecture for a Persistent Object Store},
booktitle=       {25th Hawaii International Conference on System Sciences},
volume=          2,
year=            1992,
month=           jan,
pages=           {766--776},
abstract=        {Napier POS, object store, layered architecture,
P-Quest, Persistent Galileo
}}

@techreport{Gall91,
author=          {Gallier, J.},
title=           {Constructive Logics. A Tutorial on Proof Systems and
                  Typed Lambda-Calculi},
institution=     {DEC Paris Research Laboratory},
type=            {Research Report},
number=          8,
volume=          1,
month=           may,
year=            1991,
abstract=        {
constructive logics, intuitionistic logic, proof theory, Gentzen
calculus, Curry-Howard isomorphism
}}

@techreport{CoMo92,
author=          {Connor, R. and Morrison, R.},
title=           {Subtyping Without Tears},
institution=     fidecoord,
type=            fiderep,
number=          {FIDE/92/34},
year=            1992,
abstract=        {Napier-9X, type variables, subtyping and
assignment, exact types, kinds
}}

@book{Huges91,
author=          {Huges, J.G.},
title=           {Object-Oriented Databases},
publisher=       prentice,
series=          {International Series in Computer Science},
year=            1991,
abstract=        {OODBMS, GemStone, PS algol, Orion, basic}
}

@book{App92,
author=          {Appel, A.},
title=           {Compiling with Continuations},
publisher=       {Cambridge University Press},
year=            1992,
abstract=        {closure, Standard ML, compiling, higher-order functions cps}
}


@book{Cox86,
author=          {Cox, B.J.},
title=           {Object-Oriented Programming, An Evolutionary Approach},
publisher=       {Addison-Wesley},
address=         {Reading (Mass.)},
year=            1986,
abstract=        {Object-Oriented Methodology, Characterisation of OO Progr.}
}


@article{Booc86,
author=          {Booch, G.},
title=           {Object-Oriented Development},
journal=         tose,
volume=          {SE-12},
number=          2,
pages=           {211--221},
month=           feb,
year=            1986,
abstract=        {Characterisaton of OO Programming
}}

@proceedings{Adva88,
title=		{Advances in Object-oriented Database Systems},
year=		{1988},
editor=		{Dittrich, K.R.},
number=		{334},
series=		lncs,
month=		sep,
publisher=	springer,
abstract=        
	{keywords:	persistence, object stores,mneme, o2, adabtpl
	 Registrierung:	K OBJ 13476
	 status:
	 Inhalt:
        }
}

@techreport{Moss89b,
author=		{Moss, J. Elliot B.},
title=		{The Mneme Persistent Object Store},
institution=	{University of Massachusetts at Amherst},
year=		{1989},
month=		oct,
number=		{89-107},
type=		{COINS Technical Report},
abstract=        
	{keywords:	mneme
	 Registrierung:	DBIS
	 status:
	 Inhalt:
        }
}
@techreport{Plot81,
author=		{Plotkin, G.D.},
title=		{A structural appraoch to operational semantics},
institution=	{Computer Science Department, Aarhus University},
year=		{1981},
number=		{19},
type=		{DIAMI FN},
abstract=       {standard reference for operational semantics; deduction rules
}}

@techreport{BeDe90,
author=		{Benzaken, V. and Delobel, C.},
title=		{Enhancing Performance in a Persistent Object Store: Clustering Strategies in O$_{2}$},
institution=	altair,
year=		{1990},

month=		aug,
number=		{50-90},
type=		{Rapport Technique},
abstract=        
	{keywords:	o2, clustering
	 Registrierung:	DBIS
	 status:
	 Inhalt:
        }
}

@inproceedings{MoSi88,
author=		{Moss, J. Elliot B. and Sinofsky, S.},
title=		{Managing Persistent Data with Mneme: Designing a
                 Reliable Shared Object Interface},
booktitle=	{Advances in Object-Oriented Database Systems},
year=		{1988},

editor=		{Dittrich, K.R.},
number=		{334},
series=		lncs,
month=		sep,
publisher=	{Springer-Verlag},
abstract=        
	{keywords:	object stores, mneme
	 Registrierung:	K OBJ 13476
	 status:	gelesen
	 Inhalt:	beschreibung der architektur des menem object
			stores
        }
}

@article{B*88,
title=          {Common Lisp Object System Specification},
author=         {Bobrow, D.G. and De Michiel, L.G. and Gabriel, R.P.
                 and Keene, S.E. and Kiczales, G. and Moon, D.A.},
journal=         {ACM SIGPLAN Notices, Special Issue},
volume=          23,
month=           sep,
year=            1988,
abstract=        {CLOS, multiple inheritance, generic functions,
                  meta-object protocol}
}

@techreport{Kirb92,
author=          {Kirby, G.N.C.},
title=           {Persistent Programming with Strongly Typed Linguistic
                  Reflection},
institution=     fidecoord,
type=            fiderep,
number=          {FIDE/92/40},
year=            1992,
abstract=	 {Reflection, Napier 88, ...}
}

@techreport{MeNa89,
author=          {Mehlhorn, K. and N{\"a}her, S.},
title=           {LEDA, a Library of Efficient Data Types and 
		  Algorithms},
institution=     {FB10, Universit\"at des Saarlandes, Saarbr\"ucken},
type=            {TR},
number=          {A 04/89},
year=            1989,
abstract=	 {Stacks, Queues, Lists, Sets, Integer Sets, 
		  Priority Queues, Dictionaries, Sorted Sequences,
                  Persistent Dictionaries, Graphs, Graph Algorithms,
                  Two-Dimensional Geometry}
}

@mastersthesis{Piza92,
author= 	{Piza, B.},
title= 		{Termsubsumption mit Typkonstruktoren},
school= 	hbg-info,
month= 		apr,
year= 		{1992},
abstract=	{IFO, CLASSIC, Inferenzen, 
}}

@techreport{BaMy91,
title=          {International Workshop on the Develpment of 
                 Intelligent Information Systems},
author=         {Balzer, R. and Mylopoulos, J.},
institution=    {University of Southern California and 
                 University of Toronto},
month=          apr,
year=           1991
}

@article{Manifesto90,
title=		{Third-Generation Data Base System Manifesto},
author=		{Stonebraker, M. and Rowe, L.A. and Lindsay, B. and
                 Gray, J. and Carey, M. and Brodie, M. and Bernstein, P.},
month=          sep,
journal=        {ACM SIGMOD Record},
year=           1990,
volume=         19,
number=         3,
pages=          "31--44",
abstract=       {relational DBMS object-oriented DBMS debate}
}

@inproceedings{StHe87,
title=		{Tags and Type Checking in LISP: Hardware and Software
                 Approaches},
author=		{Steenkiste, P. and Hennessy, J.},
booktitle=      {ACM Conference on Lisp and Functional Programming},
year=           1987,
pages=          {50--59},
abstract=       {data representation, tagging, frequency of operations, 
                 use least significant bits}
}

@inproceedings{BoAr92,
title=		{A Confluent Calculus of Macro Expansion and Evaluation},
author=		{Bove, A. and Arbilla, L.},
booktitle=      {ACM Conference on Lisp and Functional Programming},
year=           1992,
pages=          {278--287},
abstract=       {Macro, notational definitions, explicit substitutions}
}

@techreport{Ing90,
title=          {Language Reference Manual for INGRES/Windows 4GL
                 for the UNIX and VMS Operating Systems},
author=         {{Ingres Corporation}},
number=         {INGRES Release 6},
month=          aug,
institution=    {Ingres Corporation, 1080 Marina Village Parkway,
                 Almeda, CA 94501},
year=           1990,
key=            {I4GL}
}

@techreport{Ingb90,
title=          {INGRES ABF/4GL Reference Manual
                 for the UNIX and VMS Operating Systems},
author=         {{Ingres Corporation}},
number=         {INGRES Release 6.3},
month=          nov,
institution=    {Ingres Corporation, 1080 Marina Village Parkway,
                 Almeda, CA 94501},
year=           1989,
key=            {I4GLABF}
}

@techreport{Orac90,
title=          {PL/SQL User's Guide and Reference, Version 1.0},
author=         {{Oracle Corporation}},
number=         {Part No.~800-V1.0},
month=          jun,
institution=    {Oracle Corporation},
year=           1991,
key=            {PLSQL}
}

@techreport{Infor86,
title=          {Informix-4GL Reference Manual},
author=         {{Informix Software Corp.}},
institution=    {{Informix Software Corp.}},
adddress=       {Menlo Park, CA},
year=           1986,
key=            {Infor}
}

@techreport{ESQL90,
title=          {INGRES Embedded SQL Companion Guide for C},
author=         {{Ingres Corporation}},
number=         {INGRES UNIX Release 6.3},
month=          dec,
institution=    {Ingres Corporation, 1080 Marina Village Parkway,
                 Almeda, CA 94501},
year=           1990,
key=            {ESQL}
}

@techreport{ScMa92a,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {The Database Programming Language {DBPL}: Rationale and Report},
institution=     hbg-info,
type=            fiderep,
number=          {FIDE/92/46},
year=            1992,
month=           jul,
}

@techreport{ScMa92b,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {The Database Programming Language {DBPL} - Rationale
		  and Report},
institution=     hbg-info,
type=            {Informatik Fachbericht},
number=          {FBI-HH-B-158/92},
year=            1992,
month=           nov,
keywords=        {},
abstract=	 {The database programming language DBPL is based on
notion of bulk type and iteration abstraction, supports data persistence
and transaction procedures, and has Modula-2 as its algorithmic kernel.
This document describes the rationale behind DBPL and defines the
elements of the language. \\ Note: This paper is identical to \cite{ScMa92a}.}}


@phdthesis{Matt92,
author=          {Matthes, F.},
title=           {Generic Database Programming: A Linguistic and
                  Architectural Framework},
school=          hbg-info,
month=           sep,
year=            1992,
note=            {(In German)},
abstract=        {DBPL classification, Tycoon architecture, TL intro, TL type
rules, scoping rules using de Bruijn indices, TML structural operational
semantics, TSP store protocol, excerpts from the Tycoon libraries,
add-on vs. built-in 
}}

@inproceedings{SSW92,
title=		{Identification, Genericity and Consistency in Object-Oriented 
		Databases},
author=		{Schewe, K.-D. and Schmidt, J.W. and Wetzel, I.},
booktitle=      {Database Theory -- ICDT '92},
editor=         {Biskup, J. and Hull, R.},
series=		lncs,
volume=         646,
publisher=	springer,
month=		oct,
year=		1992,
pages=          "341--356"
}

@techreport{SSW*91,
title=		{Abstract Machines Revisited},
author=		{Schewe, K.-D. and Schmidt, J.W. and Wetzel, I.
                 and Bidoit, N. and Castelli, D. and Meghini, C.},
institution=    hbg-info,
type=           fiderep,
number=         {FIDE/91/11},
month=		mar, 
year=		1991,
abstract=	{
}}

@inproceedings{ScMa91c,
title=		{Relational Database Programming: Naming, Typing and Binding},
author=		{Schmidt, J.W. and Matthes, F.},
booktitle=	{Proceedings of the 16th Programming School'91, Sofia, Bulgaria},
year=           1991,
month=          apr
}

@article{ScMa92,
title=           {Das aktuelle Schlagwort: Datenbankprogrammiersprachen},
author=          {Matthes, F. and Schmidt, J.W.},
journal=         {Informatik Spektrum},
volume=          {15},
number=          {4},
month=           aug,
year=            1992,
abstract=        {survey, database programming, type systems,
                  persistence, iteration abstraction, reflection
                  CHECK NUMBER}
}

@techreport{STWS91,
title=		{Extensible Safe Object-Oriented Design of Database Applications},
author=		{Schewe, K.-D. and Thalheim, B. and Wetzel, I. and 
                 Schmidt, J.W.},
institution=    {Universit\"at Rostock},
type=           {Technical Report},
month=		nov, 
year=		1991,
abstract=	{
}}

@book{Matt86,
title=		{Pascal mit dem C64},
author=         {Matthes, F.},
publisher=      {Markt \& Technik Verlag},
year=           1986
}

@book{Matt87a,
title=		{Pascal mit dem C128},
author=         {Matthes, F.},
publisher=      {Markt \& Technik Verlag},
year=           1987
}

@unpublished{SFMM91,
title=		{FIDE Tycoon Environment Demonstration Script},
author=		{Schmidt, J.W. and Kirch, F. and Matthes, F. and M\"ussig, S.},
month=		sep,
year=		1991,
note=		{(available through Hamburg University)}
}

@unpublished{MRSS92a,
title=		{Type-Safe FIDE / SQL Server Interfaces (Demonstration Script)},
author=		{Matthes, F. and Rudloff, A. and Schmidt, J.W. and
		 Subieta, K.},
month=		sep,
year=		1992,
note=		{(available through Hamburg University)}
}

@unpublished{HaLi92,
title=		{Explicit Polymorphism and CPS Conversion},
author=		{Harper, R. and Lillibridge, M.},
month=		jul,
year=		1992,
abstract=		{To be presented at POPL. Call by name and call by
		value semantics}
}

@unpublished{Lero92,
title=		{Polymorphism by name for references and continuations},
author=		{Leryoy, X.},
month=		jul,
year=		1992,
abstract=	{To be presented at POPL. Avoid difficulties in typing
		refs and continuations by replacing polymorphic let
		binding by a let name binding that is re-evaluated for
		every instantiation.}
}

@article{HuWa92,
	author = {Hudak, P. and Wadler, P.},
	title = {Report on the Programming Language {Haskell} Version 1.2},
	journal = {SCM SIGPLAN Notices},
	year = {1986},
	volume = {21},
	number = {7},
	pages = {219--233},
	month = jul,
	abstract = {Haskell Report (Glasgow & Yale University)  Lazy oerloading, pattern-matching list comprehensions, class system, functional IO, separate compilation}
}

@inproceedings{Mart75,
	author = {Martin-L\"{o}f, P.},
	title = {An intuitionistic theory of types: predicative part},
	booktitle = {Logic Colloquium 1973},
	year = {1975},
	publisher = {North Holland Publishing Company},
	pages = {73--118},
	address = {Amsterdam},
	editor = {Rose, H.E. and Sheperdson, J.C.},
	abstract = {intuitionistic type theory, standard reference for dependent types}
}

@book{Mart84,
	title = {Intuitionistic Type Theory},
	publisher = {Bibliopolis},
	year = {1984},
	address = {Naples},
	abstract = {Notes by Giovnni Sambin of a series of lectures
                    given in Padova, June 1980} 
}


@techreport{Matt92b,
author=          {Matthes, F.},
title=           {The {Tycoon} User Manual},
institution=     hbg-info,
type=            {DBIS Tycoon Report},
number=          {121-92},
year=            1992,
month=           oct,
note=            {(initial draft)},
abstract=        {
The purpose of this draft is to serve as a working documentation for
users of the Tycoon language \TL\ and the Tycoon programming
environment\footnote{Tycoon: Typed COmmunicating Objects in Open
eNvironmens}. The language \TL\ constitutes the core of a longer term
research project of the DBIS group at Hamburg University investigating
linguistic and architectural aspects of open database programming
environments exploiting higher-oder polymorphic languages.}}

@book{Matt93,
author=          {Matthes, F.},
title=           {Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung},
year=            1993,
publisher=       springer,
note=            {(In German)}
}

@techreport{CORBA91,
author=          {Object Management Group},
title=           {The Common Object Request Broker:
		  Architecture and Specification},
institution=     {OMG},
type=            {Document},
number=          {91.12.1, Rev. 1.1},
year=            1991,
abstract=  { Object Model, CORBA Architecture, IDL (Interface Definition
    Language) Syntax and Semantics, C Language Sub mapping, Dynamic
    Invocation Interface, The Interface Repository, ORB Interface,
    The Basic Object Adapter, Interoperability
    Digital Equipment Corporation, Hewlett-Packard Company, HyperDesk
    Corporation, NCR Corporation, Object Design Inc., SunSoft Inc. }
}

@book{Cons86,
	title = {Implementing Mathematics with the NuPRL Proof Development System},
	publisher = prentice,
	year = {1986},
	author = {Constable, R.L. et al.},
	abstract = {NuPRL theorem prover, intuitionistic type theory}
}

@techreport{CDL91,
author=		{Hewlett-Packard Company, Sun Microsystems Inc.},
title= 		{Class Definition Language Specification},
institution=	{OMG},
type=		{Document},
number=		{91.1.4.9},
year=		1991,
abstract=       { CDL Syntax, Future Directions, C language Mapping }
}

@techreport{CDL91a,
author=		{Hewlett-Packard Company, Sun Microsystems Inc.},
title= 		{Object Request Broker, RFP Joint Response},
institutiion=	{OMG},
type=		{Document},
number=		{91.1.4.8, Part No: 800-6274-01},
year=		1991,
abstract=       { Architecture, DOMF Core & Object Model Overview
    Hewlett-Packard Company, Sun Microsystems Inc.}
}

@techreport{OMG91b,
author=		{Hewlett-Packard Company, Sun Microsystems Inc.},
title= 		{Distributed Object Management Facility Core Specification},
institution=	{OMG},
type=		{Document},
number=		{91.1.4.10},
year=		1991,
abstract=       {Object Management, System Architecture, DOMF Core Operations,
    HP Implementation of Object Location Service}
}

@incollection{Mart82,
	author = {Martin-L\"{o}f, P.},
	title = {Constructive mathematics and computer programming},
	booktitle = {Logic, Methodology and Philosophy of Science, VI},
	year = {1982},
	publisher = {North-Holland},
	editor = {Cohen, L.J. and Los, J. and Pfeiffer, H. and Podewski, K.-P.},
	abstract = {Interesting? Get a copy!}
}

@book{Hype88,
	title = {HyperCard Script Language Guide: The HyperTalk Langauge},
	publisher = {Addison-Wesley},
	year = {1988},
	author = {Apple Computer Inc.},
	abstract = {Official Reference Manual}
}

@incollection{deBr80,
	author = {de Bruijn, N.G.},
	title = {A survery of the project {Automath}},
	booktitle = {To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism},
	year = {1980},
	publisher = {Academic Press},
	editor = {Hindley, J.R and Seldin, J.P.},
	address = {New York and London},
	abstract = {General remarks about mathematics with computers}
}

@book{Dumm77,
	title = {Elements of intuitionism},
	publisher = {Clarendon Press, Oxford},
	year = {1977},
	author = {Dummet, M.},
	abstract = {Introduction into intuitionistic mathematics,}
}

@incollection{Ho80,
	author = {Howard, W.A.},
	title = {The formulae-as-types notion of construction},
	booktitle = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms},
	year = {1980},
	publisher = {Academic Press, London},
	editor = {Seldin, J.P. and Hindley, J.R.},
	pages = {479-490},
	abstract = {Curry-Howard-Isomorphism}
}

@book{TrDa88,
	title = {Constructivism in Mathematics - An Introduction},
	publisher = {North-Holland},
	year = {1988},
	author = {Troelstra, A.S. and van Dalen, D.},
	volume = {121},
	series = {Studies in Logic},
	abstract = {A nice introduction into the terminology & history,
intuitionistic logic, historic overview, Logic, Arithmethic, Non-classical axioms, real numbers} 
}

@techreport{BrKa84,
	title = {A Specification of the {OSI} Transport Service in {LOTOS}},
	author = {Brinksma, E. and Karjoth, G.},
	institution = {Twente University of Technology, Enschede, The Netherlands},
	year = 1984,
	number = {26},
	abstract = {Michael Merz}
}

@techreport{ISORDA91,
	title = {Information Processing Systems -- Open System
Connection ({OSI}) -- Remote Database Access ({RDA}), Generic Model},
	author = {ISO / IEC JTC 1 / SC21/ WG 3},
	year = {1991},
	institution = {ISO 9579},
	abstract = {Standard, Protocol, Network, Distribution}
}

@techreport{ISOASN92,
	title = {{Abstract Syntax Notation One (ASN.1)}, Draft
International Standard},
	author = {ISO / IEC JTC 1 / DIS 8824},
	year = {1992},
        institution = {ISO},
	abstract = {Standard, Protocol, Network, Distribution, Types}
}

@book{Rose90,
	title = {The Open Book},
	publisher = prentice,
	year = {1990},
	author = {Rose, M.T.},
	abstract = {OSI, protocol, network, distribution,
                   p. 225-336 about ASN.1, p. 337-375 about
                    presentation services in OSI reference model}
}

@book{Papp91,
	title = {Datenbankzugriff in offenen Rechnernetzen},
	publisher = springer,
	year = {1991},
	author = {Pappe, Stefan},
	abstract = {ISO, RDA, ASN.1, databases, distribution}
}

@techreport{MRSS92,
author=          {Matthes, F. and Rudloff, A. and Schmidt, J.W. and
Subieta, K.},
title=           {The Database Programming Language {DBPL}: User and System Manual},
institution=     hbg-info,
type=            {FIDE Technical Report},
number=          {FIDE/92/47},
month=           jul,
year=            1992,
abstract=	 {The database programming language DBPL is based on the
notion of bulk type and iteration abstraction, supports data persistence
and transaction procedures, and has Modula-2 as its algorithmic kernel.
\\ This fist part of this document is intended for users of the DBPL
system and gives an introduction into the DBPL language concepts and
illustrates their use in a larger modular database application.  \\ The
second part gives some insight into the implementation of the DBPL
system. As of today, the DBPL system exists in two fully source code
compatible implementations, VAX/VMS DBPL and Sun DBPL. Both are written
entierly in Modula-2 and consist of a compilation and a run time
environment. The multi-user run time system is highly portable and runs
under VAX/VMS 6.1, SunOS 4.1, IBM AIX 3.2 and IBM OS/2.  Both DBPL
systems can be integrated deeply into commercially available software
development environments (NSE, SCCS, CMS) and provide optimized
transactional multi-user access not only to type-complete DBPL databases
but also to external relational databases via a fully transparent SQL
gateway.  }}

@techreport{MRSS92b,
author=          {Matthes, F. and Rudloff, A. and Schmidt, J.W. and
Subieta, K.},
title=           {A Gateweay from {DBPL} to {Ingres}},
institution=     hbg-info,
type=            fiderep,
number=          {FIDE/92/54},
year=            1992,
month=           nov,
abstract=	 {
}}

@techreport{STW92,
author=          {Schewe, K.-D. and Thalheim, B. and Wetzel, I.},
title=           {Foundations of Object-Oriented Database Concepts},
institution=     hbg-info,
type=            {Informatik Fachbericht},
number=          {FBI-HH-B-157/92},
year=            1992,
month=           nov,
abstract= {Mit der Entwicklung objektorientierter Datenbanken (OODBn)
sollen die vielfach bemerkten Restriktionen des relationalen
Datenmodells \"uberwunden werden. Im Gegensatz zu diesem fehlt den
Konzepten objektorientierter Datenbanken bisher aller\-dings sowohl eine
zufriedenstellende formale Grundlage als auch ein allgemein akzeptiertes
Datenmodell.  \\ Ziel unserer gemeinsamer Forschungsarbeiten in Hamburg
und Rostock ist die Entwicklung eines formal abgesicherten
objektorientierten Datenmo\-dells (OODM) als Beitrag zu einer
einheitlichen mathematischen Theorie f\"ur OODBn.  \\ Grundlegend f\"ur
das OODM ist die Unterscheidung zwischen Werten und
 Objekten. Erstere werden durch Typen, letztere durch Klassen
strukturiert. Ein zentrales Problem ist dabei die Bereitstellung
eindeutiger Identifikationsmechanismen f\"ur Objekte. Wir l\"osen dieses
Problem f\"ur Klassen, deren Objekte durch Werte vollst\"andig
repr\"asentiert werden k\"onnen. Solche Klassen werden dann als
werterepr\"asentierbar bezeichnet. Da eine Datenbank zu jedem Zeitpunkt
nur endlich viele Objekte enthalten kann, ist Werterepr\"asentierbarkeit
unter bestimmten Voraussetzungen entscheid\-bar, n\"amlich, wenn endlich
repr\"asentierbare rekursive Typen existieren und alle
benutzerdefinierten Integrit\"atsbedingen sog.  uniqueness constraints
sind.\\ Ein Vorteil relationaler Datenbanken ist die Existenz eindeutig
durch das Datenbankschema definierter generischer
Ver\"anderungsoperationen. Wir zeigen, da\ss \ diese Eigenschaft im OODM
nur f\"ur werterepr\"asentierbare Klassen gilt. In diesem Fall aber wird
sichergestellt, da\ss \ implizit durch das Schema gegebene Referenz- und
Inklusions\-integrit\"atsbedingungen automatisch bewahrt werden. Wir
geben einen Algorithmus zur Erzeugung dieser generischen Operationen an
und zeigen, da\ss \ dieser durch linguistische Reflexion implementierbar
ist.  \\ Dieses Ergebnis l\"a\ss t sich auf aus\-ge\-zeichnete Klassen
statischer Integrit\"atsbedingungen erweitern. Wir zeigen sogar, da\ss \
Integrit\"atserzwingung im allgemeinen durch die Konstruktion gr\"o\ss
ter konsistenter Spezialisierungen (GCS) m\"oglich ist. F\"ur eine
beliebige Methode $S$ und eine statische oder
Transitionsintegrit\"atsbedingung $\cal I$ kann gezeigt werden, da\ss \
die GCS $S_{\cal I}$ immer existiert und bis auf semantische
\"Aquivalenz auch eindeutig ist. Mehr noch, GCSn sind mit Konjunktionen
von Integrit\"atsbedingungen, Vererbung und Verfeinerung kompa\-tibel.
F\"ur benutzerdefinierte Transaktionen ist es allerdings nicht
ausreichend, die hier\-in vorkommenden einfachen
Ver\"anderungsoperationen jeweils durch ihre GCSn zu ersetzen.}}

@unpublished{MeLa93,
title=		{Generic Interfaces to Remote Applications in Open Systems},
author=		{Merz, M. and Lamersdorf, W.},
month=		mar,
year=		1993,
note=		{(to appear in Proc. IFIP Workshop on Interfaces in
		  Industial Systems for Production and Engineering)},
keywords=	{Distributed Systems, Communications Applications, Information Interfaces and Presentation, General},
abstract=	{ Future industrial production and engineering environments will profit substantially from emerging open distributed computer communication network  environments. They will, in principle, be able to benefit from a high potential of services  available in such environments to support individual client applications. 
In practice, however, free and flexible client/ server cooperations are frequently hindered by the great and confusing variety of interfaces involved in accessing various and heterogeneous network services. In order to support open client/ server cooperations in distributed systems, this contribution proposes a unifying description mechanism for remote services in computer networks. It describes an application oriented generic communication service, which facilitates client/ server cooperation in open systems. 
The most important basis for such a service is a uniform service specification mechanism for open server interfaces. Correspondingly, the paper first specifies a specific service interface description language (SIDL). It then shows how such a service interface description could also be used for automatic creation of server-specific local human user interfaces. In combination, a generic network interface description language (NIDL)  specification, as proposed here, supports client applications in open systems by providing a common mechanism to access and utilize any service available anywhere in the network.
}}

@inproceedings{ScMa93,
title=          {Lean Languages and Models: Towards an Interoperable
		 Kernel for Persistent Object Systems},
author=		{Schmidt, J.W. and Matthes, F.},
year=		1993,
booktitle=      {Proceedings of the IEEE International
		 Workshop on Research Issues in Data Engineering,
                 Interoperability in Multidatabase Systems},
address=        {Vienna, Austria}, 
pages=          {2--16},
month=          apr,
keywords=       {Tycoon, DBPL, Modules, Signatures, Bindings,
                 Gateway},
abstract=	{Reliable interoperation between independently developed
systems frequently requires type-safe access to persistent data objects
and generic services while today's system architectures and
interoperation tools still focus primarily on store-level access to
volatile data and simple monomorphic or untyped services.  \\ In this
paper, we summarize our experience gained in a long-term project that
provides persistence abstractions and generic database support in a
strongly typed database environment which includes optimizing gateways
to commercial relational database servers and module-based distributed
programming tools. To keep the presentation focussed, we make use of a
uniform language model based on higher-order polymorphic types to
capture the essential interoperation semantics including classical
cross-language calling mechanisms, remote procedure call models as well
as relational and object-based database gateways.  \\ This uniform
language model is also the conceptual core of the Tycoon database
environment being developed at Hamburg University. Tycoon lifts
Persistent Object System interoperability to a higher level of
genericity and precision while further reducing overall system
complexity by a lean approach to languages and models for data,
execution and storage.  \\ Since it is central to the concept of lean
production to substantially reduce production penetration by importing
and reusing external services, interoperability is crucial to our
approach.}}

@techreport{CoHu86,
	title = {The Calculus of Constructions},
	author = {Coquand, T. and Huet, G.},
	institution = {INRIA},
	year = {1986},
	type = {Technical Report},
	number = {530},
	abstract = {Calculus of Constructions / intuitionistic type theory, there is a new report}
}

@inproceedings{Send82,
  author = {Sendberg, D.},
  title = {{LITHE:} A language combining a flexible syntax and classes},
  booktitle = popl82,
  organization = {{ACM}},
  year = 1982,
  pages = "142--145"
}

@phdthesis{Kohl86,
  author = {Kohlbecker, E.E.},
  title = {Syntactic extensions in the programming language {LISP}},
  school = {Indiana University},
  year = 1986
}

@manual{TRPL90,
  author = {Sheard, T.},
  title = {A user's guide to {TRPL}: {A} compile-time reflective
  programming language},
  institution = {University of Massachussetts},
  year = 1990
}

@inproceedings{PiTu93,
  author = {Pierce, B. and Turner, D.},
  title = {Object-Oriented Programming without Recursive Types},
  booktitle = popl93,
  organization = {{ACM}},
  year = 1993,
  pages = "299--312"
}

@article{Gall74,
  author = "B. Galler",
  title = "Extensible languages",
  journal = "Information Processing",
  year = 1974,
  pages = "313--316"
}

@article{Wass75,
  author = "A. I. Wasserman",
  title = "Issues in programming language design --- an overview",
  journal = SIGPLAN,
  volume = 10,
  number = 7,
  month = jul,
  year = 1975,
  pages = "10--11"
}

@article{Stan75,
  author = "T. A. Standish",
  title = "Extensibility in language design",
  journal = SIGPLAN,
  volume = 10,
  number = 7,
  year = 1975,
  pages = "18--21"
}

@article{MaJa89,
  author = "Matos, V.M. and Jalics, P.J.",
  title = "An Experimental Analysis of the Performance of 4GL Tools on PCs",
  journal = CACM,
  volume = 32,
  number = 11,
  year = 1989,
  pages = "1340-1352",
  abstract = {4GL, Condor 3, PC-Focus, dBase, Oracle, Informix-4GL,
              Paradox, R:base}
}

@article{LLOW92,
  author = "Lamb, C. and Landis, G. and Orenstein, J. and Weinreb, D.",
  title = "The ObjectStore Database System",
  journal = CACM,
  volume = 34,
  number = 10,
  year = 1992,
  pages = "50--64",
  abstract = {Object Design, ObjectStore, OODBMS, DML, DDL}
}

@inproceedings{MaRa92,
title=          {Parsers in ML},
author=         {Mauny, M. and Rauglaudre, D.},
year=           1992,
booktitle=      {ACM Conference on Lisp and Functional Programming},
abstract=       {Parsers, Macros}}

@inproceedings{K*86,
title=          {Hygienic macro expansion},
author=         {Kohlbecker, E. and Friedman, D.P. and Felleisen, M. and
                 Duba, B.},
year=           1992,
booktitle=      {ACM Conference on Lisp and Functional Programming},
abstract=       {Lisp, Macros}}

@inproceedings{K*86,
title=          {Hygienic macro expansion},
author=         {Kohlbecker, E. and Friedman, D.P. and Felleisen, M. and
                 Duba, B.},
year=           1992,
booktitle=      {ACM Conference on Lisp and Functional Programming},
abstract=       {Lisp, Macros}}

@unpublished{BrMi91,
title=          {PER models of subtyping, recursive types and 
                 higher-order polymorphism (Extended Abstract)},
author=		{Bruce, K. and Mitchell, J.},
year=		1991,
note=	        {(Luca has a copy)},
key=		{BrMi91},
keywords=       {Categorical models}
}

@phdthesis{Mitc84,
author=          {Mitchell, J.C.},
title=           {Lambda Calculus Models of Typed Programming Languages},
school=          {Massachusetts Institute of Technology},
year=            1984,
abstract=        {Second-order lambda calculus. Higher-order lambda
                  calculus. Higher-order type theory. Type inference
                  models.}
}

% ----

@inproceedings{SMV93,
title=          {Building Persistent Application Systems in Fully
Integrated Data Environments: Modularization, Abstraction and Interoperability},
author=         {Schmidt, J.W. and Matthes, F. and Valduriez, P.},
editor=         {Spies, P.P.},
year=           1993,
booktitle=      {Proceedings Euro-Arch'93},
abstract=       {DBPL Interoperability, Link to Distributed DBMS}
}

@inproceedings{MaSc93,
title=          {System Construction in the Tycoon Environment:
                 Architectures, Interfaces and Gateways},
author=         {Matthes, F. and Schmidt, J.W.},
editor=         {Spies, P.P.},
year=           1993,
booktitle=      {Proceedings Euro-Arch'93},
abstract=       {Tycoon, 3GL, 4GL, Application Framework, Persistent
Higher-Order Languages}
}

@inproceedings{CMA93,
title=          {Extensible Grammars for Language Specialization},
author=         {Cardelli, L. and Matthes, F. and Abadi, M.},
year=           1993,
booktitle=      {Proceedings of the Fourth Workshop on Database Programming Languages},
address=        {Manhatten, NY},
publisher=      springer,
note=           {To appear}
}

@phdthesis{Bark90,
author=          {Barker, K.},
title=           {Transaction Management on Multidatabase Systems},
school=          {Department of Computing Science, University of
                  Alberta, Edmonton, Alberta, Canada},
year=            1990,
note=            {available as Technical Report TR90-23}
}

@inproceedings{BaOz91,
author=         {Barker, K. and \"Ozsu, M.T.},
title=          {Reliable Transaction Execution in Multidatabase Systems},
year=           1991,
booktitle=      {Proc. 1st Int. Workshop on Interoperability in Multidatabase
                 Systems},
address=        {Kyoto, Japan}
}

@article{Bern90,
  author = {Bernstein, P.A.},
  title = {Transaction Processing Monitors},
  journal = CACM,
  volume = 3,
  number = 11,
  year = 1990,
  pages = "75--86",
}

@inproceedings{BrSi88,
author=         {Breibart, Y. and Silberschatz, A.},
title=          {Multidatabase Update Issues},
year=           1988,
booktitle=      sigmod88,
month=          jun
}

@article{DaWa84,
  author = {Dayal, U. and Wang, H.Y.},
  title =  {View Definition and Generalization for Database  System
            Integration in a Multidatabase System},
  journal = tose,
  month = nov,
  volume = {SE-10},
  number = 6,
  year = 1984,
  pages = "628--645",
}

@inproceedings{DuEl89,
author=         {Du, W. and Elmagarmid, A.},
title=          {Quasi-Serializability: A Correctness Criterion for
                 Global Concurrency Control in InterBase},
year=           1989,
booktitle=      vldb89,
month=          aug
}

@inproceedings{GaKo88,
author=         {Garcia-Molina, H. and Kogan, B.},
title=          {Node Autonomy in Distributed System},
year=           1988,
address=        {Austin, TX},
booktitle=      {Proc.\ Int.\ Symp.\ on Databases in Parallel and Distributed Systems},
month=          dec
}

@phdthesis{Geor90,
author=          {Georgakopoulos, D.},
title=           {Transaction Management on Multidatabase Systems},
school=          {Department of Computer Science, University of Houston, TX},
year=            1990
}

@inproceedings{Geor91,
author=         {Georgakopoulos, D.},
title=          {Multidatabase Recoverability and Recovery},
year=           1991,
booktitle=      {Proc. 1st Int. Workshop on Interoperability in Multidatabase
                 Systems},
address=        {Kyoto, Japan}
}

@inproceedings{HeZd90,
author=         {Heiler, S. and Zdonik, S.},
title=          {Object Views: Extending the Vision},
year=           1990,
booktitle=      dataeng90
}

@article{LiAb87,
  author = {Litwin, W. and Abdellatif, A.},
  title =  {An Overview of the Multidatabase Manipulation Language MDL},
  journal = {Proc. IEEE},
  month = may,
  volume = 75,
  number = 5,
  year = 1987,
  pages = "621--631",
}

@article{Mano90,
  author = {Manola, F.},
  title =  {Object-Oriented Knowledge Bases -- Parts I and II},
  journal = {AI Exepert},
  month = {March and April},
  pages = "26--36, 46--57",
  year = 1990
}

@inproceedings{MoBu81,
author=         {Motro, A. and Buneman, P.},
title=          {Constructing Superviews},
year=           1981,
booktitle=      sigmod81,
pages=          "56--64"
}

@book{OzVa91,
	author = {{\"O}zsu, M.T. and Valduriez, P.},
	publisher = prentice,
	year = {1991},
	title = {Principles of Distributed Database Systems},
}

@incollection{OzVa93,
	author = {{\"O}zsu, M.T. and Valduriez, P.},
	title = {Distributed Data Management: unsolved problems and new issuses},
	booktitle = {Readings in Distributed Computing},
	year = {1993},
	publisher = {IEEE Computer Society Press},
	editor = {Casavant, T. and Singhal, M.}
}

@article{ScYu90,
  author = {Scheuermann, P. and Yu, C.},
  title =  {Report of the Workshop on Heterogeneous  Database Systems},
  journal = {IEEE Quarterly Bulletin Database Engineering},
  month = dec,
  volume = 13,
  number= 4,
  pages = "3--11",
  year = 1990
}

@techreport{SSU90,
	author = {Silberschatz, A. and Stonebraker, M. and Ullman, J.D.},
	title = {Database  Systems: Achievements and Opportunities,
                 Report of the NSF Invitational  Workshop on
                 the Future of Database Systems Research},
	institution = {Department of Computer Science, The University 
                       of Texas at Austin, TX},
	year = {1990},
	type = {Technical Report},
	number = {TR-90-22}
}

@article{Ston90a,
  author = {Stonebraker, M.},
  title =  {Architecture of Future Data Base Systems},
  journal = {IEEE Quarterly Bulletin Database Engineering},
  month = dec,
  volume = 13,
  number= 4,
  pages = "18--23",
  year= 1990
}

@inproceedings{Tayl87,
author=         {Taylor, R.W.},
title=          {Data Server Architectures: Experiences and Lessons},
year=           1987,
booktitle=      {Proc.\ CIPS (Canadian Information Processing Society) Edmonton '87 Conf.},
pages=          "334--342"
}

@inproceedings{WoVe90,
author=         {Wolski, A. and Veijalainen, J.},
title=          {2PC Agent Method: Achieving Serializability in  Presence of Failures
                 in a Heterogeneous Multidatabase},
year=           1990,
booktitle=      {Proc. Int. Conf. on Databases, Parallel Architectures and their Applications},
address=        {Miami Beach, FL},
pages=          "321--330"
}

@incollection{ScMa93a,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {Modular and Rule-Based Database Programming in DBPL},
pages=           {85--124},
editor=          {Jarke, M.},
booktitle=       {Database Application Engineering with DAIDA},
series=          rresprit,
publisher=       springer,
year=            1993,
abstract=        {DBPL, Constructors}
}