XP7.52 1986: Austin, TX, USA

@proceedings{DBLP:conf/xp/1986,
  editor    = {Henry F. Korth},
  title     = {XP / 7.52 Workshop on Database Theory, University of Texas at
               Austin, TX, USA, August 13-15, 1986},
  booktitle = {XP7.52 Workshop on Database Theory},
  year      = {1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Foreword, Program.
  Electronic Edition BibTeX
• Shamim A. Naqvi: A Logic for Negation in Database Systems. BibTeX
• Richard Hull:
  A Survey of Theoretical Research on Typed Complex Database Objects.
  Electronic Edition BibTeX
• Michael Kifer, Eliezer L. Lozinskii:
  Can We Implement Logic as a Database System?
  Electronic Edition BibTeX
• Seymour Ginsburg, Chang-jie Tang: Cohesion of Object Histories. BibTeX
• Oded Shmueli:
  Decidability and Expressiveness Aspects of Logic Queries.
  Electronic Edition BibTeX
• David Maier, Jacob Stein, Allen Otis, Alan Purdy:
  Development of an Object-Oriented DBMS.
  Electronic Edition BibTeX
• Van Nguyen, Kenneth J. Perry: Do We Really Know What Knowledge Is? BibTeX
• Dirk Van Gucht, Patrick C. Fischer:
  High Level Data Manipulation Languages for Unnormalized Relational Database Models.
  Electronic Edition BibTeX
• Guozhu Dong, Seymour Ginsburg:
  Localizable Constraints for Object Histories.
  Electronic Edition BibTeX
• Gabriel M. Kuper:
  Logic Programming with Sets.
  Electronic Edition BibTeX
• Henry F. Korth:
  Non-First-Normal-Form Relations Theory and Applications.
  Electronic Edition BibTeX
• Z. Meral Özsoyoglu, Li-Yan Yuan:
  Notions of Dependency Preservation for Nested Relations.
  Electronic Edition BibTeX
• Jeffrey F. Naughton:
  One-Sided Recursions.
  Electronic Edition BibTeX
• Yehoshua Sagiv: Optimizing Datalog Programs. BibTeX
• François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan:
  Pushing Selections into Logic Programs.
  Electronic Edition BibTeX
• Linda A. Ness: Reducing Linear Recursive Relations to Transitive Closure. BibTeX
• Ravi Krishnamurthy, Carlo Zaniolo:
  Safety and Optimization of Horn Clause Queries.
  Electronic Edition BibTeX
• Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz:
  Safety of Recursive Horn Clauses With Function Symbols.
  Electronic Edition BibTeX
• Jay Banerjee, Hyoung-Joo Kim, Won Kim, Henry F. Korth:
  Schema Evolution in Object-Oriented Persistent Databases.
  Electronic Edition BibTeX
• Naphtali Rishe: The Expressiveness of Logic-based Database Query Languages. BibTeX
• Naftaly H. Minsky, David Rozenshtein:
  Towards Controlling the Evolution of Large Software Systems or The DARWIN System.
  Electronic Edition BibTeX
• David Maier:
  Why Object-Oriented Databases Can Succeed Where Others Have Failed.
  Electronic Edition BibTeX