문제
데이터베이스 트랜잭션의 ACID 특성 중 **일관성(Consistency)**을 보장하기 위한 무결성 제약조건의 종류 3가지를 설명하고, 분산 트랜잭션에서 2단계 커밋 프로토콜(2PC)이 원자성과 일관성을 어떻게 보장하는지 각 단계별로 서술하시오.
정답
무결성 제약조건은 개체 무결성(기본키는 NULL이나 중복값을 가질 수 없음), 참조 무결성(외래키는 참조 테이블의 기본키 값이거나 NULL), 도메인 무결성(속성값은 정의된 도메인 범위 내 값)이 있다. 2PC는 1단계(준비)에서 코디네이터가 모든 참여자에게 준비 메시지 전송 후 투표 수집, 2단계(커밋/롤백)에서 모든 참여자가 YES 응답 시 전체 커밋, 하나라도 NO/응답없으면 전체 롤백하여 분산 환경에서 원자성과 일관성을 보장한다.
개체 무결성참조 무결성도메인 무결성기본키외래키준비 단계커밋 단계코디네이터참여자투표원자성일관성
해설
일관성은 무결성 제약조건을 통해 보장되며, 개체 무결성은 기본키의 유일성과 NOT NULL을 강제하고, 참조 무결성은 외래키 관계의 일관성을 유지하며, 도메인 무결성은 데이터 타입과 범위를 제한한다. 분산 트랜잭션에서 2PC는 모든 노드가 동일한 결정(커밋 또는 롤백)을 내리도록 하여 분산 환경에서도 ACID 특성을 보장한다.