我试图用 FD 掌握空集的概念。说我有
R(A,B,C,D)
A-> E
B-> C
B-> D
其中 E 是空集,据我了解,这是一个微不足道的 FD,因为你从拥有 A 中没有学到任何新东西。但是当你有
E-> A
B-> C
B-> D
这到底是什么意思?它只是“没有什么暗示 A”,所以 A 可以在定义的域内具有它想要的任何值,还是 A 必须是 NULL 值?
我试图用 FD 掌握空集的概念。说我有
R(A,B,C,D)
A-> E
B-> C
B-> D
其中 E 是空集,据我了解,这是一个微不足道的 FD,因为你从拥有 A 中没有学到任何新东西。但是当你有
E-> A
B-> C
B-> D
这到底是什么意思?它只是“没有什么暗示 A”,所以 A 可以在定义的域内具有它想要的任何值,还是 A 必须是 NULL 值?
空集通常写为 ∅ 或 {}。
{}->A 表示 A 的值可以在不使用任何其他值的情况下确定,换句话说,对于 R 中的每个元组,A 的值必须相同。这与说 A 没有行列式或说 A 没有行列式不同A 为空。如果 A 没有行列式,则 A 将不受约束,并且可以在不同的元组中具有不同的值。
对空集的依赖的一个示例可能是 Members 关系中的 Sex 属性,它定义了仅限男性的俱乐部的成员资格:{}->Sex。