五证明题已知关系模式R中U={ABCD E P}F={A→B C→P E→A CE→D }证明CE→B为F所蕴含证明:即求CE关于函数依赖集F的闭包X(0)=CE (2)X(1)=CEAPD=ACDEP (3)X(2)= ACDEP B=ABCDEP=U因为B包含在CE的属性闭包中所以CE→B为F所蕴含也可这样证: 因为E→A根据自反律和传递律有CE→A 又因为A→B根据传递律有CE