정규화에서 네 번째 정규형 정의

Question

네 번째 정규형 (4NF)과 관련하여 질문이 있습니다. 나는 약간의 정의를 보았 기 때문에 약간 혼란스럽고이 중 일부는 서로 다릅니다. [독일 위키 백과에서 번역] - English Wikipedia :

는

내가 본 가장 쉬운 정의는 하나가 보이스 - 커드 정규형 (BCNF)에있는 경우

테이블은 4NF에 만 사소한 포함 다중 값 종속성 (MVD). >> Y는 -

다중 값 종속성 X는 : 위키 에서 (https://en.wikipedia.org/wiki/Multivalued_dependency)

일반의 MVP는 위키에 따른 된 MVD의 정의를 사용

Y가 X의 부분 집합이면 사소한 것이고, X ∪Y가 관계의 전체 속성 집합이면 입니다.

이 정의를 사용하여 다음 표는 4NF에 있으면 안 :

는

CourseNr Book  Lecturer 
======== ====  ======== 
1  Math-A Prof. Smith 
1  Math-B Prof. Bob 
1  Math-A Prof. Bob 
1  Math-B Prof. Smith 

이 거의 위키 백과에서 정의입니다. 내 질문은 지금 : 나는이 테이블에서 마지막 행을 제거하는 경우 :

CourseNr Book  Lecturer 
======== ====  ======== 
1  Math-A Prof. Smith 
1  Math-B Prof. Bob 
1  Math-A Prof. Bob 

을 지금이 테이블 경우 4NF에? 다중 값 종속성의 정의에 더 이상 적합하지 않으므로 예라고 말합니다. 따라서 테이블에 사소한 MVD가 더 이상 포함되지 않으며 따라서 4NF에 있어야합니다.

내 가정이 맞습니까? 아니면 실수를 저질렀습니까?

Answer 1

Boyce-Codd 일반 형식이고 사소한 다중 값 종속성 (MVD) 만 포함하는 테이블은 4NF입니다.

"사용 빈도가 낮습니다". 또한, "포함"을 사용하는 것은 초보자의 맥락에서 아마도 모호합니다.

• BCNF에있는 테이블은 4NF이며, 충족하는 유일한 MVD는 사소한 것입니다.

그러나 잘못된 것입니다.

FD X → Y이면 MVD X ≥ Y가 성립합니다. (종종 FD가 MVD라고 말하지만 FDMS & MVD는 화살표가있는 표현이지만 FD는 MVD와 동일한 조건을 나타냅니다.) 공식적으로 MVD에서 모든 하위 값이 Y는 모든 X 하위 행 값과 함께 표시되어야합니다. 모든 Y 하위 행 세트에는 하나의 요소 만 있습니다.이러한 라인을 따라

정확한 설명은 : 그것은 BCNF에 만족하고 모든 MVD가 사소한 또는 FD 일치하는지

• 테이블이 4NF이다.
• 테이블이 BCNF에있는 경우 테이블이 4NF이고 FD에 해당하지 않는 모든 MVD가 충족되면 사소한 것입니다.

(만 보충 교재로, 기술 참조로 위키 백과를 사용하지 마십시오. 특히 대부분의 항목이 관계형 모델을 다시 오류와 혼란이있다.)

(내 대답은 4NF & MVDS를 다시 참조하십시오.)