Lossless Join

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

분해한 릴레이션을 공통 속성 기준으로 다시 조인했을 때 원본 행 집합과 정확히 같아야 정규화 분해라고 할 수 있다.

R1 주문

O100 · C01 O101 · C02

R2 고객

C01 · 김철수 · 서울 C02 · 이영희 · 부산

복원 R

O100 · C01 · 서울 O101 · C02 · 부산
원본 복원 조인 결과가 분해 전 R의 행과 속성을 모두 되찾는다.
가짜 튜플 금지 원본에 없던 조합이 생기면 무손실이 아니다.
검증 질문 공통 속성이 한쪽 릴레이션의 키인지 확인한다.