functional Dependency

α → β 에서 알파가 같을 때 베타도 같아야함 슈퍼키가 아닌 것으로부터의 dependency를 나타낼 수 있다.

lossless decomposition

다시 합쳤을 때 본래 테이블이 나와야 lossless decomposition. R1 ∩ R2 → R1 or R2

dependency preservation

decomposition 시 functional dependency가 유지됨

BCNF

FD가 α → β is trivial 또는 α 가 슈퍼키 조건을 만족

분해 : (α ∪ β), (R - (β - α))

BCNF는 정보의 중복이 적지만 dependency preserving X

3NF

BCNF 조건 또는 β - α 가 후보키에 포함 조건을 만족

3NF는 정보의 중복이 많지만 dependency preserving

널이 들어갈 수 있음

F의 closure

sound : 맞는것만 생성한다.

Complete : 싹다 생성한다.