이 정규화의 레벨은 어느 정도입니까?

Question

영화에는 단 하나의 장르 만 있습니다.

많은 장르에 장르를 할당 할 수 있습니다.

영화 (에서 moviename, 장르)

에서 moviename은 유일한 키

MovieName->MovieName 키이며, 경우 장르가 유일한 결정

Answer 1

유일한 의존 (안 오직 determinant!)는 다음과 같습니다.

다음은 관계가 First, Second 및 Thir입니다. d Normal Form뿐만 아니라 Boyce-Codd Normal Form 및 상위 레벨 폼 (예 : Fourth Normal Form)에 포함됩니다.

(고유 한) 종속성에서 결정자 (MovieName)가 핵심이므로 일반 양식의 모든 정의가 존중되기 때문입니다.

Answer 2

"이 관계는 어느 수준의 정규화인가"라는 뜻이 아닙니다. 관계 변수 또는 값은 일] 적으로 많은 정상 양식에있을 수 있습니다. 그것이 하나 안에있을 때, 그것은 모두 더 낮은 것 안에 있고, 그것은 더 높은 것들 안에있을 수 있습니다. 아마 당신이 의미하는 것은 "이 관계가 반드시 있어야 할 가장 높은 수준의 정규화"입니다.

영화 제목 -> 장르가 결정적 요소가 아닙니다. FD (기능적 종속성)입니다. 그것의 결정자는 {MovieName}입니다. 이것이 CK (후보 키)의 유일한 결정 요인입니다. 비 단순 FDS는
  {에서 moviename} -> {장르}
  {에서 moviename} - 비 사소한 FD의 모든 결정은 퍼키이기 때문에,이 BCNF이다> {moviename에는, 장르}
. 그것이 BCNF에 있기 때문에, 그것은 모든 더 낮은 정상적인 형태에 있습니다.

날짜 별이 개 정리가 있습니다 & FAGIN 여기에 관련 :

• 관계는 3NF (또는 BCNF)에 모든 CK는이
• 관계가있는 경우 5NF에, 간단한 경우 BCNF와 일부 CK는 간단합니다. 그러면 4NF입니다.

관계가 BCNF이므로 3NF이고 모든 CK는 단순하므로 5NF입니다.

---

추신 : 우리는이 theorems을 몰라?

이 값/변수에 대한 유일한 제약 조건은 귀하가 제공 한 것에 의해 암시 된 제약 조건 일 경우 5NF입니다. 왜냐하면 그것은 후보 키의 집합을 갖는 것에 의해 암시 된 JD (조인 종속성)를 만족하지 않을 때 5NF에 정의되어 있기 때문입니다.

그러나 우리가 값/변수에 대해 아는 것이 모두 당신이 준 것 인 경우 어떻게 우리가 여전히 5NF에 있어야한다는 것을 나타낼 수 있습니까?

JD * {{MovieName}, {Genre}}도 보유하고 있으면 4NF (또는 그 이상)가되지 않습니다. 예를 들어 {MovieName} & {Genre}의 예상 투영과 동등한 경우join/original에서 모든 입력 MovieName 값은 모든 Genre 값을 갖는 튜플에 있습니다. CK는 MovieName 당 하나의 쌍만 있다고합니다. 따라서 입력에는 장르 값이 하나만 있습니다. 그런 다음 FK {} -> {장르}가 유지됩니다. BCNF는 2NF를 의미하며 이는 CK에 부분적으로 종속되지 않으므로 FK {} -> {Genre}는 보유하지 않습니다. 그래서 우리는 모순을 가지고 있습니다. 그래서 JD는지지 않습니다. 그래서 관계는 4NF를 위반할 수있는 다른 사소한 바이너리 JD가 없기 때문에 4NF에 있습니다. 보유 할 수있는 요소가 3 개 이상인 JD가 없기 때문에 5NF에도 포함됩니다.