A Theory of Atomic Transactions

Abstract

This paper describes some results of a recent project to develop a theory for reasoning about atomic transactions. This theory allows careful statement of the correctness conditions to be satisfied by transaction processing algorithms, as well as clear and concise description of such algorithms. It also serves as a framework for rigorous correctness proofs. Keywords: Concurrency control; Serializability; Coding, Nested transactions; Database theory.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1988
Accession Number
ADA197407

Entities

People

  • Alan Fekete
  • Michael Merritt
  • Nancy Lynch
  • William Weihl

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Autonomy
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Classification
  • Computations
  • Computer Programming
  • Computer Science
  • Databases
  • Distributed Computing
  • Language
  • Multithreading
  • Notation
  • Programming Languages
  • Reasoning
  • Recovery
  • Security
  • Specifications
  • Standards
  • User Interface

Fields of Study

  • Computer science

Readers

  • Calculus or Mathematical Analysis
  • Computational Linguistics
  • Parallel and Distributed Computing.