Introduction to the theory of nested transactions

  • Nancy Lynch
  • Michael Merritt
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 243)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

9. References

  1. [AM]
    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. [BBG]
    Beeri, C., Bernstein, P. A., and Goodman, N., "A Model for Concurrency in Nested Transaction Systems," Manuscript.Google Scholar
  3. [BBGLS]
    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. [BG]
    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. [EGLTxx]
    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. [Go]
    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. [Gr]
    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. [HM]
    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. [Ho]
    Hoare, C.A.R., "Communicating Sequential Processes", Prentice Hall International Englewood Cliffs, NJ, 1985.Google Scholar
  10. [KS]
    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. [LaS]
    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. [LHJLSW]
    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. [LiS]
    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. [LM]
    Lynch, N., and Merritt, M., "Introduction to the Theory of Nested Transactions", MIT Technical Report, AT&T Bell Labs Technical Report.Google Scholar
  15. [LTxx]
    Lynch, N., and Tuttle, M., "Correctness Proofs for Distributed Algorithms", in progress.Google Scholar
  16. [Ly]
    Lynch, N. A., "Concurrency Control For Resilient Nested Transactions," Advances in Computing Research 3, 1986, pp. 335–373.Google Scholar
  17. [Mi]
    Milner, R., "A Calculus of Communicating Systems", Lecture Notes in Computer Science, #92, Springer-Verlag, Berlin, 1980.Google Scholar
  18. [Mo]
    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. [R]
    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. [RLS]
    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. [Wa]
    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. [We]
    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

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Nancy Lynch
    • 1
  • Michael Merritt
    • 2
  1. 1.Massachusetts Institute of TechnologyCambridge
  2. 2.A. T. and T. Bell LaboratoriesMurray Hill

Personalised recommendations