【ITニュース解説】Understanding ACID Properties with SQL Transactions

システム開発において、データベースは非常に重要な役割を担っている。特に、複数の人が同時にデータを扱ったり、システム障害が発生したりするような状況でも、データの正確性や信頼性を保証する必要がある。この「データの信頼性」を確立するために不可欠な考え方が「ACID特性」である。ACIDとは、Atomicity（原子性）、Consistency（一貫性）、Isolation（独立性）、Durability（永続性）という四つの特性の頭文字を取ったもので、これらの特性がデータベースのトランザクション管理において、データの完全性を保証する基盤となっている。

ここでは、Accountsというシンプルな口座情報テーブルを例に、ACID特性が具体的にどのように機能するのかを見ていこう。まず、Accountsテーブルは以下のように定義され、初期データが投入されている。

CREATE TABLE Accounts ( acc_no INT PRIMARY KEY, name VARCHAR(50), balance INT CHECK (balance >= 0) ); INSERT INTO Accounts VALUES (101, 'pranav', 5000); INSERT INTO Accounts VALUES (102, 'sashmi', 3000); INSERT INTO Accounts VALUES (103, 'harini', 7000);

このテーブルには、口座番号（acc_no）、名前（name）、残高（balance）が格納され、特に残高はCHECK (balance >= 0)という制約によってマイナスにならないように設定されている。この準備されたテーブルを使って、それぞれのACID特性を詳しく見ていく。

Atomicity（原子性）とは、一連のデータベース操作が「すべて成功するか、あるいはすべて失敗して何も変更がなかった状態に戻るか」のどちらか一方になることを保証する特性である。部分的に成功して部分的に失敗するような中途半端な状態は許されない。例えば、銀行の口座間で送金を行う場合、送金元からお金が引き落とされたにもかかわらず、送金先に振り込まれる前にシステムが停止してしまったら、データの整合性が失われてしまう。原子性はこの問題を解決し、常にデータの整合性を保つ。

SQLでは、複数の操作をSTART TRANSACTION;とCOMMIT;（またはROLLBACK;）で囲むことで、一つのまとまった処理単位である「トランザクション」として扱う。トランザクション内のすべての操作が成功すればCOMMIT;によって変更が確定し、もし途中でエラーが発生したり、意図的に取り消したりする場合はROLLBACK;によってトランザクション開始前の状態に戻る。

START TRANSACTION; UPDATE Accounts SET balance = balance - 1000 WHERE acc_no = 101; UPDATE Accounts SET balance = balance + 1000 WHERE acc_no = 102; ROLLBACK;

この例では、口座番号101から1000円を引き出し、口座番号102に1000円を追加する二つの更新処理をトランザクションとして開始している。しかし、最後のROLLBACK;コマンドによって、これらの変更はデータベースに反映されず、トランザクション開始前の残高に戻される。実際にSELECT * FROM Accounts;で確認しても、口座101と102の残高は初期値のままとなっているはずである。これが原子性の働きであり、データの一貫性を保つために非常に重要な役割を果たす。

Consistency（一貫性）とは、データベースに設定されたすべてのルールや制約が、トランザクションの前後で常に守られることを保証する特性である。例えば、テーブルに「残高はゼロ以上でなければならない」という制約が設定されている場合、いかなるトランザクションもこの制約を破って残高をマイナスにするような操作はできない。もしそのような操作を試みた場合、データベースはそれを拒否し、エラーを発生させることでデータの一貫性を保護する。

先ほど定義したAccountsテーブルには、balance INT CHECK (balance >= 0)という制約が設定されている。これは、balance列の値が常に0以上であることを強制するルールである。この制約があるため、負の残高を持つ口座を挿入しようとすると、データベースはその操作を拒否する。

INSERT INTO Accounts VALUES (104, 'David', -2000);

