Lossless Join

무손실 조인은 잃은 행도 가짜 행도 없어야 한다

분해 후 공통 속성 기준 조인으로 원본을 정확히 되찾아야 정규화 분해라고 할 수 있다.

원본 복원
가짜 튜플
검증
좋은 분해

R1 ⋈ R2 결과가 원본 R과 정확히 같다.

나쁜 분해

원본에 없던 조합이 생기거나 원래 행이 사라진다.

분해

R → R1 + R2

조인

공통 속성 기준으로 복원

비교

R과 같은지 확인