Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: Pingree Park, Colorado

@proceedings{DBLP:conf/sigmod/80p,
  editor    = {Michael L. Brodie and
               Stephen N. Zilles},
  title     = {Proceedings of the Workshop on Data Abstraction, Databases and
               Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980},
  journal   = {SIGMOD Record},
  publisher = {ACM Press},
  volume    = {11},
  number    = {2},
  year      = {1981},
  isbn      = {0-89791-031-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Table of Contents, Preface, Introduction, Participants.
  Electronic Edition BibTeX

Tutorials on Modelling

• John Mylopoulos:
  An Overview of Knowledge Representation. 5-12
  Electronic Edition (ACM DL) BibTeX
• John Mylopoulos:
  Tutorial on Artificial Intelligence Research. 13-18
  Electronic Edition BibTeX
• Dennis McLeod, John Miles Smith:
  Abstraction in Databases. 19-25
  Electronic Edition (ACM DL) BibTeX
• Dennis McLeod:
  Tutorial on Database Research. 26-28
  Electronic Edition BibTeX
• Lawrence A. Rowe:
  Data Abstraction From a Programming Language Viewpoint. 29-35
  Electronic Edition (ACM DL) BibTeX
• Lawrence A. Rowe:
  Tutorial on Programming Language Research. 36-39
  Electronic Edition BibTeX

Edited Discussions of Session Topics

• Robert Balzer:
  What Should Be Modelled? (discussion). 40-42
  Electronic Edition (ACM DL) BibTeX
• Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes:
  Types (discussion). 43-52
  Electronic Edition BibTeX
• Dennis McLeod, Peter Buneman, R. G. G. Cattell:
  Behaviour (discussion). 53-61
  Electronic Edition BibTeX
• L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes:
  Presentation (discussion). 62-71
  Electronic Edition (ACM DL) BibTeX
• John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell:
  Consistency of Models (discussion). 72-76
  Electronic Edition BibTeX
• John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix:
  Relationships Between and Among Models (discussion). 77-82
  Electronic Edition BibTeX
• Joachim W. Schmidt, Michael L. Brodie, Diane C. P. Smith, Lawrence A. Rowe, R. G. G. Cattell:
  Application of Modelling Techniques (discussion). 83-87
  Electronic Edition BibTeX
• Stephen N. Zilles, Ira P. Goldstein, E. F. Codd, Mary Shaw:
  Workshop Summary (discussion). 88-90
  Electronic Edition BibTeX

Position Papers

• Antonio Albano, Renzo Orsini:
  An Interactive Integrated System to Design and Use Data Bases. 91-93
  Electronic Edition (ACM DL) BibTeX
• Tore Amble:
  Integration of Data Base Design in Programming Languages. 94
  Electronic Edition (ACM DL) BibTeX
• Robert Balzer:
  Dynamic System Specification. 95-97
  Electronic Edition (ACM DL) BibTeX
• Alexander Borgida, Sol J. Greenspan:
  Data and Activities: Exploiting Hierarchies of Classes. 98-100
  Electronic Edition (ACM DL) BibTeX
• Michael L. Brodie:
  Data Abstraction for Designing Database-Intensive Applications. 101-103
  Electronic Edition (ACM DL) BibTeX
• Peter Buneman, Ira Winston:
  The Use of Data Type Information in an Interactive Database Environment. 104-106
  Electronic Edition (ACM DL) BibTeX
• Jaime G. Carbonell:
  Default Reasoning and Inheritance Mechanisms on Type Hierarchies. 107-109
  Electronic Edition (ACM DL) BibTeX
• R. G. G. Cattell:
  Integrating a Database System and Programming/Information Environment. 110-111
  Electronic Edition (ACM DL) BibTeX
• E. F. Codd:
  Data Models in Database Management. 112-114
  Electronic Edition (ACM DL) BibTeX
• Flaviu Cristian:
  On the Specification of Behavioural Constraints. 115-117
  Electronic Edition (ACM DL) BibTeX
• L. Peter Deutsch:
  Constraints: A Uniform Model for Data and Control. 118-120
  Electronic Edition (ACM DL) BibTeX
• Martin S. Feather:
  Some Contrasts and Considerations of an Approach to Modelling. 121-123
  Electronic Edition (ACM DL) BibTeX
• Ira P. Goldstein:
  Integrating a Network-Structured Database Into an Object-Oriented Programming Language. 124-125
  Electronic Edition (ACM DL) BibTeX
• W. Terry Hardgrave, Donald R. Deutsch:
  Processing Data Model Abstractions. 126-127
  Electronic Edition (ACM DL) BibTeX
• Patrick J. Hayes, Gary G. Hendrix:
  A Logical View of Types. 128-130
  Electronic Edition (ACM DL) BibTeX
• Gary G. Hendrix:
  Mediating the Views of Databases and Database Users. 131-132
  Electronic Edition (ACM DL) BibTeX
• Peter Hitchcock:
  Data Dictionaries in Open System Communication. 133-134
  Electronic Edition (ACM DL) BibTeX
• Randy H. Katz:
  Heterogeneous Databases and High Level Abstraction. 135-137
  Electronic Edition (ACM DL) BibTeX
• Jonathan J. King:
  Modelling Concepts for Reasoning About Access to Knowledge. 138-140
  Electronic Edition (ACM DL) BibTeX
• Peter Kreps:
  Relativism and Views in a Conceptual Data Base Model. 141-143
  Electronic Edition (ACM DL) BibTeX
• Michel Lacroix, Alain Pirotte:
  Associating Types with Domains of Relational Data Bases. 144-146
  Electronic Edition (ACM DL) BibTeX
• Burt M. Leavenworth:
  A Data Abstraction Approach to Database Modelling. 147-149
  Electronic Edition (ACM DL) BibTeX
• Hector J. Levesque:
  Incompleteness in Knowledge Bases. 150-152
  Electronic Edition (ACM DL) BibTeX
• Bengt G. Lundberg, Janis A. Bubenko Jr.:
  Axiomatic Information Modeling. 153-154
  Electronic Edition (ACM DL) BibTeX
• William Mark:
  Use of Database Organization in the Consul System. 155-157
  Electronic Edition (ACM DL) BibTeX
• Heinrich C. Mayr:
  Make More of Data Types. 158-160
  Electronic Edition (ACM DL) BibTeX
• Dennis McLeod:
  On Conceptual Database Modelling. 161-163
  Electronic Edition (ACM DL) BibTeX
• Bertrand Meyer:
  A Three-Level Approach to the Description of Data Structures, and Notational Framework. 164-166
  Electronic Edition (ACM DL) BibTeX
• John Mylopoulos:
  A Perspective for Research on Conceptual Modelling. 167-170
  Electronic Edition (ACM DL) BibTeX
• Paolo Paolini:
  Abstract Data Types and Data Bases. 171-173
  Electronic Edition (ACM DL) BibTeX
• Raymond Reiter:
  Data Bases: A Logical Perspective. 174-176
  Electronic Edition (ACM DL) BibTeX
• Charles Rich:
  Multiple Points of View in Modelling Programs. 177-179
  Electronic Edition (ACM DL) BibTeX
• Lawrence A. Rowe:
  Issues in the Design of Database Programming Languages. 180-182
  Electronic Edition (ACM DL) BibTeX
• Clesio Saraiva dos Santos, Antonio L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho:
  Towards Constructive Axiomatic Specifications. 183-185
  Electronic Edition (ACM DL) BibTeX
• Joachim W. Schmidt:
  Design, Specification and Application. 186-188
  Electronic Edition (ACM DL) BibTeX
• Mary Shaw:
  Abstraction, Data Types, and Models for Software. 189-191
  Electronic Edition (ACM DL) BibTeX
• Edgar H. Sibley:
  Database Management Systems Past and Present. 192
  Electronic Edition (ACM DL) BibTeX
• John F. Sowa:
  A Conceptual Schema for Knowledge-Based Systems. 193-195
  Electronic Edition (ACM DL) BibTeX
• James W. Thatcher:
  Data Abstraction, Data Bases and Conceptual Modelling. 196-197
  Electronic Edition (ACM DL) BibTeX
• Anthony I. Wasserman:
  The Extension of Data Abstraction to Database Management. 198-200
  Electronic Edition (ACM DL) BibTeX
• Herbert Weber:
  Are Data Types Universal Modelling Concepts for Data Base Systems? 201-202
  Electronic Edition (ACM DL) BibTeX
• Hartmut Wedekind:
  Constructive Abstract Data Types (CAD). 203-206
  Electronic Edition (ACM DL) BibTeX
• Stephen N. Zilles:
  Types, Algebras and Modelling. 207-209
  Electronic Edition (ACM DL) BibTeX