7. PODS 1988: Austin, Texas

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas. ACM 1988, ISBN 0-89791-263-2

@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
Gabriel M. Kuper:
On the Expressive Power of Logic Programming Languages with Sets. 10-14
Oded Shmueli, Shalom Tsur, Carlo Zaniolo:
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). 15-28

Session 2

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

Session 3

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

Session 4

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

Session 5

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

Session 6

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

Session 7

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

Session 8

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

Session 9

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

Session 10

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