Почему восстановление сначала повторяет все, включая незафиксированные транзакции, вместо того, чтобы сразу перейти к отмене?

Question

Accepted Answer

Потому что грязная страница незафиксированной транзакции могла уже быть сброшена на диск до сбоя. Повторное выполнение всего сначала гарантирует, что страницы достигнут известного согласованного состояния, а затем отмена выборочно откатывает незафиксированные части — пропуск повторного выполнения может привести к тому, что страницы останутся в противоречивом сочетании данных до и после изменения.

## Пример

```sql
BEGIN;

INSERT INTO orders (id, customer_id) VALUES (1, 42);
SAVEPOINT before_risky_step;

UPDATE inventory SET stock = stock - 1 WHERE product_id = 999; -- fails: constraint violation
ROLLBACK TO SAVEPOINT before_risky_step; -- undoes only the failed step

COMMIT; -- the order insert is still committed
```

## Итог

Потому что грязная страница незафиксированной транзакции могла уже быть сброшена на диск до сбоя.