最小依赖集
数学名词
最小依赖集是一个数学名词
最小函数依赖集
设F是属性集 U上的 FD集,如果Fmin是 F的最小依赖集,则Fmin应满足:
(1)F+min=F+;
(2)每个FD的右边都是单属性。
(3)Fmin中没有冗余的 FD(即在 F中不存在这样的函数依赖 X → Y,使得 F与F -{X → Y}等价);
(4)每个 FD的左边没有冗余的属性(即 F中不存在这样的函数依赖 X → Y,X有真子集 W使得 F-{ X → Y} ∪ { W → Y}与 F等价)。
参考资料
最新修订时间:2022-11-15 10:41
目录
概述
最小函数依赖集
参考资料