6. PODS 1987: San Diego, California

@proceedings{DBLP:conf/pods/87,
  title     = {Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on
               Principles of Database Systems, March 23-25, 1987, San Diego,
               California},
  publisher = {ACM},
  year      = {1987},
  isbn      = {0-89791-223-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• Jeffrey D. Ullman:
  Database Theory: Past and Future. 1-10
  Electronic Edition (ACM DL) BibTeX
• Gabriel M. Kuper:
  Logic Programming With Sets. 11-20
  Electronic Edition (ACM DL) BibTeX
• Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur:
  Sets and Negation in a Logic Database Language (LDL1). 21-37
  Electronic Edition (ACM DL) BibTeX

Session 2

• Li-Yan Yuan, Z. Meral Özsoyoglu:
  Logical Design of Relational Database Systems. 38-47
  Electronic Edition (ACM DL) BibTeX
• Edward P. F. Chan, Héctor J. Hernández:
  On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies. 48-57
  Electronic Edition (ACM DL) BibTeX
• Georg Gottlob:
  Computing Covers for Embedded Functional Dependencies. 58-69
  Electronic Edition (ACM DL) BibTeX

Session 3

• Alessandro D'Atri, Paolino Di Felice, Marina Moscarini:
  Dynamic Query Interpretation in Relational Databases. 70-78
  Electronic Edition (ACM DL) BibTeX
• Paolo Atzeni, Maria Cristina De Bernardis:
  A New Basis for the Weak Instance Model. 79-86
  Electronic Edition (ACM DL) BibTeX
• Francesco M. Malvestuto:
  Answering Queries in Categorial Data Bases. 87-96
  Electronic Edition (ACM DL) BibTeX

Session 4

• Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
  Nested Transactions and Read/Write Locking. 97-111
  Electronic Edition (ACM DL) BibTeX
• Adrian Segall, Ouri Wolfson:
  Transaction Commitment at Minimal Communication Cost. 112-118
  Electronic Edition (ACM DL) BibTeX
• C. P. Wang, Victor O. K. Li:
  The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms. 119-128
  Electronic Edition (ACM DL) BibTeX
• Vassos Hadzilacos:
  A Knowledge Theoretic Analysis of Atomic Commitment Protocols. 129-134
  Electronic Edition (ACM DL) BibTeX

Session 5

• Jack Minker:
  Perspectives in Deductive Databases (Abstract). 135
  Electronic Edition (ACM DL) BibTeX
• Krzysztof R. Apt, Jean-Marc Pugin:
  Maintenance of Stratified Databases Viewed as a Belief Revision System. 136-145
  Electronic Edition (ACM DL) BibTeX
• Stephen J. Hegner:
  Specification and Implementation of Programs for Updating Incomplete Information Databases. 146-158
  Electronic Edition (ACM DL) BibTeX

Session 6

• Alexandros Biliris:
  Operation Specific Locking in B-Trees. 159-169
  Electronic Edition (ACM DL) BibTeX
• Otto Nurmi, Eljas Soisalon-Soininen, Derick Wood:
  Concurrency Control in Database Structures with Relaxed Balance. 170-176
  Electronic Edition (ACM DL) BibTeX
• Rong Sun, Gomer Thomas:
  Performance Results in Multiversion Timestamp Concurrency Control with Predeclared Writesets. 177-184
  Electronic Edition (ACM DL) BibTeX

Session 7

• Rina Dechter:
  Decomposing an N-ary Relation into a Tree of Binary Relations. 185-189
  Electronic Edition (ACM DL) BibTeX
• James P. Delgrande:
  Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints. 190-196
  Electronic Edition (ACM DL) BibTeX
• Tomasz Imielinski:
  Relative Knowledge in a Distributed Database. 197-209
  Electronic Edition (ACM DL) BibTeX

Session 8

• Foto N. Afrati, Christos H. Papadimitriou:
  The Parallel Complexity of Simple Chain Queries. 210-213
  Electronic Edition (ACM DL) BibTeX
• Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan:
  Bounds on the Propagation of Selection into Logic Programs. 214-226
  Electronic Edition (ACM DL) BibTeX
• Jeffrey F. Naughton, Yehoshua Sagiv:
  A Decidable Class of Bounded Recursions. 227-236
  Electronic Edition (ACM DL) BibTeX
• Oded Shmueli:
  Decidability and Expressiveness of Logic Queries. 237-249
  Electronic Edition (ACM DL) BibTeX

Session 9

• Patricia G. Selinger:
  Chickens and Eggs: The Interrelationship of Systems and Theory. 250-253
  Electronic Edition (ACM DL) BibTeX
• Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu:
  Axiomatization and Simplification Rules for Relational Transactions. 254-259
  Electronic Edition (ACM DL) BibTeX
• Serge Abiteboul, Victor Vianu:
  A Transcation Language Complete for Database Update and Specification. 260-268
  Electronic Edition (ACM DL) BibTeX

Session 10

• Catriel Beeri, Raghu Ramakrishnan:
  On the Power of Magic. 269-284
  Electronic Edition (ACM DL) BibTeX
• Gösta Grahne, Seppo Sippu, Eljas Soisalon-Soininen:
  Efficient Evaluation for a Subset of Recursive Queries. 284-293
  Electronic Edition (ACM DL) BibTeX
• Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà:
  Worst-case Complexity Analysis of Methods for Logic Query Implementation. 294-301
  Electronic Edition (ACM DL) BibTeX

Session 11

• Dirk Van Gucht:
  On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model. 302-312
  Electronic Edition (ACM DL) BibTeX
• Allen Van Gelder, Rodney W. Topor:
  Safety and Correct Translation of Relational Calculus Formulas. 313-327
  Electronic Edition (ACM DL) BibTeX
• Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz:
  Safety of Recursive Horn Clauses With Infinite Relations. 328-339
  Electronic Edition (ACM DL) BibTeX
• Jeffrey F. Naughton:
  One-Sided Recursions. 340-348
  Electronic Edition (ACM DL) BibTeX
• Yehoshua Sagiv:
  Optimizing Datalog Programs. 349-362
  Electronic Edition (ACM DL) BibTeX