FD가 R에 만족되도록 보증 됨.

Question

경기 수는 논리 설명 : 하자 관계 R을 (A는 B, C, D, E는, F, G, H)는 다음의 기능적 종속성 만족

A → B, 
CH → A, 
B → E, 
BD → C, 
EG → H, 
DE → F 

또한 보장 다음 FDS의 R에 만족해야 하는가?

ACG → DH 
CDE → AF 
BCD → FH 
BED → CF 

Answer 1

이 기능 의존성 R 만족 여부를 당신이, 그 왼쪽을 기능 종속의 원래 세트에 대한 폐쇄를 계산 한 다음 오른쪽인지 여부를 확인해야합니다 확인하려면 클로저 내에 포함되어 있습니다.

예 : ACG → DH이 R에 만족하는지 확인합시다. ACG의 폐쇄를 계산해야합니다. A → B부터 B은 ACG으로 마감해야합니다. 같은 토큰으로, B → E 이후 E도 ACG의 폐쇄 상태에 있어야한다는 것을 알고 있습니다. 또한 E은 ACG의 종결 자이고 G 종결자는 ACG의 종결이므로 H도 마감 (EG → H)입니다. 새로운 속성을 추론 할 수 없으므로 여기서 멈추고 ACG의 종료는 ABCEGH이라고 결론을 내립니다. 그러나 D는 클로저 아니므 DH은 클로저 아니므 ACG → DH가 남아 기능적 종속성 동일한 방법으로 분석 될 수 R.

만족되지 않는다.