ACM Transactions on Database Systems (TODS) , Volume 20

Volume 20, Number 1, March 1995

• Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom:
  Static Analysis Techniques for Predicting the Behavior of Active Database Rules. 3-41
  
• Weidong Chen:
  Declarative Updates of Relational Databases. 42-70
  
• H. V. Jagadish:
  The INCINERATE Data Model. 71-110
  

Volume 20, Number 2, June 1995

• Lars Bækgaard, Leo Mark:
  Incremental Computation of Nested Relational Query Expressions. 111-148
  
• Jan Chomicki:
  Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. 149-186
  
• Goetz Graefe, Richard L. Cole:
  Fast Algorithms for Universal Quantification in Large Databases. 187-236
  

Volume 20, Number 3, September 1995

• Weidong Chen:
  Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics. 239-287
  
• Yannis E. Ioannidis, Raghu Ramakrishnan:
  Containment of Conjunctive Queries: Beyond Relations as Sets. 288-324
  
• Dennis Shasha, François Llirbat, Eric Simon, Patrick Valduriez:
  Transaction Chopping: Algorithms and Performance Studies. 325-363
  
• Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca:
  Addendum to "Automatic Generation of Production Rules for Integrity Maintenance". 364
  

Volume 20, Number 4, December 1995

• I-Min A. Chen, Richard Hull, Dennis McLeod:
  An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. 365-413
  
• Piero Fraternali, Letizia Tanca:
  A Structured Approach for the Definition of the Semantics of Active Databases. 414-471
  
• Divesh Srivastava, S. Sudarshan, Raghu Ramakrishnan, Jeffrey F. Naughton:
  Space Optimization in Deductive Databases. 472-516