Простыми словами
Представьте бухгалтерскую книгу, куда намерение изменить баланс записывают до изменения основной таблицы. После сбоя журнал позволяет повторить или отменить незавершённые действия, поэтому база восстанавливает согласованное состояние.
Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на структуру компонентов, потоки данных, ограничения и действия участников. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Применять локальное решение без проверки контекста, ограничений и вторичных последствий.
Сначала определить механизм, затем выбрать минимальное изменение и измерить результат.
Ограничения
«Write-Ahead Log» объясняет только часть происходящего в области «Базы данных и данные». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.
Источник
C. Mohan et al.. ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks. 1992. DOI 10.1145/128765.128770.