XP1 1980: Stony Brook, NY, USA

@proceedings{DBLP:conf/xp/1980,
  editor    = {David Maier},
  title     = {XP1 Workshop on Relational Database Theory, 30 June - 2 July
               1980, SUNY at Stony Brook, NY, USA},
  booktitle = {XP1 Workshop on Database Theory},
  year      = {1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Foreword.
  
• Barry E. Jacobs: A Generalized Algebraic Data Manipulation Language and the Automatic Conversion of its Programs.
• Marc H. Graham: A New Proof that the Chase is a Church-Rosser Replacement System.
• Catriel Beeri, Moshe Y. Vardi:
  Decision Problems for Data Dependencies.
  
• David Maier:
  Discarding the Universal Instance Assumption: Preliminary Results.
  
• Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem.
• Peter Honeyman: Losslessly Joining Relations in Polynomial Time.
• Edward Sciore:
  Some Observations on Real-World Data Dependencies.
  
• Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries.
• Henry F. Korth, Jeffrey D. Ullman:
  System/U: A Database System Based on the Universal Relation Assumption.
  
• Yannis Vassiliou:
  Testing Satisfaction of FDs on a Multi-Relation Database ``fast''.
  
• Peter Honeyman: Testing Satisfaction of Functional Dependencies.
• Jack Heller: The Abstract Data Types Used in the GRIPHOS Database System.
• Adrian Walker: Time and Space in a Lattice of Universal Relations with Blank Entries.
• Jeffrey D. Ullman:
  Universal Instances.