BCNF와 3NF 속성

나는 "관계가 3NF에 다음 오버랩되는 후보 키를 포함하지 않는 경우가 BCNF에 확실히"고 진술BCNF와 3NF 속성

우리는 (A, B, C를 릴레이션 R을 고려한다고 가정 읽기 , D) 다음 기능적 종속성 -

AB -> CD

C ->은 여기

만 후보 키 AB이고 얻어진 관계 3NF이고하지 BCNF에서 때문에 C 수퍼 키가 아닙니다. 위의 내용은 사실이 아닙니다.

어디로 잘못 가고 있습니까?

2017-09-17 Zephyr

AB가 유일한 후보 키가 아니며 BC도 1입니다. – reaanb

예, 불량합니다. (가능하면 진술에 대한 증거를 줄 수 있습니까?) 내게 직관적으로 보이지 않는 방법 – Zephyr

Google은 직감에 의한 이유, 우리는 정의와 알고리즘을 적용한다 – philipxy

관계에 겹치는 후보 키가 있습니다. 주어진 함수 적 종속성의 왼쪽에 나타나지는 않지만 BC가 후보 키임을 알 수 있습니다.

C -> A부터 Armstrong의 확대 법칙을 사용하여 CB -> AB를 결정할 수 있으며 AB는 후보 키이므로 다른 모든 속성이 결정됨을 의미합니다.

2017-09-17 22:29:50 reaanb

나는 한 가지 더 의심이있다. 비 소수 속성이 프라임 속성을 도출 할 수 있는가? 비 소수 - 소수 속성과 같다면, 그렇지 않다면 왜? – Zephyr

나는 생각하지 않는다. A1..An 및 기능적 종속성 B -> Ax 인 임의의 후보 키에 대해 B가 Ax 대신에 다른 후보 키를 생성하여 B 소수를 생성 할 수 있습니다. – reaanb

B가 후보 키 A1에서 다중 속성을 결정한 경우 결과가 후보 키가되도록 결정된 프라임 속성을 모두 단일 B로 대체해야합니다. – reaanb

답변