Decomposition Check

분해는 무손실 조인과 종속 보존 관점에서 검증한다

정규화는 테이블을 나누는 데서 끝나지 않는다. 원본 행을 되찾을 수 있고 중요한 제약을 검사할 수 있어야 한다.

필수
바람직
BCNF 예외
무손실 조인

분해한 테이블을 공통 키로 조인했을 때 원본 행만 복원된다.

종속 보존

중요한 FD를 매번 조인하지 않고도 각 테이블에서 검사할 수 있으면 좋다.

균형 판단

BCNF에서는 무손실을 우선하며 일부 종속 보존을 포기할 수 있다.

분해

student, course, enrollment

조인

학번과 과목코드로 복원

검증

가짜 행과 잃어버린 행이 없는지 확인

이진 분해에서는 공통 속성이 한쪽 분해 테이블의 키가 되면 무손실 조인의 충분 조건이 된다.