Principles of Transaction-Oriented Database Recovery.

Haerder, T., & Reuter, A. (1983). Principles of Transaction-Oriented Database Recovery. ACM Computing Surveys, 15(4), 287-317.

Type

Journal article

Intellectual base

Primary research

Year

1983

DOI

10.1145/289.291

Link

https://doi.org/10.1145/289.291

Cited from

computer_science, mathematics, philosophy

Cited by

7 citations across 7 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Commitment
  • The release/breach invariants appear as the transaction's alternative — ROLLBACK before commit discharges the tentative state at no cost, while a failure after commit cannot quietly retract the writes; durability guarantees they persist even through a crash, which is the cost-on-breach made absolute.

    This sourceDefines the ACID properties — including atomicity and durability — that make a database COMMIT an absolute, irrevocable bind.

• Data Integrity

  • This sourceCoins the ACID acronym (atomicity, consistency, isolation, durability) and gives a unified terminology for transaction recovery. Bibliography-only (tier C) — appears only in the references list (appended to the codd-1970 entry), never cited in the body; existence-verified and linked.

• Relation
  • Listed in the references but not attached to a specific claim.
• Set and Membership
  • Listed in the references but not attached to a specific claim.
• Transaction
  • The unit of work — scope boundary defining which operations are atomic (statements, API calls, distributed steps, workflow)
• Unity Test
  • The whole-licensed predicates are exactly the point: "the transaction committed," "the transaction was isolated from concurrent readers," "the transaction was durable" are predicates that make sense only of the whole, not of any constituent write

    This sourceDefines the ACID properties — atomicity, consistency, isolation, durability — the whole-level predicates a committed transaction confers on its constituent writes.

Mechanisms

• Database Transaction
  • Its strength is that atomicity, consistency, isolation, and durability

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:762fb334ef91 · see in the full table