분해는 무손실 조인과 종속 보존을 따로 검증한다
정규화는 테이블을 나누는 데서 끝나지 않는다. 공통 키로 원본 행이 복원되는지, 중요한 함수 종속을 각 분해 테이블에서 검사할 수 있는지 분리해서 본다.
원본 R
student_id
course_id
professor_id
grade
분해 결과
R1(student_id, course_id, grade)
R2(student_id, professor_id)
무손실 조인
공통 속성 student_id가 한쪽 분해에서 키 역할을 하면 R1 ⋈ R2가
원본 R의 행만 복원한다.
종속 보존
professor_id → course_id처럼 분해 테이블 하나에 모이지 않는
종속은 조인 없이 검사하기 어렵다.
질문확인 위치통과 기준판정
공통 속성R1과 R2의 교집합교집합이 적어도 한쪽 릴레이션의 키무손실
중요 FD각 분해 릴레이션 내부조인 없이 모든 핵심 FD를 검증 가능보존 위험
균형 판단BCNF 예외 여부무손실을 우선하고 검사 비용을 문서화조건부 채택
판정: 이전 분해에서는 공통 속성이 충분 조건을 만족한다. 다만 보존되지 않는 FD가 있으면 애플리케이션 검증이나 제약 설계 비용을 따로 남긴다.