트랜잭션·ACID·회복·병행제어를 한 무대에서

송금 트랜잭션 통합 시연

-- 정상 송금 (본 경로)
BEGIN TRANSACTION;
  UPDATE account … balance - 10000
    WHERE id = '20231234';  -- 출금 X락
  UPDATE account … balance + 10000
    WHERE id = '20235678';  -- 입금 X락
  INSERT INTO transaction_log …;
COMMIT;  -- 완료 · 영속성(WAL)

단계	상태	ACID
BEGIN	활동	시작
UPDATE×2 + INSERT	활동→부분완료	원자성·격리성(X락)
COMMIT	완료	영속성 + 일관성(검증)

예외 경로 — ROLLBACK

INSERT에서 FK 위반 → 참조 무결성(일관성)이 작동 → DBMS 자동 거부 → ROLLBACK → 철회 → A·B 잔액 원상 복구(원자성). 무결성·ROLLBACK·ACID가 한 무대에서 맞물려요.