α → β 에서 알파가 같을 때 베타도 같아야함 슈퍼키가 아닌 것으로부터의 dependency를 나타낼 수 있다.
다시 합쳤을 때 본래 테이블이 나와야 lossless decomposition. R1 ∩ R2 → R1 or R2
decomposition 시 functional dependency가 유지됨
FD가 α → β is trivial 또는 α 가 슈퍼키 조건을 만족
분해 : (α ∪ β), (R - (β - α))
BCNF는 정보의 중복이 적지만 dependency preserving X
BCNF 조건 또는 β - α 가 후보키에 포함 조건을 만족
3NF는 정보의 중복이 많지만 dependency preserving
널이 들어갈 수 있음
sound : 맞는것만 생성한다.
Complete : 싹다 생성한다.