Introduction to the Theory of Nested Transactions,

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1986
Accession Number
ADA171428

Entities

People

  • Michael Merritt
  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Artificial Intelligence
  • Automata
  • Automata Theory
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Control Systems
  • Data Storage Systems
  • Databases
  • Information Processing
  • Language
  • Multithreading
  • Programming Languages
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design