Accession Number:

ADA171428

Title:

Introduction to the Theory of Nested Transactions,

Descriptive Note:

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s):

Report Date:

1986-07-01

Pagination or Media Count:

65.0

Abstract:

This paper develops the foundation for a general theory of nested transactions. We present a simple formal model for studying concurrency and resiliency in a nested environment. This model has distinct advantages over the many alternatives, the greatest of which is the unification of a subject replete with formalisms, correctness conditions and proof techniques. The authors are presently engaged in an ambitious project to recast the substantial amount of work in nested transactions within this single intuitive framework. These pages contain the preliminary results of that project - a description of the model, and its use in stating and proving correctness conditions for two variations of a well-known algorithm.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE