网上找的复习题,没答案,哪位帮忙解答下,多谢~~~
已知关系模式R中,U={A,B,C,D,E,G},F={AB->C,C->A,BC->D,ACD->B,D->EG,BE->C,CG->BD,CE->AG}.求证:BD->AC属于F+。

解决方案 »

  1.   


    这个问题是对数据依赖的部分函数依赖、传递函数依赖、合并规则、伪传递规则、分解规则、增广率等等概念的考察!F中的函数依赖很多,但包含字段却很少,很明显是在蛊惑大家,这个题目真正用到的函数依赖却只有少数一部分!解题:
    1、合并规则:{D->EG,BE->C} => BDE->CEG => BD->GC
    2、伪传递规则:C->A => GC->A; {C->C,GC->A} => GC->AC
    3、传递函数依赖:{BD->GC,GC->AC} => BD->AC
    既然由 F 中的函数依赖可以推出 BD->AC ,那么就可以得出 BD->AC属于F 。以上是我的理解,希望对你有帮助!