트랜잭션 전후로 무결성 규칙이 그대로 유지

② 일관성 = 무결성 유지

일관성CONSISTENCY

Definition

시작 전이 일관된 상태였다면 종료 후에도 일관된 상태 유지. 메커니즘 = 무결성 제약(PK·FK·CHECK) + 정규화 + 트리거.

무결성 유형	메커니즘 · 작동 시점
선언적	개체(PK)·참조(FK)·도메인(CHECK) — COMMIT 직전 거부
구조적	정규화(1NF~5NF) — 중복 자체를 구조적 제거
응용	트리거 — DML 실행 전/후 검증

합격 한 줄

일관성 = 무결성 제약 + 정규화 = 전후 규칙 유지. 무결성을 깨는 COMMIT은 DBMS가 자동 거부 → ROLLBACK — "COMMIT 직전 검증 후 거부"가 일관성의 본질이에요.