-1
다음 관계가 BCNF 형식인지 어떻게 결정합니까?관계가 BCNF 형식인지 확인 하시겠습니까?
R(U,V,W,X,Y,Z)
UVW ->X
VW -> YU
VWY ->Z
나는 관계가 X-> Y라는 것을 알고 있습니다. X는 수퍼 키 여야합니다. 3NF 형식이어야하지만 개념을 적용하는 방법을 잘 모르겠습니다. 미리 감사드립니다.
A
답변
0
관계가 BCNF에 있는지 확인하려면 정의에 대해 F+에있는 각 종속 종속성 (즉, 지정된 모든 종속성 (F) 및 그로부터 파생 된 종속성)에 대해 행렬식이 슈퍼 키. 다행히도 지정된 종속성에 대해서만이 검사를 수행하는 것으로 충분하다는 정리가 있습니다.
귀하의 경우 이것은 UVW, VW 및 VWY이 수퍼 키인지 확인해야한다는 것을 의미합니다.
그리고 종속성 X -> Y에 세트가 X 속성 경우 볼 수는 속성 (X+)의 폐쇄를 계산하고 오른쪽 부분 Y 포함 된 경우 확인할 수 퍼키이다.
따라서 UVW+을 계산하고 여기에 {U,V,W,X,Y,Z}이 포함되어 있고 다른 두 가지 종속성이 있는지 확인해야합니다. 나는이 간단한 운동을 너에게 맡긴다.
확실하지 않은 경우 책을 읽으십시오. 어떤 정의와 알고리즘을 따르고 있는지, 어떻게 따라했는지, 어떻게 붙잡 혔는지, 왜 어떻게 붙잡 았는지 등을 알려주십시오. 여기서 우리는 당신에게 교과서를 다시 써달라고 부탁합니다. – philipxy