다섯 번째 정규 형태
Fifth normal form프로젝트 조인 정규 형태(PJ/NF)라고도 하는 5번째 정규 형태(5NF)는 의미론적으로 연관된 다중 관계를 분리함으로써 다가치 사실을 기록하는 관계형 데이터베이스의 중복성을 줄이기 위해 고안된 데이터베이스 정규화 수준이다.테이블은 후보 키에 의해 해당 테이블의 모든 비경쟁 조인 종속성이 암시되는 경우에만 5NF에 있다고 한다.
R의 조인 종속성 *{A, B, … Z}은 각 A, B, … Z가 R의 수퍼키인 경우에만 R의 후보 키에 의해 암시된다.[1]
다섯 번째 정상적인 형태는 로널드 파긴이 1979년 회의 논문 Normal 형태와 관계형 데이터베이스 운영자에 의해 처음 기술되었다.[2]
예
다음 예를 고려해 보십시오.
| 트래블링 세일즈맨 | 브랜드 | 제품 유형 |
|---|---|---|
| 잭 슈나이더 | Acme | 진공청소기 |
| 잭 슈나이더 | Acme | 브레드박스 |
| 메리 존스 | 로부스토 | 프루닝 시어즈 |
| 메리 존스 | 로부스토 | 진공청소기 |
| 메리 존스 | 로부스토 | 브레드박스 |
| 메리 존스 | 로부스토 | 우산 스탠드 |
| 루이스 퍼거슨 | 로부스토 | 진공청소기 |
| 루이스 퍼거슨 | 로부스토 | 망원경 |
| 루이스 퍼거슨 | Acme | 진공청소기 |
| 루이스 퍼거슨 | Acme | 용암등 |
| 루이스 퍼거슨 | 님버스 | 타이 랙 |
표의 술어는 다음과 같다: 브랜드가 지정한 브랜드에 의해 만들어진 제품 종류는 여행 판매원이 지정한 여행 판매원으로부터 구할 수 있다.
1차 키는 세 열 모두를 합성한 것이다.또한 표에는 다중값 종속성(2부 결합 종속성)이 없으므로 다른 두 열의 결정 요인이 되는 열(후보 키 또는 수퍼키가 아닌 열)이 없기 때문에 표는 4NF에 있다는 점에 유의하십시오.
여행 판매원, 브랜드 및 제품 유형의 유효한 조합을 제한하는 규칙이 없는 경우, 상황을 정확하게 모델링하기 위해 위의 세 가지 속성 표가 필요하다.
그러나 다음과 같은 규칙이 적용된다고 가정합시다: 여행 판매원은 특정 브랜드와 특정 제품 유형을 레퍼토리에 가지고 있다. 브랜드 B1과 브랜드 B2가 레퍼토리에 있고 제품 유형 P가 레퍼토리에 있다면(브랜드 B1과 브랜드 B2가 모두 제품 유형 P를 만든다고 가정할 때), 여행 판매원은 브랜드 B1과 브랜드 B2가 만든 제품 유형 P의 제품을 제공해야 한다.
이 경우 테이블을 세 개로 나눌 수 있다.
| 트래블링 세일즈맨 | 제품 유형 |
|---|---|
| 잭 슈나이더 | 진공청소기 |
| 잭 슈나이더 | 브레드박스 |
| 메리 존스 | 프루닝 시어즈 |
| 메리 존스 | 진공청소기 |
| 메리 존스 | 브레드박스 |
| 메리 존스 | 우산 스탠드 |
| 루이스 퍼거슨 | 망원경 |
| 루이스 퍼거슨 | 진공청소기 |
| 루이스 퍼거슨 | 용암등 |
| 루이스 퍼거슨 | 타이 랙 |
| 트래블링 세일즈맨 | 브랜드 |
|---|---|
| 잭 슈나이더 | Acme |
| 메리 존스 | 로부스토 |
| 루이스 퍼거슨 | 로부스토 |
| 루이스 퍼거슨 | Acme |
| 루이스 퍼거슨 | 님버스 |
| 브랜드 | 제품 유형 |
|---|---|
| Acme | 진공청소기 |
| Acme | 브레드박스 |
| Acme | 용암등 |
| 로부스토 | 프루닝 시어즈 |
| 로부스토 | 진공청소기 |
| 로부스토 | 브레드박스 |
| 로부스토 | 우산 스탠드 |
| 로부스토 | 망원경 |
| 님버스 | 타이 랙 |
이 경우 루이 퍼거슨이 ACME가 만든 진공청소기(ACME가 진공청소기를 만든다고 가정)를 내놓는 것은 ACME(라바램프)가 만든 다른 제품을 팔고 다른 브랜드(로부스토)가 만든 진공청소기도 판매한다면 불가능한 일이다.
이 설정을 통해 중복성을 제거할 수 있는 방법을 확인하십시오.잭 슈나이더가 로부스토의 제품인 브레드박스와 진공청소기를 판매하기 시작했다고 가정해보자.이전 설정에서는 각 제품 유형별로 하나의 새로운 항목(<잭 슈나이더, 로부스토, 브레드박스>, <잭 슈나이더, 로부스토, 진공 청소기>)을 두 개 추가해야 했다.새로운 설정으로 우리는 Brands By Traveling Salesper에 단 한 개의 엔트리(<Jack Schneider, Robusto>)만 추가하면 된다.
사용법
드문 경우에만 4NF 테이블이 5NF를 준수하지 않는다.예를 들어, 분해된 테이블이 주기적인 경우.이것들은 4NF 표의 속성 값의 유효한 조합을 지배하는 복잡한 현실 세계의 제약조건이 그 표의 구조에 내포되어 있지 않은 상황이다.만약 그러한 테이블이 5NF로 정상화되지 않는다면, 테이블 내의 데이터의 논리적 일관성을 유지하는 부담은 그 테이블의 삽입, 삭제, 업데이트를 담당하는 어플리케이션에 의해 부분적으로 이루어져야 하며, 테이블 내의 데이터가 일관되지 않을 위험이 높아진다.대조적으로, 5NF 설계는 그러한 불일치의 가능성을 배제한다.
표 T는 다섯 번째 정규 형태(5NF) 또는 프로젝트 조인 정규 형태(PJNF)로, 어떤 수의 작은 표로도 무손실 분해를 할 수 없는 경우.분해 후 모든 작은 테이블이 T 테이블과 동일한 후보 키를 갖는 경우는 제외된다.
참고 항목
참조
- ^ 앵커타블의 정상형상 분석
- ^ S. Krishna (1991). Introduction to Data Base and Knowledge Base Systems. ISBN 9810206208.
The fifth normal form was introduced by Fagin
추가 읽기
- 켄트, W. (1983) ACM의 통신, ACM의 관계형 데이터베이스 이론에 있는 5가지 정상형식에 대한 간단한 안내서, 제26권, 페이지 120–125
- 날짜, C.J. & Darwen, H. & Pascal, F. Database Debunkings
- Darwen, H.; Date, C. J.; Fagin, R. (2012). "A normal form for preventing redundant tuples in relational databases". Proceedings of the 15th International Conference on Database Theory - ICDT '12 (PDF). pp. 114–126. doi:10.1145/2274576.2274589. ISBN 9781450307918.
