最小函数依赖的例题
(1) AB----->C (2) C---->A (3) BC----->D (4) ACD----->B (5) BE----->C
(6) CE----->A (7) CE----->F (8) CF----->B (9) CF----->D (10) D----->E (11) D----->F
求最小函数依赖
(2)蕴涵(6),所以把(6)去掉
(8)蕴涵 CF----->BC(增广律),它和(3)一起蕴涵CF------>D(传递律),所以把(9)去掉
(8)蕴涵 ACF----->AB(增广律),(11)蕴涵 ACD----->ACF(增广律),所以ACD------->AB(传递律),并且
ACD---------->B,所以(4)就可以去掉
博客给出一系列函数依赖关系,如AB->C、C->A等,目标是求最小函数依赖。通过分析发现(2)蕴涵(6),去掉(6);(8)结合增广律和传递律可推出(9),去掉(9);(8)和(11)结合相关定律可推出(4),去掉(4)。

1873

被折叠的 条评论
为什么被折叠?



