Checklist

정규화 판단은 FD, 키, 분해 검증을 함께 본다

정규화의 핵심 질문은 이 테이블을 그대로 두어도 상태 일관성이 유지되는가이다.

함수 종속
분해 검증
1테이블이 하나의 주제만 다루는가?
2모든 비키 속성이 기본키 전체에 완전 함수 종속인가?
3후보키가 여러 개일 때 주요/비주요 속성을 구분했는가?
4비키 속성이 다른 비키 속성을 결정하지 않는가?
5모든 비자명 FD의 결정자가 슈퍼키인지, BCNF 관점에서도 확인했는가?
6분해 후 무손실 조인과 중요한 종속 보존 여부를 검증했는가?
7반정규화가 있다면 성능 근거와 동기화 책임을 명시했는가?
실무 기준은 보통 3NF 또는 BCNF다. 더 높은 정규형은 문제 유형과 업무 규칙이 실제로 요구할 때 검토한다.