3. ER 1983: Anaheim, California, USA

@proceedings{DBLP:conf/er/83,
  editor    = {Carl G. Davis and
               Sushil Jajodia and
               Peter A. Ng and
               Raymond T. Yeh},
  title     = {Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach
               (ER'83)},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86777-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Preface, Table of Contents, Welcome Remarks, Organization, Referees.
  Electronic Edition BibTeX

Historical Perspective and Future Directions

• William Kent:
  Fact-Based Data Analysis and Design. 3-53
  Electronic Edition BibTeX
• Charles W. Bachman:
  The Structuring Capabilities of the Molecular Data Model. 55-68
  Electronic Edition BibTeX
• Mack W. Alford:
  Derivation of Element-Relation-Attribute Data Base Requirements by Decomposition of System Functions. 69-70
  Electronic Edition BibTeX
• Peter P. Chen:
  ER - A Historical Perspective and Future Directions. 71-77
  Electronic Edition BibTeX

Systems Analysis and Modelling

• Brian Knight:
  A Mathematical Basis for Entity Analysis. 81-90
  Electronic Edition BibTeX
• Paul Lindgreen:
  Entity Sets and their Description. 91-110
  Electronic Edition BibTeX
• Hirotaka Sakai:
  A Method for Entity-Relationship Behavior Modeling. 111-129
  Electronic Edition BibTeX
• R. P. Zimmerman:
  Phases, Methods and Tools - A Triad of System Development. 131-151
  Electronic Edition BibTeX

Database Designs

• Hirotaka Sakai:
  Entity-Relationship Approach to Logical Database Design. 155-188
  Electronic Edition BibTeX
• Elisa Bertino:
  Distributed Database Design Using the Entity-Relationship Model. 189-203
  Electronic Edition BibTeX
• Leo Mark:
  What is the Binary Relationship Approach? 205-220
  Electronic Edition BibTeX

Database Schema Conversions and Translations

• Shamkant B. Navathe, A. Cheng:
  A Methodology for Database Schema Mapping from Extended Entity-Relationship Models into the Hierarchical Model. 223-248
  Electronic Edition BibTeX
• Sushil Jajodia, Peter A. Ng:
  On the Representation of Relational Structures by Entity-Relationship Diagrams. 249-263
  Electronic Edition BibTeX
• Marco A. Casanova, Jose E. Amaral de Sa:
  Designing Entity-Relationship Schemes for Conventional Information Systems. 265-277
  Electronic Edition BibTeX
• Sushil Jajodia, Peter A. Ng, Frederick N. Springsteel:
  On Universal and Representative Instances for Inconsistent Databases. 279-295
  Electronic Edition BibTeX

Languages Based on Entities and Relationships

• Peter Ursprung, Carl August Zehnder:
  HIQUEL: An Interactive Query Language to Define and Use Hierarchies. 299-314
  Electronic Edition BibTeX
• Victor M. Markowitz, Yoav Raz:
  A Modified Relational Algebra and its Use in an Entity-Relationship Environment. 315-328
  Electronic Edition BibTeX
• Victor M. Markowitz, Yoav Raz:
  ERROL: An Entity-Relationship, Role Oriented, Query Language. 329-345
  Electronic Edition BibTeX
• James A. Larson, P. A. Dwyer:
  Defining External Schemas for an Entity-Relationship Database. 347-364
  Electronic Edition BibTeX

Data Dictionaries and Directories

• Enrique H. Ruspini, Robert Fraley:
  ID: An Intelligent Information Dictionary System. 367-376
  Electronic Edition BibTeX
• Robert W. Marti:
  Integrating Database and Program Description Using an ER-Data Dictionary. 377-392
  Electronic Edition BibTeX
• Kenmore S. Brathwaite:
  An Implementation of a Data Dictionary to Support Databases Designed Using the Entity-Relationship Approach. 393-410
  Electronic Edition BibTeX

ER Schema Development Tools

• Carlo Batini, Maurizio Lenzerini:
  A Methodology for Data Schema Integration in the Entity-Relationship Model. 413-420
  Electronic Edition BibTeX
• Roberto Tamassia, Carlo Batini, Maurizio Talamo:
  An Algorithm for Automatic Layout of Entity-Relationship Diagrams. 421-439
  Electronic Edition BibTeX
• Zhi-Qian Zhang, Alberto O. Mendelzon:
  A Graphical Query Language for Entity-Relationship Databases. 441-448
  Electronic Edition BibTeX
• Paolo Atzeni, Enzo Carboni:
  INCOD (A System for Interactive Conceptual Design) Revisited - After the Implementation of a Prototype. 449-464
  Electronic Edition BibTeX

Database Support Tools

• Shuji Nakata, Go Yamazaki:
  ISMOS: A System Based on the ER Model and its Application to Database-Oriented Tool Generation. 467-499
  Electronic Edition BibTeX
• G. Margrave, Ewing L. Lusk, Ross A. Overbeek:
  Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. 501-515
  Electronic Edition BibTeX
• C. Robert Carlson, Adarsh K. Arora:
  UPM: A Formal Tool for Expressing Database Update Semantics. 517-525
  Electronic Edition BibTeX

Semantic Intregrity and Specifications

• Maurizio Lenzerini, Gaetano Santucci:
  Cardinality Constraints in the Entity-Relationship Model. 529-549
  Electronic Edition BibTeX
• Ryohei Nakano:
  Integrity Checking in a Logic-Oriented ER Model. 551-564
  Electronic Edition BibTeX
• Yves Tabourier:
  Further Development of the Occurrences Structure Concept: The EROS Approach. 565-583
  Electronic Edition BibTeX
• Leo Mark, Nick Roussopoulos:
  Integration of Data, Schema and Meta-Schema in the Context of Self-Documenting Data Models. 585-602
  Electronic Edition BibTeX

Formal Specifications and Verification

• Juhani Iivari, Erkki Koskela:
  An Extended EAR Approach for Information System Specification. 605-636
  Electronic Edition BibTeX
• Paulo A. S. Veloso, Antonio L. Furtado:
  View Constructs for the Specification and Design of External Schemas. 637-650
  Electronic Edition BibTeX
• Erika Nyari, Harry M. Sneed:
  SOFSPEC: A Pragmatic Approach to Automated Specification Verification. 651-660
  Electronic Edition BibTeX
• Paul K. Blackwell, Sushil Jajodia, Peter A. Ng:
  A View of Database Management Systems as Abstract Data Types. 661-668
  Electronic Edition BibTeX

ER-Based Applications in Software Engineering

• Bernard Moulin:
  The Use of EPAS/IPSO Approach for Integrating Entity-Relationship Concepts and Software Engineering Techniques. 671-690
  Electronic Edition BibTeX
• James F. Fullerton, Albert H. Stone III, David A. Hartschuh:
  Specifying Distributed Systems Requirements Using SREM. 691-700
  Electronic Edition BibTeX
• Peter C. Lockemann:
  Analysis of Version and Configuration Control in a Software Engineering Environment. 701-713
  Electronic Edition BibTeX

ER-Based Applications: Case Studies

• Harry M. Sneed, Wolf-Rüdiger Gawron:
  The Use of the Entity-Relationship Model as a Schema for Organizing the Data Processing Activities. 717-730
  Electronic Edition BibTeX
• Adolph D'Cunha, Thiruvengadam Radhakrishnan:
  Applications of ER Concepts to Data Administration. 731-745
  Electronic Edition BibTeX
• E. David Callender, Yuzo Yamamoto, D. B. Childs:
  A Modeling Foundation for a Second Generation System Engineering Tool. 747-759
  Electronic Edition BibTeX
• Sabah S. Al-Fedaghi:
  An Entity-Relationship Approach to Modelling Petroleum Engineering Database. 761-779
  Electronic Edition BibTeX

Topics on Databases

• Bharat K. Bhargava, Leszek Lilien:
  Cost Analysis of Selected Database Restoration Techniques. 783-805
  Electronic Edition BibTeX

Panels

• Yuri Breitbart, Umeshwar Dayal, James P. Fry, Witold Litwin, Amihai Motro:
  Issues in Multiple Database Environmemnts (Panel). 807-808
  Electronic Edition BibTeX
• Paul K. Blackwell, Dan Kapp, Ross A. Overbeek, H. J. Spencer, Gio Wiederhold, Stanley B. Zdonik:
  Data Management: A Practical View (Panel). 809
  Electronic Edition BibTeX

Automatic Microcode Generation

• Erwin H. Warshawsky:
  Introduction to the Session on Automatic Microcode Generation. 813
  Electronic Edition BibTeX
• Harold W. Noffke:
  HOL-to-Microcode Compilers: An Air Force Perspective. 815-822
  Electronic Edition BibTeX
• Richard Atkins:
  An Automatically Retargetable Microcode Compiler. 823-836
  Electronic Edition BibTeX
• George Fucik:
  Automated Development of Special Purpose Hardware. 837-857
  Electronic Edition BibTeX
• John L. Cuadrado, Michael Hinkey, Mark Gaertner:
  Microcode Support for Operating System Functions: Issues and Examples. 859-865
  Electronic Edition BibTeX

• Author Index.
  Electronic Edition BibTeX