ACM DL

Database Systems (TODS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Database Systems (TODS), Volume 19 Issue 3, Sept. 1994

Automatic generation of production rules for integrity maintenance
Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
Pages: 367-422
DOI: 10.1145/185827.185828
In this article we present an approach to integrity maintenance, consisting of automatically generating production rules for integrity enforcement. Constraints are expressed as particular formulas of Domain Relational Calculus; they are...

Evaluation of remote backup algorithms for transaction-processing systems
Christos A. Polyzois, Héctor García-Molina
Pages: 423-449
DOI: 10.1145/185827.185836
A remote backup is a copy of a primary database maintained at a geographically separate location and is used to increase data availability. Remote backup systems are typically log-based and can be classified into 2-safe and 1-safe, depending on...

Synthesis of extended transaction models using ACTA
Panos K. Chrysanthis, Krithi Ramamritham
Pages: 450-491
DOI: 10.1145/185827.185843
ACTA is a comprehensive transaction framework that facilitates the formal description of properties of extended transaction models. Specifically, using ACTA, one can specify and reason about (1) the effects of transactions on objects and (2) the...

Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
Henry F. Korth, Greg Speegle
Pages: 492-535
DOI: 10.1145/185827.185854
In the typical database system, an execution is correct if it is equivalent to some serial execution. This criterion, called serializability, is unacceptable for new database applications which require long-duration transactions. We present a...