我试着用fds来理解空集的概念。说我有
R(A,B,C,D)
A-> E
B-> C
B-> D
其中e是空集，根据我的理解，这是一个微不足道的fd，因为你从a中学到了什么，但是当你
E-> A
B-> C
B-> D
这到底是什么意思？它是简单的“没有暗示a”，所以a可以在定义的域中有它想要的任何值，还是它必须是空值？
最佳答案
空集通常写为∏或{}。
一个->{}是微不足道的。（因为{}是a的子集）。
{}->a不是微不足道的。（除非a是{}，因为{}是每个集合的子集，所以也是{}的子集）。
{}->a意味着a的值可以不用任何其他值来确定，换句话说，a的值对于r中的每个元组都必须相同。这与a没有行列式或a为空的说法不同。如果a没有行列式，那么a是无约束的，在不同的元组中可以有不同的值。
一个依赖于空集合的例子可能是成员关系中的sex属性，该关系定义了仅限男性的俱乐部的成员：{}->sex。