This work was supported in part by the Office of Naval Research under Contract N00014-85-K-0168, by the Office of Army Research under Contract DAAG29-84-K-0058, by the National Science Foundation under Grant DCR-83-02391, and by the Defense Advanced Research Projects Agency (DARPA) under Grant N00014-83-K-0125.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
9. References
Allchin, J. E., and McKendry, M. S., "Synchronization and Recovery of Actions," Proc. 1983 Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17–19, 1982, pp. 31–44.
Beeri, C., Bernstein, P. A., and Goodman, N., "A Model for Concurrency in Nested Transaction Systems," Manuscript.
Beeri, C., Bernstein, P. A., Goodman, N., Lai, M. Y., and Shasha, D. E., "A Concurrency Control Theory for Nested Transactions," Proc. 1983 Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17–19, 1983, pp. 45–62.
Bernstein, P. A., and Goodman, N., "Concurrency Control in Distributed Database Systems," ACM Computing Surveys 13,2 (June 1981), pp. 185–221.
Eswaren, K. P., Gray, J. N., Lorie, R. A., and Traiger, I. L., "The Notions of Consistency and Predicate Locks in a Database Systems," Communications of the ACM, Vol. 19, No. 11, November 1976, pp. 624–633.
Goree, Jr., John A., "Internal Consistency of a Distributed Transaction System With Orphan Detection," MS Thesis, Technical Report MIT/LCS/TR-286, MIT Laboratory for Computer Science, Cambridge, MA., January 1983.
Gray, J., "Notes on Database Operating Systems," in Bayer, R., Graham, R. and Seegmuller, G. (eds), Operating Systems: an Advanced Course, Lecture Notes in Computer Science, Vol. 60, Springer-Verlag, 1978.
Herlihy, M., and McKendry, M., "Time-Driven Orphan Elimination", in Proc. of the 5th Symposium on Reliability in Distributed Software and Database Systems, Los Angeles, CA., January 1986, pp. 42–48.
Hoare, C.A.R., "Communicating Sequential Processes", Prentice Hall International Englewood Cliffs, NJ, 1985.
Kedem, Z., and Silberschatz, A., "A Characterization of Database Graphs Admitting a Simple Locking Protocol", Acta Informatica 16 (1981) pp. 1–13.
Lampson, B. W., and Sturgis, H. E., "Crash Recovery in a Distributed Data Storage System," Tech. Rep., Computer Science Lab., Xerox Palo Alto Research Center, Palo Alto, Calif., 1979.
Liskov, B., Herlihy, M., Johnson, P., Leavens, G., Scheifler, R., and Weihl, W., "Preliminary Argus Reference Manual," Programming Methodology Group Memo 39, October 1983.
Liskov, B., and Scheifler, R., "Guardians and Actions: Linguistic Support for Robust, Distributed Programs", ACM Transactions on Programming Languages and Systems 5, 3, (July 1983), pp. 381–404.
Lynch, N., and Merritt, M., "Introduction to the Theory of Nested Transactions", MIT Technical Report, AT&T Bell Labs Technical Report.
Lynch, N., and Tuttle, M., "Correctness Proofs for Distributed Algorithms", in progress.
Lynch, N. A., "Concurrency Control For Resilient Nested Transactions," Advances in Computing Research 3, 1986, pp. 335–373.
Milner, R., "A Calculus of Communicating Systems", Lecture Notes in Computer Science, #92, Springer-Verlag, Berlin, 1980.
Moss, J. E. B., "Nested Transactions: An Approach To Reliable Distributed Computing," Ph.D. Thesis, Technical Report MIT/LCS/TR-260, MIT Laboratory for Computer Science, Cambridge, MA., April 1981. Also, published by MIT Press, March 1985.
Reed, D. P., "Naming and Synchronization in a Decentralized Computer System," Ph.D Thesis, Technical Report MIT/LCS/TR-205, MIT Laboratory for Computer Science, Cambridge MA 1978.
Rosenkrantz, D. J., Lewis, P. M., and Stearns, R. E., "System Level Concurrency Control for Distributed Database Systems," ACM Transactions on Database Systems, Vol. 3, No. 2, June 1978, pp. 178–198.
Walker, E. F., "Orphan Detection in the Argus System," M.S. Thesis, Technical Report/MIT/LCS/TR-326, MIT Laboratory for Computer Science, Cambridge, MA., June 1984.
Weihl, W. E., "Specification and Implementation of Atomic Data Types," Ph.D Thesis, Technical Report/MIT/LCS/TR-314, MIT Laboratory for Computer Science, Cambridge, MA., March 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lynch, N., Merritt, M. (1986). Introduction to the theory of nested transactions. In: Ausiello, G., Atzeni, P. (eds) ICDT '86. ICDT 1986. Lecture Notes in Computer Science, vol 243. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17187-8_42
Download citation
DOI: https://doi.org/10.1007/3-540-17187-8_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17187-4
Online ISBN: 978-3-540-47346-6
eBook Packages: Springer Book Archive