%ARTICLE.DTB
%1
%
%Artikel
%2
%
%TitelSeite/Vorblatt
 
%-
%
%3
%
%1. Kapitel
%4
\clearpage\section{%
%Kapitelberschrift
 
@techreport{A+89,
author="Atkinson,M. et al.",
title="The Object-Oriented Database System Manifesto",
number="30-89",
institution="GIP Altair, Domaine de Voluceau Rocquencourt 78153 Le Chesnay",
month="September",
year="1989"}
@article{BP92,
author="Piza,B.",
title="{Termsubsumption mit Typkonstruktoren} (in {G}erman)",
journal="{M.Sc.} thesis, {University of Hamburg}",
month="April",
year="1992"}
@article{AB87,
author="Atkinson,M.P. and Buneman,P.",
title="Types and Persistence in Database Programming Languages",
journal="ACM Computing Surveys",
volume="19",
number="2",
month="June",
pages="105-190",
year="1987"}
@inproceedings{KDS89,
author="Schewe,K.-D.",
title="Variant Construction Using Constraint Propagation Techniques over Semantic Networks",
booktitle="Proc. 5th Austrian AI Conference",
publisher="Springer IFB 208",
address="Innsbruck, Austria",
year="1989",
pages="188-197"}
@incollection{Abr74,
author="Abrial,J.R",
title="Data semantics",
editor="Klimbie,J.W. and Koffeman,K.L.",
booktitle="Data Base Management",
publisher="North Holland",
address="Amsterdam",
year="1974"}
@article{ACO85,
author="Albano,A. and Cardelli,L. and Orsini,R.",
title="Galileo: A Strongly- Typed, Interactive Conceptual Language",
journal="ACM Transactions on Database Systems",
volume="10",
number="2",
month="June",
pages="230-260",
year="1985"}
@inproceedings{ADG+89,
author="Albano,A. and Dearle,A. and Ghelli,G. and Marlin,Ch. and Morrison,R. and Orsini,R.",
title="A Framework for Comparing Type Systems for Database Programming Languages",
booktitle="Proc. of the 2nd Intern. Workshop on Database Programming Languages",
pages="203-212",
address="Portland, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@inproceedings{ADGo89,
author="Albano,A. and Dearle,A. and Ghelli,G. and other",
title="A Framework for Comparing Type Systems for Database Programming Languages",
booktitle="Proc. of the 2nd Intern. Workshop on Database Programming Languages",
pages="203-212",
address="Salishan Lodge, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@inproceedings{AG89,
author="Agrawal,R. and Gehani,N.H.",
title="ODE (Object Database and Environment): The Language and the Data Model",
booktitle="ACM-SIGMOD Intern. Conf. on the Management of Data",
pages="36-45",
address="Portland, Oregon",
Publisher="ACM Press",
year="1989"}
@inproceedings{AGO89,
author="Albano,A. and Ghelli,G. and Orsini,R.",
title="Types for Databases: The Galileo Experience",
booktitle="Proc. of the 2nd Intern. Workshop on Database Programming Languages",
pages="196-207",
address="Salishan Lodge, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@techreport{AGOO88,
author="Albano,A. and Ghelli,G. and Occhiuto,M.E. and Orsini,R.",
title="The Galileo Reference Manual",
number="vol. 2",
institution="Dipartimento di Informatica, Universit\'{a} di Pisa",
month="February",
year="1988"}
@incollection{AGOP88,
author="Albano,A. and Gianotti,F. and Orsini,R. and Pedreschi,D.",
title="The Type System of Galileo",
editor="Morrison,R. and Atkinson,M.P. and Buneman,P.",
booktitle="Data Types and Persistence",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1988"}
@article{AH87,
author="Abiteboul,S. and Hull,R.",
title="{IFO}: A Formal Semantic Database Model",
journal="ACM Computing Surveys",
volume="12",
number="4",
month="December",
pages="525-565",
year="1987"}
@article{AH88,
author="Abiteboul,S. and Hull,R.",
title="Restructuring Hierarchical database Objects",
journal="Theoretical Computer Science",
year="1988"}
@incollection{AK88,
author="Ait-Kaci,H.",
title="Intergrating Data Type Inheritance into Logic Programming",
editor="Morrison,R. and Atkinson,M.P. and Buneman,P.",
booktitle="Data Types and Persistence",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1988"}
@inproceedings{Alb83,
author="Albano,A.",
title="Type Hierarchies and Semantic Data Models ",
booktitle="ACM-SIGPLAN'83 Symposium on Programming Language Issues in Software Systems",
pages="178-186",
address="San Francisco",
year="1983"}
@incollection{Alb87,
author="Albano,A.",
title="Conceptual Languages: A Comparison of ADAPLEX, GALILEO and Taxis",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1987"}
@article{All83,
author="Allen,J.F.",
title="Maintaining Knowledge about Temporal Intervals",
journal="Comm. of the ACM",
volume="26",
number="11",
pages="832-843",
year="1983"}
@article{All84,
author="Allen,J.F.",
title="Towards a General Theory of Action and Time ",
journal="Artificial Intelligence",
volume="23",
pages="123-154",
year="1984"}
@inproceedings{BA86,
author="Buneman,P. and Atkinson,M.P.",
title="Inheritance and Persistence in Database Programming Languages",
booktitle="Proc. of SIGMOD Conf. ",
address="Washington",
year="1986"}
@inproceedings{BB84,
author="Bartory,D.S. and Buchmann,A.P.",
title="Molecular Objects, ADT's and DM's",
booktitle="VLDB ",
year="1984"}
@techreport{BB91,
author="Borgida,A. and Brachman,R.",
title="The Architecture of an Extensible Terminological Logic System",
institution={Rutgers University und AT T Bell Laboratories},
month="April",
year="1991"}
@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="ACM-SIGMOD Intern. Conf. on the Management of Data",
pages="58-67",
address="Portland, Oregon",
Publisher="ACM Press",
year="1989"}
@inproceedings{BBS88,
author="Bergamaschi,S. and Bonfatti,F. and Sartori,C.",
title="Entity-Situation: A Model for the Knowledge Representation Module of a KBMS",
booktitle="EDBT'88",
volume="303",
series="Lecture Notes in Computer Science",
pages="578-582",
Publisher="Springer-Verlag",
year="1988"}
@inproceedings{BDM88,
author="Bry,F. and Decker,H. and Manthey,R.",
title="A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases",
booktitle="EDBT'88",
volume="303",
series="Lecture Notes in Computer Science",
pages="488-505",
Publisher="Springer-Verlag",
year="1988"}
@article{BFL83,
author="Brachman,R. and Fikes,R. and Levesque,H.",
title="{KRYPTON}: A Functional Approach to Knowledge Representation",
journal="IEEE Computer",
volume="16",
number="11",
year="1983"}
@inproceedings{BGL85,
author="Brachman,R.J. and Gilbert,V.P. and Levesque,H.",
title="An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON",
booktitle="Proc. of IJCAI-85",
pages="532-539",
year="1985"}
@article{BG86,
author="Bic,L. and Gilbert,J.P.",
title="Learning from AI: New Trends in Database Technology",
journal="IEEE Computer",
volume="19",
number="1",
year="1986"}
@article{BGM85,
author="Borgida,A. and Greenspan,S. and Mylopoulos,J.",
title="Knowledge Representation as a Basis for Software Specification",
journal="IEEE Computer",
volume="18",
number="1",
year="1985"}
@incollection{BJM89,
author="Borgida,A. and Jarke,M. and Mylopoulos,J. and Schmidt,J.W. and Vassiliou,Y.",
title="The Software Development Environment as A Knowledge ase Management System",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1989"}
@techreport{BKMS89,
author="Borgida,A. and Koubarakis,M. and Mylopoulos,J. and Stanley,M.",
title="Telos: A Knowledge Representation Language for Requirements Modeling",
number="KRR-TR-89-1",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="Januar",
year="1989"}
@inproceedings{BL84,
author="Brachman,R.J. and Levesque,H.J.",
title="The Tractability of Subsumption in Frame-Based Description Languages",
booktitle="Proc. of the 4nd National Conference of the American Assoc. for AI",
pages="34-37",
address="Austin, Texas",
month="August",
year="1984"}
@incollection{BM87,
author="Brodie,M. and Manola,F.",
title="Database Management: A Survey",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1987"}
@incollection{BMW84,
author="Borgida,A. and Mylopoulos,J. and Wong,H.K.T.",
title="Generalisation/Specialisation as a Basis for Software Specification",
editor="Mylopoulos,J. and Brodie,M. and Schmidt,J.W.",
booktitle="On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languanges",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1984"}
@article{BN78,
author="Biller,H. and Neuhold,E.",
title="Semantics of Databases: The Semantics of Data Models",
journal="Information Systems",
volume="3",
year="1978"}
@incollection{BN87,
author="Bibel,W. and Nicolas,J.M.",
title="The Role of Logic for Data and Knowledge Bases: A Brief Survey",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1987"}
@incollection{BO87,
author="Bubenko,J.A. and Orci,I.P.",
title="Knowledge Base Management Systems: A Database View",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1987"}
@incollection{Bor86,
author="Borgida,A.",
title="Survey of Conceptual Modeling of Information Systems",
editor="Mylopoulos,J. and Brodie,M.",
booktitle="On Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1986"}
@article{Bor87,
author="Borgida,A.",
title="Flexible Mechanisms for Handeling Exceptions in Information Systems",
journal="ACM Transactions on Database Systems",
volume="10",
number="4",
pages="565-603",
year="1987"}
@incollection{Bor88a,
author="Borgida,A.",
title="Class Hierarchies in Information Systems: Sets, Types or Prototypes",
editor="Morrison,R. and Atkinson,M.P. and Buneman,P.",
booktitle="Data Types and Persistence",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1988"}
@inproceedings{Bor88b,
author="Borgida,A.",
title="Modeling Class Hierarchies with Contradictions",
booktitle="Proc. of SIGMOD Conf.",
address="San Francisco",
year="1988"}
@techreport{Bor91,
author="Borgida,A.",
title="Frames as Terms and Types ({Initial Investigations})",
institution="Rutgers University",
year="1991"}
@inproceedings{BPP76,
author="Bracchi,G. and Padini,P. and Pelagatti,G.",
title="Binary Logical Associations in Data Modeling",
booktitle="IFIP TC-2 Working Conference",
address="Black Forest",
year="1976"}
@incollection{BR84,
author="Brodie,M. and Ridjanovic,D.",
title="On the Design and Specification of Database Transactions",
editor="Mylopoulos,J. and Brodie,M. and Schmidt,J.W.",
booktitle="On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languanges",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1984"}
@techreport{Bra78,
author="Brachman,R.",
title="A structural paradigm for representing knowledge",
number="3605",
institution="Cambridge University, Cambridge",
year="1978"}
@incollection{Bra79,
author="Brachman,R.",
title="On the Epistemological Status of Semantic Networks",
editor="Findler,N.V.",
booktitle="Associative Networks",
publisher="Academic Press",
address="New York",
year="1979"}
@book{Bra86,
author="Bratko,I.",
title="Prolog Programming for Artificial Intelligence",
publisher="Addison-Wesley Publishing Co.",
address="Mass.",
year="1986"}
@incollection{Bro84,
author="Brodie,M.",
title="On the Development of Data Models",
editor="Mylopoulos,J. and Brodie,M. and Schmidt,J.W.",
booktitle="On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languanges",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1984"}
@article{BS85,
author="Brachman,R. and Schmolze,J.G.",
title="An Overview of the {KL-ONE} Knowledge Representation System",
journal="Cognitive Science",
volume="9",
number="2",
year="1985"}
@inproceedings{BTBO89,
author="Breazu-Tannen,V. and Buneman,P. and Ohori,A.",
title="Can Object-Oriented Databases be Statically Typed ?",
booktitle="Proc. of the 2nd Intern. Workshop on Database Programming Languages",
pages="226-237",
address="Salishan Lodge, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@incollection{Bun88,
author="Buneman,P.",
title="Data Types for Database Programming",
editor="Morrison,R. and Atkinson,M.P. and Buneman,P.",
booktitle="Data Types and Persistence",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1988"}
@article{BW77,
author="Bobrow,D.G. and Winograd,T.",
title="An Overview of KRL: A Knowledge Representation Language",
journal="Cognitive Science",
volume="1",
number="1",
year="1977"}
@inproceedings{BW87,
author="Bruce,K.B. and Wegner,P.",
title="An Algebraic Model of Subtype and Inheritance",
booktitle="Workshop on Database Programming Languages, Roscoff, France",
year="1987"}
@inproceedings{Car84,
author="Cardelli,L.",
title="A Semantics of Multiple Inheritance",
booktitle="Semantics of Data Types, Intern. Symposium",
pages="51-69",
year="1984"}
@inproceedings{Car88,
author="Cardelli,L.",
title="Types for Data-Oriented Languages",
booktitle="EDBT'88",
volume="303",
series="Lecture Notes in Computer Science",
pages="578-582",
Publisher="Springer-Verlag",
year="1988"}
@techreport{Car89,
author="Cardelli,L.",
title="Typeful Programming",
institution={Digital Research Center},
address="Palo Alto",
year="1989"}
@book{CGT90,
author="Ceri,S. and Gottlob,G. and Tanca,L.",
title="Logic Programming and Databases",
publisher="Springer-Verlag",
address="N.Y., Berlin u.a.",
year="1990"}
@inproceedings{CHC90,
author="Cook,W.R. and Hill,W.L. and Canning,P.S.",
title="Inheritance is not Subtyping",
booktitle="Proc. of Symposium on Programming Languages",
pages="125-135",
year="1990"}
@article{Che76,
author="Chen,P.P.-S.",
title="The Entity-Relationship Model: Towards a Unified View of Data",
journal="ACM Transactions on Database Systems",
volume="1",
number="1",
year="1976"}
@book{Che85,
author="Chen,P.P.S.",
title="The Use of the ER Concept in Knowledge Representation",
publisher="North-Holland",
address="Amsterdam",
year="1985"}
@techreport{CKM+89,
author="Chung,K.L. and Katalagarianos,P. and Marakakis,M. and Mertikas,M.",
title="From Information System Requirements to Designs: A Mapping Framework",
number="CSRI-53",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="November",
year="1989"}
@techreport{CL90,
author="Cardelli,L. and Longo,G.",
title="A semantic basis for Quest",
number="Digital Systems Research Center Reports 55",
institution="DEC SRC, Palo Alto",
month="March",
year="1990"}
@book{CM84,
author="Clocksin,W.F. and Mellish,C.S.",
title="Programming in Prolog",
publisher="Springer-Verlag",
address="New York u.a.",
year="1984"}
@article{Cod70,
author="Codd,E.F.",
title="A relational model of data for large shared data banks",
journal="Communications of the ACM",
volume="13",
number="6",
pages="377-387",
year="1970"}
@article{Cod79,
author="Codd,E.F.",
title="Extending the Database Relational Model to capture more Meaning",
journal="ACM Transactions on Database Systems",
volume="4",
number="4",
year="1979"}
@book{CRMD80,
author="Charniak,E. and Riesbeck,C.K. and McDermott,D.",
title="Artificial Intelligence Programming",
publisher="Erlbaum-Hillsdale",
address="N.J.",
year="1980"}
@article{CW85,
author="Cardelli,L. and Wegner,P.",
title="On Understanding Types, Data Abstraction and Polymorphism",
journal="ACM Computing Surveys",
volume="17",
number="4",
month="Dezember",
year="1985"}
@book{Dat90,
author="Date,C.J.",
title="An Introduction to Database Systems",
volume="I,II",
publisher="Addison-Wesley",
year="1990"}
@article{Doy79,
author="Doyle,J.",
title="A Truth Maintenance System",
journal="Artificial Intelligence",
volume="",
number="12",
month="Dezember",
year="1979"}
@incollection{DS86,
author="Dayal,U. and Smith,J.M.",
title="PROBE: A Knowledge-Oriented Database Management System",
editor="Mylopoulos,J. and Brodie,M.",
booktitle="On Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1986"}
@article{DT88,
author="Danforth,S. and Tomlinson,Ch.",
title="Type Theories and Object-Oriented Programming",
journal="ACM Computing Surveys",
volume="20",
number="1",
month={M"arz},
year="1987"}
@article{GBM86,
author="Greenspan,S.J. and Borgida,A. and Mylopoulos,J.",
title="A Requirements Modeling Language and its Logic",
journal="Information Systems",
volume="11",
number="1",
year="1986"}
@article{GMN84,
author="Gallaire,H. and Minker,J. and Nicolas,J.M.",
title="Logic and Databases: A Deductive Approach",
journal="ACM Computing Surveys",
volume="16",
number="2",
pages="154-185",
year="1984"}
@techreport{DAI87,
author="DAIDA group",
title="Final Version on TDL Design",
number="Esprit-Projekt 892 WP/DES 1.2",
institution={Fachbereich Informatik, Johann Wolfgang Goethe Universit\"at},
year="1987"}
@article{HK87,
author="Hull,R. and King,R.",
title="Semantic Database Modeling: Survey, Applications and Research Issues",
journal="ACM Computing Surveys",
volume="19",
number="3",
month="September",
year="1987"}
@article{HM81,
author="Hammer,M. and McLeod,D.",
title="Database Description with SDM: A Semantic Database Model",
journal="ACM Computing Surveys",
volume="6",
number="3",
month="September",
year="1981"}
@inproceedings{HS89,
author="Hull,R. and Su,J.",
title="On Bulk Data Type Constructores and Manipulation Primitives: A Framework for Analyzing Expressive Power and Complexity",
booktitle="ACM-SIGMOD Intern. Conf. on Management of Data",
pages="396-410",
address="Portland, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@article{Hud89,
author="Hudak,P.",
title="Conception, Evolution and Application of Functional Programming Languages",
journal="ACM Computing Surveys",
volume="21",
number="3",
pages="359-411",
month="September",
year="1989"}
@article{Hue80,
author="Huet, G.",
title="Confluent reductions: Abstract properties and application to term rewriting systems",
journal="Journal of the ACM ",
volume="27",
number="4",
year="1980"}
@incollection{Hul87,
author="Hull,R.",
title="A survey of theoretical research in typed complex database objects",
editor="Paredaens,J.",
booktitle="Database",
publisher="Academic Press",
address="London",
year="1987"}
@article{HY84,
author="Hull,R. and Yap,C.K.",
title="The format model: a theory of database organization",
journal="ACM Computing Surveys",
volume="21",
number="3",
pages="359-411",
month="September",
year="1989"}
@inproceedings{Jac89,
author="Jacobs,D.",
title="A Type System for Algebraic Database Programming Languages",
booktitle="ACM-SIGMOD Intern. Conf. on Management of Data",
pages="238-247",
address="Portland, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@techreport{JK89,
author="Jarke,M. and Koubarakis,M.",
title="Query Optimazation in KBMS",
number="KRR-TR-89-6",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="April",
year="1989"}
@inproceedings{Jo88,
author="Johannsen,W. and other",
title="The DURESS Project: Extending Databases into an Open Systems Architecture",
booktitle="EDBT'88",
volume="303",
series="Lecture Notes in Computer Science",
pages="616-620",
Publisher="Springer-Verlag",
year="1988"}
@book{Ken78,
author="Kent,W.",
title="Data and Reality",
publisher="North-Holland",
address="Amsterdam",
year="1978"}
@article{Ken79,
author="Kent,W.",
title="Limitations of Record-Based Information Models",
journal="ACM Transactions on Database Systems",
volume="4",
number="1",
pages="107-131",
year="1979"}
@incollection{KM84,
author="King,R. and McLeod,D.",
title="A unified model and methodology for conceptual database design",
editor="Mylopoulos,J. and Brodie,M. and Schmidt,J.W.",
booktitle="On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languanges",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1984"}
@incollection{KM85,
author="King,R. and McLeod,D.",
title="Semantic Data Models",
editor="Yao,S.B.",
booktitle="Principles of Database Design: Logical Organizations",
volume="I",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1985"}
@techreport{KMSB89,
author="Koubarakis,M. and Mylopoulos,J. and Stanley,M. and Borgida,A.",
title="Telos: Features and Formalization",
number="KRR-TR-89-4",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="Februar",
year="1989"}
@techreport{KMSJ88,
author="Koubarakis,M. and Mylopoulos,J. and Stanley,M. and Jarke,M.",
title="Telos: A Knowledge Representation Language for Requirements Modeling",
number="CSRI-222",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="Dezember",
year="1988"}
@incollection{Kow87,
author="Kowalski,R.",
title="The Limitations of Logic and its Role in Artificial Intelligence",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1987"}
@incollection{KS89,
author="Kowalski,R. and Sergot,M.J.",
title="A Logic-based Calculus of Events",
editor="Thanos,C. and Schmidt,J.W.",
booktitle="Fundamentals of Knowledge Base Management Systems",
series="Topics in Information Systems",
publisher="Springer-Verlag",
address="New York, Berlin, \ldots{}",
year="1989"}
@article{Lev84,
author="Levesque,H.",
title="Foundations of a Functional Approach to Knowledge Representation",
journal="Artificial Intelligence",
volume="23",
number="2",
pages="155-212",
year="1984"}
@article{LMWW79,
author="Lockemann,P.C. and Mayr,H.C. and Weil,W.H. and Wohlleber,W.H",
title="Data Abstraction for Database Systems",
journal="ACM Transactions on Database Systems",
volume="4",
number="1",
pages="60-75",
month={M\"arz},
year="1979"}
@techreport{MBG+87,
author="Mylopoulos,J. and Borgida,A. and Greenspan,S. and Meghini,C. and Nixon,B.",
title="Knowledge Representation in the Software Development: A Case Study",
number="CSRI-43",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="Dezember",
year="1987"}
@article{MBW80,
author="Mylopoulos,J. and Bernstein,P.A. and Wong,H.K.T.",
title="A Language Facility for Designing Data-Intensive Applications",
journal="ACM Transactions on Database Systems",
volume="5",
number="2",
pages="185-207",
year="1980"}
@inproceedings{Mil84,
author="Milner,R.",
title="A Proposal for Standard ML",
booktitle="Proc. Symposium on Lisp and Functional Programming",
pages="184-198",
address="Austin, Texas",
year="1984"}
@incollection{Min75,
author="Minsky,M.",
title="A Framework for Representing Knowledge",
editor="Winston,P.H.",
booktitle="The Psychology of Computer Vision",
pages="211-277",
publisher="McGraw-Hill",
address="New York",
year="1975"}
@techreport{MRS89,
author="Matthes,F. and Rudloff,A. and Schmidt,J.W.",
title="Data and Rule-Based Database Programming in DBPL",
number="ESPRIT Projekt 892 WP/IMP 3.b",
institution={Fachbereich Informatik, Johann Wolfgang Goethe Universit\"at Frankfurt},
month="March",
year="1989"}
@inproceedings{MS89,
author="Matthes,F. and Schmidt,J.W.",
title="The Type System of DBPL",
booktitle="Proc. of the 2nd Intern. Workshop on Database Programming Languages",
pages="219-226",
address="Salishan Lodge, Oregon",
Publisher="Morgan Kaufman Pub. Inc",
year="1989"}
@techreport{MS91,
author="Matthes,F. and Schmidt,J.W.",
title="Towards Database Application Systems: Types, Kinds and other open Invitations",
institution={Universit\"at Hamburg},
year="1991"}
@inproceedings{MW80,
author="Mylopoulos,J. and Wong,H.K.T.",
title="Some Features of the Taxis Data Model",
booktitle="VLDB ",
month="Oktober",
year="1980"}
@techreport{N85,
author="Nebel,B.",
title="How well does a Vanilla Loop fit into a Frame ?",
institution={Technische Universit\"at Berlin},
year="1985"}
@article{N89,
author="Nebel,B.",
title="Computational Complexity of Terminological Reasoning in BACK",
journal="Artificial Intelligence",
volume="34",
pages="371-383",
year="1989"}
@book{N90,
author="Nebel,B.",
title="Reasoning and Revision in Hybrid Representation Systems",
publisher="Springer LNAI",
address="New York, Berlin",
year="1990"}
@inproceedings{NvL88,
author="Nebel,B. and von Luck,K.",
title="Hybrid Reasoning in {BACK}",
booktitle="Proc. of ISMIS-88",
Publisher="Elsevier",
year="1988"}
@inproceedings{OB89,
author="Ohori,A. and Buneman,P.",
title="Static Type Inference for Parametric Classes",
booktitle="Proc. of ACM OOPSLA Conference",
pages="445-456",
address="New Orleans, L.A.",
year="1989"}
@inproceedings{OBBT89,
author="Ohori,A. and Buneman,P. and Breazu-Tannen, V.",
title="Database Programming in Macchiavelli - A Polymorphic Language with Static Type Inference",
booktitle="Proc. of ACM SIGMOD International Conference on Management of Data",
pages="46-57",
address="Portland, Oregon.",
year="1989"}
@unpublished{OK89,
author="Owsnicki-Klewe,B.",
title={MESON 2.0 The Language},
institution="Fachbereich Informatik",
year="1989"}
@techreport{PS88,
author="Patel-Schneider,P.F.",
title="A Four-Valued Semantics for Terminological Logics",
institution="Schlumberger Palo Alto Research",
number="72",
year="1988"}
@article{PM88,
author="Peckham,J. and Maryanski,F.",
title="Semantic Data Models",
journal="ACM Computing Surveys",
volume="20",
number="3",
pages="153-190",
month="September",
year="1988"}
@article{PSMG91,
author="Patel-Schneider,P. and McGuiness,D.L. and Borgida,A.",
title="The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale",
publisher="SIGART",
year="1991"}
@incollection{Qui68,
author="Quillian,R.",
title="Semantic Memory",
editor="Minsky,M.",
booktitle="Semantic Information Processing",
publisher="MIT-Press",
address="Cambridge, Mass.",
year="1968"}
@book{R83,
author="Rich,E.",
title="Artificial Intelligence",
publisher="McGraw-Hill",
address="Singapur",
year="1983"}
@inproceedings{RB83,
author="Ridjanovic,D. and Brodie,M.L.",
title="Action and Transaction Skeletons: High Level Language Constructs for Database Transactions",
booktitle="ACM-SIGPLAN'83 Symposium on Programming Language Issues in Software Systems",
pages="94-99",
address="San Francisco",
year="1983"}
@book{Rea89,
author="Reade,Ch.",
title="Elements of Functional Programming",
publisher="Addison-Wesley Publishing Company",
address="Mass.",
year="1989"}
@incollection{Rei78,
author="Reiter,R.",
title="On closed world Databases",
editor="Gallaire,H. and Minker,J.",
booktitle="Logic and Databases",
pages="55-76",
publisher="Academic Press",
address="New York",
year="1978"}
@techreport{RG77,
author="Roberts,R.B. and Goldstein,I.P.",
title="The FRL Manual",
institution="MIT Artificial Intelligence Laboratory",
year="1977"}
@article{RPTU84,
author="Ramamoorthy,C.V. and Prakash,A. and Tsai,W.-T. and Usuda,Y.",
title="Software Engineering: Problems and Perspectives",
journal="IEEE Computer",
volume="17",
number="10",
year="1984"}
@article{RY84,
author="Roussopoulos,N. and Yeh,R.T.",
title="An adaptable Methodology for Database Design",
journal="IEEE Computer",
volume="17",
number="6",
year="1984"}
@book{SA77,
author="Schank,R.C. and Abelson,R.P.",
title="Scripts, Plans, Goals and Understanding",
publisher="Erlbaum",
address="Hillsdale, N.J.",
year="1977"}
@article{Sch77,
author="Schmidt,J.W.",
title="Some High Level Language Constructs for Data of Type Relation",
journal="ACM Transactions on Database Systems",
volume="2",
number="3",
pages="247-261",
month="September",
year="1977"}
@incollection{Sch87,
author="Schmidt,J.W.",
title="Datenbankmodelle",
editor="Schmidt,J.W. and Lockemann,P.C.",
booktitle="Datenbank-Handbuch",
publisher="Springer-Verlag",
address="New York u.a.",
year="1987"}
@book{Seb89,
author="Sebesta,R.W.",
title="Concepts of Programming Languages",
publisher="Benjamin/Cummings Publishing Company, Inc.",
address="Redwood City, CA",
year="1989"}
@article{Shi81,
author="Shipman,D.W.",
title="The Functional data Model and the Data Language DAPLEX",
journal="ACM Transactions on Database Systems",
volume="6",
number="1",
year="1981"}
@inproceedings{SM89,
author="Schmidt,J.W. and Matthes,F.",
title="Advances in Database Programming: On Concepts, Languages and Methodologies",
booktitle="SOFSEM'89 Zotavovna ROH Magura",
pages="257-281",
year="1989"}
@techreport{SM90,
author="Schmidt,J.W. and Matthes,F.",
title="DBPL Language and System Manual",
number="ESPRIT Projekt 892 MAP 2.3",
institution={Fachbereich Informatik, Universit\"at Hamburg},
month="April",
year="1990"}
@inproceedings{SS75,
author="Schmid,H.A. and Swenson,J.E.",
title="On the semantics of the relational model",
booktitle="ACM-SIGMOD Intern. Conf. on the Management of Data",
pages="211-233",
address="San Jose, CA",
Publisher="ACM Press",
year="1975"}
@article{SS77,
author="Smith,J.M. and Smith,D.C.P.",
title="Database Abstractions: Aggregation and Generalization",
journal="ACM Transactions on Database Systems",
volume="2",
number="2",
pages="105-133",
year="1977"}
@phdthesis{Sta86,
author="Stanley,M.",
title=": A Knowledge Representation Language with Application to Requirements Modeling",
institution="Dept. of Computer Science, Toronto",
year="1986"}
@article{Su86,
author="Su,S.Y.W.",
title="Modeling Integrated Manufacturing Data with SAM*",
journal="IEEE Computer",
volume="19",
number="1",
year="1986"}
@techreport{TK89,
author="Topaloglou,Th. and Koubarakis,M.",
title="Implementation of Telos",
number="KRR-TR-89-8",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="Mai",
year="1989"}
@techreport{TK90,
author="Topaloglou,Th. and Koubarakis,M.",
title="Implementing Structural and Temporal Features in the Knowledge Representation Language Telos",
number="CSS81-90",
institution="Dept. of Computer Science, University of Toronto, Toronto",
month="Januar",
year="1990"}
@book{TL82,
author="Tsichritzis,D.C. and Lochovsky,F.H.",
title="Data Models",
publisher="Prentice-Hall, Inc.",
address="Englewood Cliffs, New Jersey",
year="1981"}
@book{Ull82,
author="Ullman,J.D.",
title="Principles of Database Systems",
publisher="Computer Science Press",
address="Rockville, Maryland",
year="1982"}
@unpublished{vLOK90,
author="von Luck,K. and Owsnicki-Klewe,B.",
title={KL-ONE: Eine Einf\"uhrung},
year="1990"}
@article{Wi71,
author="Wirth,N.",
title="The Programming Language PASCAL",
journal="Acta Informatica",
volume="I",
year="1971"}
@incollection{Wo75,
author="Woods,W.A.",
title="What's in a Link",
editor="Bobrow,D.G. and Collins.A.",
booktitle="Representation and Understanding",
publisher="Academic Press",
address="New York",
year="1975"}
%-
}
%-
%
%-
%