관계 집합에 대한 FD 증명 - 솔루션 확인 필요

Question

암스트롱의 공리에 기능상의 종속성이 있음을 증명하는 데 문제가 있습니다. 이건 내가 고군분투하고있어. 증명 : F : BC-> DE

내가 가지고있는 것 (R, A, B, C, D, E)은 관계 스키마이고 F = {A → CD, C → E, B → D} :

1 감안 B-> D 1 기능 보강 C, BC-> DC

2. 분해 2, BC-> BC-D> C

3. BC-> C, BC-> E의 전성도

4. BC-> D an d 및 4, BC-> DE

확실한 해결책인지 확실치 않은 경우.

Answer 1

당신은 절대적으로 내 친구입니다. 귀하의 증거는 완벽합니다.