7. PODS 1988: Austin, Texas

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
  

Last update Sat May 18 19:35:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page