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 4, Dec. 1994

Quorum consensus in nested-transaction systems
Kenneth J. Goldman, Nancy Lynch
Pages: 537-585
DOI: 10.1145/195664.195666
Gifford's Quorum Consensus algorithm for data replication is studied in the context of nested transactions and transaction failures (aborts), and a fully developed reconfiguration strategy is presented. A formal description of the algorithm is...

Bounded ignorance: a technique for increasing concurrency in a replicated system
Narayanan Krishnakumar, Arthur J. Bernstein
Pages: 586-625
DOI: 10.1145/195664.195670
Databases are replicated to improve performance and availability. The notion of correctness that has commonly been adopted for concurrent access by transactions to shared, possibly replicated, data is serializability. However, serializability...

Formal query languages for secure relational databases
Marianne Winslett, Kenneth Smith, Xiaolei Qian
Pages: 626-662
DOI: 10.1145/195664.195675
The addition of stringent security specifications to the list of requirements for an application poses many new problems in DBMS design and implementation, as well as database design, use, and maintenance. Tight security requirements, such as...