ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging.

Mohan, C., Haderle, D., Lindsay, B., Pirahesh, H., & Schwarz, P. (1992). ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Transactions on Database Systems, 17(1), 94-162.

Type

Journal article

Intellectual base

Primary research

Year

1992

DOI

10.1145/128765.128770

Link

https://doi.org/10.1145/128765.128770

Cited from

computer_science, engineering_design, linguistics_semiotics

Cited by

4 citations across 4 artifacts.

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

Primes

• Logging
  • The writer at event time is the database engine, which records the change description before applying it to the actual data pages — the defining discipline.

    This sourceCanonical write-ahead-logging recovery algorithm: log records appended before data pages are modified, ordered by monotonic log sequence numbers.

• Return Path
  • In software state and transactions it is undo stacks, transaction rollback, version-control revert, write-ahead-log recovery, and two-phase-commit abort paths: the forward path commits state, the return path unwinds it.

    This sourceSpecifies write-ahead logging with before-images so rollback can restore the last consistent state — the canonical return-path-as-infrastructure case.

• Setup–Resolution Pair
  • Once a pair has closed, the interval between its elements can be dropped from the working set: the details of how the demand was carried, what else happened while it was open, and which intermediate steps touched it stop mattering, because nothing downstream can depend on a demand that no longer exists.

Domain-specific

• No-Force Policy
  • The policy therefore exchanges synchronous data-page writeback at commit for a durable sequential history plus possible restart redo.

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:40d09633e4b6 · see in the full table