함수 종속성을 증명하는 방법은 파생되지 않습니다?

Question

내가 relvar R = {A, B, C, D, E, F, G, H} 및 FDS있다 : 그 6에서 BFG -> AE와 ACG -> DH을 도출하도록 시도

1. A -> B 
2. CH -> A 
3. B -> E 
4. BD -> C 
5. EG -> H 
6. DE -> F 

, 그리고 I 생각 그것은 불가능합니다.

증명하는 방법?

Answer 1

이렇게하는 방법을 찾았습니다.

BFC (표기법 BFG +)의 속성 집합의 클로저를 찾습니다. A와 E가 있으면 파생 될 수 있고 그렇지 않으면 파생 될 수 없습니다.

ACG와 동일합니다.

예 :

7. BFG+ = BFG (trivially) 
    8. BFG+ = BFGE (from 3.) 
    9. BFG+ = BFGEH (from 5. and 8., EG -> H) 

우리가 할 수있는 다른 아무것도 없다 저기 아니므로 파생 할 수 없습니다.