7. PODS 1988: Austin, Texas

@proceedings{DBLP:conf/pods/88,
  title     = {Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin,
               Texas},
  publisher = {ACM},
  year      = {1988},
  isbn      = {0-89791-263-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• Ashok K. Chandra:
  Theory of Database Queries. 1-9
  Electronic Edition (ACM DL) BibTeX
• Gabriel M. Kuper:
  On the Expressive Power of Logic Programming Languages with Sets. 10-14
  Electronic Edition (ACM DL) BibTeX
• Oded Shmueli, Shalom Tsur, Carlo Zaniolo:
  Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). 15-28
  Electronic Edition (ACM DL) BibTeX

Session 2

• Jan Paredaens, Dirk Van Gucht:
  Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions. 29-38
  Electronic Edition (ACM DL) BibTeX
• Richard Hull, Jianwen Su:
  On the Expressive Power of Database Queries with Intermediate Types. 39-51
  Electronic Edition (ACM DL) BibTeX
• Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz:
  An Axiomatic Approach to Deciding Query Safety in Deductive Databases. 52-60
  Electronic Edition (ACM DL) BibTeX
• Jan Chomicki, Tomasz Imielinski:
  Temporal Deductive Databases and Infinite Objects. 61-73
  Electronic Edition (ACM DL) BibTeX

Session 3

• Jeffrey D. Ullman, Moshe Y. Vardi:
  The Complexity of Ordering Subgoals. 74-81
  Electronic Edition (ACM DL) BibTeX
• Katherine A. Morris:
  An Algorithm for Ordering Subgoals in NAIL! 82-88
  Electronic Edition (ACM DL) BibTeX
• Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy:
  Optimizing Existential Datalog Queries. 89-102
  Electronic Edition (ACM DL) BibTeX
• Tomasz Imielinski, Shamim A. Naqvi:
  Explicit Control of Logic Programs Through Rule Algebra. 103-116
  Electronic Edition (ACM DL) BibTeX

Session 4

• M. V. Ramakrishna, P. Mukhopadhyay:
  Analysis of Bounded Disorder File Organization. 117-125
  Electronic Edition (ACM DL) BibTeX
• Jaideep Srivastava, Doron Rotem:
  Analytical Modeling of Materialized View Maintenance. 126-134
  Electronic Edition (ACM DL) BibTeX
• Thanasis Hadzilacos:
  Serialization Graph Algorithms for Multiversion Concurrency Control. 135-141
  Electronic Edition (ACM DL) BibTeX
• Udo Kelter:
  The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol. 142-151
  Electronic Edition (ACM DL) BibTeX

Session 5

• François Bancilhon:
  Object-Oriented Database Systems. 152-162
  Electronic Edition (ACM DL) BibTeX
• Edward P. F. Chan, Héctor J. Hernández:
  Independence-reducible Database Schemes. 163-173
  Electronic Edition (ACM DL) BibTeX
• Stephen J. Hegner:
  Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction. 174-183
  Electronic Edition (ACM DL) BibTeX

Session 6

• Don S. Batory:
  Concepts for a Database System Compiler. 184-192
  Electronic Edition (ACM DL) BibTeX
• Thanasis Hadzilacos, Vassos Hadzilacos:
  Transaction Synchronisation in Object Bases. 193-200
  Electronic Edition (ACM DL) BibTeX
• Maurice Herlihy, William E. Weihl:
  Hybrid Concurrency Control for Abstract Data Types. 201-210
  Electronic Edition (ACM DL) BibTeX
• Vladimir Lanin, Dennis Shasha:
  Concurrent Set Manipulation without Locking. 211-220
  Electronic Edition (ACM DL) BibTeX

Session 7

• Allen Van Gelder, Kenneth A. Ross, John S. Schlipf:
  Unfounded Sets and Well-Founded Semantics for General Logic Programs. 221-230
  Electronic Edition (ACM DL) BibTeX
• Phokion G. Kolaitis, Christos H. Papadimitriou:
  Why Not Negation by Fixpoint? 231-239
  Electronic Edition (ACM DL) BibTeX
• Serge Abiteboul, Victor Vianu:
  Procedural and Declarative Database Update Languages. 240-250
  Electronic Edition (ACM DL) BibTeX
• Shamim A. Naqvi, Ravi Krishnamurthy:
  Database Updates in Logic Programming. 251-262
  Electronic Edition (ACM DL) BibTeX

Session 8

• M. Muralikrishna, David J. DeWitt:
  Optimization of Multiple-Relation Multiple-Disjunct Queries. 263-275
  Electronic Edition (ACM DL) BibTeX
• Wen-Chi Hou, Gultekin Özsoyoglu, Baldeo K. Taneja:
  Statistical Estimators for Relational Algebra Expressions. 276-287
  Electronic Edition (ACM DL) BibTeX
• Bing-Chao Huang, Michael A. Langston:
  Stable Set and Multiset Operations in Optimal Time and Space. 288-293
  Electronic Edition (ACM DL) BibTeX
• Lin Yu, Daniel J. Rosenkrantz:
  Minimizing Time-Space Cost For Database Version Control. 294-301
  Electronic Edition (ACM DL) BibTeX

Session 9

• Raymond Reiter:
  What Should A Database Know? 302-304
  Electronic Edition (ACM DL) BibTeX
• Peter Buneman, Susan B. Davidson, Aaron Watters:
  A Semantics for Complex Objects and Approximate Queries. 305-314
  Electronic Edition (ACM DL) BibTeX
• Marianne Winslett:
  A Framework for Comparison of Update Semantics. 315-324
  Electronic Edition (ACM DL) BibTeX

Session 10

• Seppo Sippu, Eljas Soisalon-Soininen:
  A Generalized Transitive Closure for Relational Queries. 325-332
  Electronic Edition (ACM DL) BibTeX
• Ramsey W. Haddad, Jeffrey F. Naughton:
  Counting Methods for Cyclic Relations. 333-340
  Electronic Edition (ACM DL) BibTeX
• Moshe Y. Vardi:
  Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. 341-351
  Electronic Edition (ACM DL) BibTeX