Что такое транзакции и свойства ACID?

Question

Accepted Answer

**Транзакция** — это группа операций, обрабатываемых как единое неделимое целое — либо все успешно завершаются (`COMMIT`), либо все отказываются (`ROLLBACK`). Транзакции гарантируют свойства **ACID**, обеспечивая корректность и согласованность данных даже при сбоях или конкурентном доступе.

## Транзакция — всё или ничего

```sql
BEGIN;                                              -- start the transaction
  UPDATE accounts SET balance = balance - 100 WHERE id = 1;   -- debit
  UPDATE accounts SET balance = balance + 100 WHERE id = 2;   -- credit
COMMIT;                                             -- both succeed → save permanently
-- if anything fails: ROLLBACK → undo EVERYTHING (no partial transfer)
```

Классический пример: денежный перевод. И дебет, и кредит должны произойти, или ни то, ни другое — иначе деньги теряются или создаются из ниоткуда. Транзакция гарантирует это: при ошибке `ROLLBACK` отменяет все изменения, оставляя базу данных в исходном состоянии.

## ACID — четыре гарантии

```text
A — ATOMICITY    → all operations succeed or all fail (no partial transactions)
C — CONSISTENCY  → the database moves from one valid state to another (constraints hold)
I — ISOLATION    → concurrent transactions don't interfere (as if run sequentially)
D — DURABILITY   → once committed, changes survive crashes (persisted permanently)
```

Эти свойства делают реляционные базы данных надёжными для критически важных данных.

## Почему атомарность важна (основная выгода)

```text
Without transactions, a failure mid-way leaves data in an inconsistent state:
  money debited from one account but not credited to another → data corruption.
Atomicity (all-or-nothing) prevents this — the cornerstone of data integrity for
any multi-step operation (transfers, orders with line items, etc.).
```

## Изоляция и конкурентность

```text
When many transactions run concurrently, ISOLATION controls what they can see of
each other's uncommitted changes. Isolation LEVELS (Read Committed, Repeatable Read,
Serializable) trade off consistency vs performance — higher isolation = more correct
but more locking/contention. (A deeper topic on its own.)
```

## Почему это важно

Транзакции и свойства ACID — фундамент надёжных баз данных — они гарантируют, что данные остаются корректными и согласованными даже при сбоях и конкурентном доступе, что критически важно для любого приложения, работающего с важными данными, поэтому их понимание необходимо.

Основная ценность — **атомарность** (всё или ничего): любая операция, включающая несколько шагов (денежный перевод, создание заказа с товарами, обновление связанных записей), должна либо полностью успешно завершиться, либо не произойти вообще — иначе сбой в середине операции оставляет базу в **повреждённом, несогласованном состоянии** (классический пример: деньги списаны, но не зачислены).

Транзакции гарантируют это с помощью `COMMIT`/`ROLLBACK`, что делает их необходимыми для целостности данных в многошаговых операциях.

Понимание всех свойств **ACID** — **Атомарность** (всё или ничего), **Согласованность** (корректные состояния), **Изоляция** (конкурентные транзакции не мешают друг другу), **Долговечность** (зафиксированные изменения сохраняются при сбоях) — объясняет, почему реляционные базы данных используются для критически важных данных (финансы, заказы, инвентарь).

Знание того, что **изоляция** управляет поведением конкурентности (уровни изоляции обменивают согласованность на производительность), связано с более глубокими темами конкурентности.

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