Atomicity - Design a Reliable Wallet Transfer System with ACID Guarantees

Context

결제 애플리케이션에서 송금 시 돈이 출금되지만 수신되지 않거나, 데이터베이스 오류 중간에 첫 번째 쿼리만 실행되고 두 번째가 실패하는 경우가 발생할 수 있다. 트랜잭션 없이 순차적으로 쿼리를 실행하면 일관성 없는 데이터 상태가 발생한다.

Technical Solution

• BEGIN·COMMIT·ROLLBACK으로 다중 UPDATE 쿼리를 단일 원자 단위로 관리: Alice 잔액 감소와 Bob 잔액 증가를 하나의 트랜잭션으로 묶음
• 트랜잭션 중 오류 발생 시 전체 작업 롤백: 컬럼명 오류, 존재하지 않는 테이블 접근, CHECK 제약 위반 등 모든 실패 케이스에서 변경사항 무효화
• CHECK 제약 조건(balance >= 0)으로 음수 잔액 방지: 잔액을 0 이상으로 유지하는 데이터베이스 레벨 검증
• 트랜잭션 없는 순차 실행과의 비교: 트랜잭션 미사용 시 첫 번째 UPDATE는 성공하고 두 번째 UPDATE 실패 시 부분 업데이트 발생 확인

Key Takeaway

Atomicity는 "모두 실행되거나 아무것도 실행되지 않는다"는 원칙으로, 금융 시스템에서 데이터 무결성 보호의 핵심이다. 트랜잭션 없이 여러 쿼리를 순차 실행하면 중간 오류 시 일관성 없는 상태가 되므로, 관련 작업은 반드시 하나의 트랜잭션으로 묶어야 한다.