데이터 종속성과 정규화

함수종속

어떤 릴레이션 R에서 X와 Y를 의 애트리뷰트 집합의 부분집합이라 하자.  X의 값 각각에 대해 시간에 관계 없이 Y의 값이 오직 하나만 연관되어 있을 때 Y는 X에 함수종속이라 하고 X →Y로 표기한다. 이 때, X를 결정자, Y를 종속자라고 한다.

제 1 정규형(1NF)

어떤 릴레이션 R에 속한 모든 도메인이 원자값만으로 되어 있다면 제 1 정규형이라고 한다.

제 2 정규형(2NF)

릴레이션 R이 1NF고, 기본키에 속하지 않은 애트리뷰트 모두가 기본키에 완전 함수 종속일때 제 2 정규형이라고 한다.

제 3 정규형(3NF)

릴레이션 R이 2NF고, 기본키에 속하지 않은 애트리뷰트 모두가 기본키에 이행적 함수 종속이 아닐 때 제 3 정규형이라고 한다.

보이스/코드 정규형(BCNF)

어떤 릴레이션 R의 모든 결정자가 후보키일 때 보이스/코드 정규형이라고 한다.

제 4 정규형(4NF)

어떤 릴레이션 R에 다치종속 MVD A -》B가 존재할 때, R의 모든 애트리뷰트가 A에 함수종속이면 제 4 정규형이라고 한다.

제 5 정규형(5NF)

어떤 릴레이션 R에 존재하는 모든 조인종속이 후보키를 통해서만 이루어진다면 제 5 정규형이라고 한다.