DBPL-1, 1987: Roscoff, France

@proceedings{DBLP:conf/dbpl/87,
  editor    = {Fran\c{c}ois Bancilhon and
               Peter Buneman},
  title     = {Advances in Database Programming Languages, Papers from DBPL-1,
               September 1987, Roscoff, France},
  publisher = {ACM Press / Addison-Wesley},
  year      = {1990},
  isbn      = {0-201-50257-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Contributors, Foreword, Preface.
  

Types and Inheritance

• David W. Stemple, Tim Sheard:
  Construction and Calculus of Types for Database Systems. 3-22
  
• Paris C. Kanellakis, Peter Z. Revesz:
  On the Relationship of Congruence Closure and Unification. 23-41
  
• Maurizio Lenzerini:
  Class Hierarchies and Their Complexity. 43-65
  
• David C. J. Matthews:
  Static and Dynamic Type Checking. 67-73
  
• Kim B. Bruce, Peter Wegner:
  An Algebraic Model of Subtype and Inheritance. 75-96
  
• Atsushi Ohori:
  Orderings and Types in Databases. 97-116
  
• Paolo Atzeni, Douglas Stott Parker Jr.:
  Algorithms for Set Containment Inference. 117-127
  

Implementation Issues

• David Beech:
  Intensional Concepts in an Object Database Model. 131-145
  
• Michael Caruso, Edward Sciore:
  The Vision Object-Oriented Database Management System. 147-163
  
• Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury:
  Implementing Functional Databases. 165-176
  
• John G. Hughes, Michelle Connolly:
  Data Abstraction amd Transaction Processing in the Database Programming Language RAPP. 177-186
  
• Brian A. Nixon, John Mylopoulos:
  Integration Issues in Implementing Semantic Data Models. 187-217
  

Object-Oriented Systems and Persistence

• Setrag Khoshafian, Patrick Valduriez:
  Sharing, Persistence, and Object-Orientation: A Database Perspective. 221-240
  
• Malcolm P. Atkinson, Ronald Morrison:
  Polymorphic Names and Iterations. 241-256
  
• Christophe Lécluse, Philippe Richard, Fernando Vélez:
  O₂, an Object-Oriented Data Model. 257-276
  
• Stanley B. Zdonik:
  Object-Oriented Type Evolution. 277-288
  
• J. Eliot B. Moss:
  Semantics for Transactions in Shared Object Worlds. 289-293
  
• Deborah A. Baker, David A. Fisher, Jonathan C. Shultis:
  A Practical Language to Provide Persistence and a rich Typing System. 295-309
  

Logic

• Shamim A. Naqvi, Ravi Krishnamurthy:
  Semantics of Updates in Logic Programming. 313-327
  
• Ravi Krishnamurthy, Carlo Zaniolo:
  Control and Optimization Strategies in the Implementation of LDL. 329-345
  
• Serge Abiteboul, Stéphane Grumbach:
  COL: A Logic-Based Language for Complex Objects. 347-374
  

Database Programming Languages

• David Maier:
  Representing Database Programs as Objects. 377-386
  
• Maurice A. W. Houtsma, Peter M. G. Apers:
  Data and Knowledge Model: A Proposal. 387-402
  
• Rishiyur S. Nikhil:
  The Semantics of Update in a Functional Database Programming Language. 403-421
  
• Richard Hull, Dean Jacobs:
  Towards a Formalism for Module Interconnection and Version Selection. 423-439
  
• M. Lacroix, M. Vanhoedenaghe:
  Manipulating Complex Objects. 441-457