Skip to main content

Introduction to the theory of nested transactions

Contributed Papers

Part of the Lecture Notes in Computer Science book series (LNCS,volume 243)

Keywords

  • Correctness Condition
  • Basic Object
  • Serial Operation
  • Serial System
  • Concurrent System

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-17187-8_42
  • Chapter length: 28 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   89.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-47346-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   119.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

9. References

  1. 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.

    Google Scholar 

  2. Beeri, C., Bernstein, P. A., and Goodman, N., "A Model for Concurrency in Nested Transaction Systems," Manuscript.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Bernstein, P. A., and Goodman, N., "Concurrency Control in Distributed Database Systems," ACM Computing Surveys 13,2 (June 1981), pp. 185–221.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Hoare, C.A.R., "Communicating Sequential Processes", Prentice Hall International Englewood Cliffs, NJ, 1985.

    Google Scholar 

  10. Kedem, Z., and Silberschatz, A., "A Characterization of Database Graphs Admitting a Simple Locking Protocol", Acta Informatica 16 (1981) pp. 1–13.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. Liskov, B., Herlihy, M., Johnson, P., Leavens, G., Scheifler, R., and Weihl, W., "Preliminary Argus Reference Manual," Programming Methodology Group Memo 39, October 1983.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. Lynch, N., and Merritt, M., "Introduction to the Theory of Nested Transactions", MIT Technical Report, AT&T Bell Labs Technical Report.

    Google Scholar 

  15. Lynch, N., and Tuttle, M., "Correctness Proofs for Distributed Algorithms", in progress.

    Google Scholar 

  16. Lynch, N. A., "Concurrency Control For Resilient Nested Transactions," Advances in Computing Research 3, 1986, pp. 335–373.

    Google Scholar 

  17. Milner, R., "A Calculus of Communicating Systems", Lecture Notes in Computer Science, #92, Springer-Verlag, Berlin, 1980.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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