ACM Transactions on Database Systems (TODS), Volume 19

Volume 19, Number 1, March 1994

Won Kim: Charter and Scope. 1-2
Martin S. Olivier, Sebastiaan H. von Solms:
A Taxonomy for Secure Object-Oriented Databases. 3-46
Patrick Tendick, Norman S. Matloff:
A Modified Random Perturbation Method for Database Security. 47-63
James Clifford, Albert Croker, Alexander Tuzhilin:
On Completeness of Historical Relational Query Languages. 64-116
Kenneth Salem, Hector Garcia-Molina, Jeannie Shands:
Altruistic Locking. 117-165

Arnon Rosenthal, David S. Reiner:
Tools and Transformations - Rigorous and Otherwise - for Practical Database Design. 167-211
M. W. Bright, Ali R. Hurson, Simin H. Pakzad:
Automated Resolution of Semantic Heterogeneity in Multidatabases. 212-253
Edward Sciore, Michael Siegel, Arnon Rosenthal:
Using Semantic Values to Falilitate Interoperability Among Heterogeneous Information Systems. 254-290
V. S. Subrahmanian:
Amalgamating Knowledge Bases. 291-331
Tak W. Yan, Hector Garcia-Molina:
Index Structures for Selective Dissemination of Information Under the Boolean Model. 332-364

Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca:
Automatic Generation of Production Rules for Integrity Maintenance. 367-422
Christos A. Polyzois, Hector Garcia-Molina:
Evaluation of Remote Backup Algorithms for Transaction-Processing Systems. 423-449
Panos K. Chrysanthis, Krithi Ramamritham:
Synthesis of Extended Transaction Models Using ACTA. 450-491
Henry F. Korth, Gregory D. Speegle:
Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model. 492-535

Kenneth J. Goldman, Nancy A. Lynch:
Quorum Consensus in Nested Transaction Systems. 537-585
Narayanan Krishnakumar, Arthur J. Bernstein:
Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. 586-625
Marianne Winslett, Kenneth Smith, Xiaolei Qian:
Formal Query Languages for Secure Relational Databases. 626-662