Transaction

トランザクションは、ACID 特性を満たす単一の論理単位として実行される操作のグループである。すべて実行されるか、まったく実行されないかのどちらかである。

目的

複数の操作をアトミックな単位にまとめ、障害時や並行実行時の正しさを保証する。

メカニズム

BEGIN で開始し、操作を実行し、COMMIT で確定または ROLLBACK で中断する。原子性はアンドゥログ、永続性はリドゥログ/WAL、独立性はロックまたは MVCC で保証される。分散トランザクションは 2PC/3PC や Saga パターンを使う。

ユースケース

バンキングシステムの送金
注文と在庫の引き当てを行う
リレーショナルの複数テーブル更新
分散サービス間の連携操作

例

入力
```
BEGIN; A→B 100; COMMIT
```
Output
```
Atomic transfer
```
All or nothing

よくあるエラー

No explicit transaction causes partial commits: Wrap related operations in a transaction

関連用語

ACID はリレーショナルトランザクションの四性質：原子性（全実行または全ロールバック）、一貫性（制約保持）、隔離性（並行互不干渉）、永続性（コミット後不消失）。

Isolation Level

分離レベル（Isolation Level）は、並行トランザクション間の可視性を定義する。リードアンコミッテッドからシリアライザブルまであり、高いレベルほど強い一貫性を与えるが並行性は下がる。

主キー（プライマリキー）とは、テーブル内の各行を一意に識別する列または列の組み合わせである。NULL不可かつ一意であり、行の識別子となる。

References