Journal: ACM Trans. Database Syst.

Volume 21, Issue 4

427 -- 479Dean Kuo. Model and Verification of a Data Manager Based on ARIES
480 -- 525Witold Litwin, Marie-Anne Neimat, Donovan A. Schneider. LH* - A Scalable, Distributed Data Structure
526 -- 571Louiqa Raschid, Jorge Lobo. Semantics for Update Rule Programs and Implementations in a Relational Database Management System

Volume 21, Issue 3

295 -- 338Paolo Ciaccia, Paolo Tiberio, Pavel Zezula. Declustering of Key-Based Partitioned Signature Files
339 -- 369Debabrata Dey, Sumit Sarkar. A Probabilistic Relational Model and Algebra
370 -- 426Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs. Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language

Volume 21, Issue 2

157 -- 207Ling Liu, Robert Meersman. The Building Blocks for Specifying Communication Behavior of Complex Objects: An Activity-Driven Approach
208 -- 237Kenneth A. Ross. Tail Recursion Elimination in Deductive Databases
238 -- 269Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. Implementing Deductive Databases by Mixed Integer Programming
270 -- 293Sha Guo, Wei Sun, Mark Allen Weiss. Solving Satisfiability and Implication Problems in Database Systems

Volume 21, Issue 1

1 -- 29Elena Baralis, Stefano Ceri, Stefano Paraboschi. Modularization Techniques for Active Rules Design
30 -- 76Peter Buneman, Atsushi Ohori. Polymorphism and Type Inference in Database Programming
77 -- 106Wai Yin Mok, Yiu-Kai Ng, David W. Embley. A Normal Form for Precisely Characterizing Redundancy in Nested Relations
107 -- 155Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan. Magic Conditions