このSQLを実行すると、データベースから「ERROR: CHECK constraint failed: Accounts」のようなエラーメッセージが返される。これは、挿入しようとした値-2000がbalance >= 0という制約に違反しているため、データベースがその操作を許可しなかったことを示している。このように、一貫性はデータベースが常に健全な状態を保ち、定義されたビジネスルールやデータの整合性を維持するために不可欠な特性である。

Isolation（独立性）とは、複数のトランザクションが同時に実行される場合でも、それらが互いに干渉し合うことなく、あたかも一つずつ順番に実行されているかのように見えることを保証する特性である。つまり、あるトランザクションが変更を行っている途中であっても、他のトランザクションはその変更途中の状態を見ることなく、常に確定済みの整合性の取れたデータを見ることができる。これにより、複数のユーザーやプロセスが同時にデータベースにアクセスしても、互いの操作が予期せぬ影響を与え合うことがなく、信頼性の高い処理が可能になる。

この概念を理解するために、二つのセッション（データベースへの接続）が同時に動作する状況を想像してみよう。

セッション1: START TRANSACTION; UPDATE Accounts SET balance = balance - 500 WHERE acc_no = 101; -- ここでコミットせずに一時停止

セッション2: SELECT * FROM Accounts WHERE acc_no = 101;

多くのデータベースシステムでデフォルト設定されている「READ COMMITTED」という分離レベルの場合、セッション1がUPDATEを実行した直後でまだCOMMIT;をしていない状態では、セッション2がSELECTを実行しても、セッション1が行った変更はまだ見ることができない。セッション2は、セッション1がトランザクションを開始する前の、古い残高のデータを見ることになる。これは、セッション1の変更がまだ確定していないため、他のセッションから見ると不整合な状態である可能性があるからだ。

SELECT * FROM Accounts WHERE acc_no = 101;

セッション2はまだ古い残高を見ている。 その後、セッション1でCOMMIT;が実行されて初めて、その変更がデータベースに永続的に反映され、その後のセッション2のSELECTからは新しい残高が見えるようになる。このように、独立性は、並行して動作するトランザクション同士が互いに影響を与えずに、正しいデータに基づいて処理を進めることを保証するのである。

Durability（永続性）とは、一度トランザクションが正常に完了し、COMMIT;された変更は、たとえその後システム障害（例えば、電源喪失やデータベースサーバーのクラッシュなど）が発生したとしても、決して失われることなく永続的に保存されることを保証する特性である。データベースは、コミットされた変更をストレージ（ハードディスクなど）に確実に書き込むための仕組みを持っており、システムの再起動後もその変更が維持されることを保証する。

START TRANSACTION; UPDATE Accounts SET balance = balance + 2000 WHERE acc_no = 103; COMMIT;

この例では、口座番号103の残高に2000円を追加する更新を行い、その変更をCOMMIT;で確定している。COMMIT;が成功した時点で、この変更はデータベースに永続的に記録されたとみなされる。

もしこの直後にデータベースサーバーが手動で再起動されたとしても、その後再びデータベースに接続し、口座番号103の残高を確認すると、COMMIT;によって更新された新しい残高（初期値7000円 + 2000円 = 9000円）が正しく表示される。

SELECT acc_no, name, balance FROM Accounts WHERE acc_no = 103;

このように、永続性は、一度確定したデータはどんなシステム障害が起きても失われず、確実に保存されることを保証するため、データベースを利用する上で最も基本的な信頼性の要素となる。

以上、ACID特性を一つずつ見てきた。Atomicity、Consistency、Isolation、Durabilityの四つの特性は、それぞれが独立して機能するだけでなく、互いに密接に連携し合うことで、データベースにおけるトランザクション処理が常に信頼性と完全性を保つことを可能にしている。システムエンジニアにとって、これらの特性を理解することは、堅牢で信頼性の高いシステムを設計し、開発する上で非常に重要である。データベースは単にデータを保存するだけでなく、ACID特性によってそのデータの信頼性を保証していることを忘れてはならない。