博客给出一系列函数依赖关系，如AB->C、C->A等，目标是求最小函数依赖。通过分析发现(2)蕴涵(6)，去掉(6)；(8)结合增广律和传递律可推出(9)，去掉(9)；(8)和(11)结合相关定律可推出(4)，去掉(4)。
最小函数依赖的例题
(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)就可以去掉
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
