ACM DL

Database Systems (TODS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Database Systems (TODS), Volume 21 Issue 4, Dec. 1996

Model and verification of a data manager based on ARIES
Dean Kuo
Pages: 427-479
DOI: 10.1145/236711.236712
In this article, we model and verify a data manager whose algorithm is based on ARIES. The work uses the I/O automata method as the formal model and the definition of correctness is defined on the interface between the scheduler and the data...

LH*—a scalable, distributed data structure
Witold Litwin, Marie-Anna Neimat, Donovan A. Schneider
Pages: 480-525
DOI: 10.1145/236711.236713
We present a scalable distributed data structure called LH*. LH* generalizes Linear Hashing (LH) to distributed RAM and disk files. An LH* file can be created from records with primary keys, or objects with OIDs, provided by any number of...

Semantics for update rule programs and implementation in a relational database management system
Louiqa Raschid, Jorge Lobo
Pages: 526-572
DOI: 10.1145/236711.236714
In this paper, we present our research on defining a correct semantics for a class of update rule (UR) programs, and discuss implemanting these programs in a DBMS environment. Update rules execute by updating relations in a database which may...