功能依赖性琐碎

Question

如果你在LHS和RHS上有什么东西，那么如果它是RHS上的唯一符号，它被认为是微不足道的吗？例如：

ABC -> C

你可以这样打破它：

C -> C
A -> {}
B -> {}

其中{}是空集。或者这是无效的吗？

这会使这条规则无用，可以简单地删除吗？

Answer 1

RHS是LHS子集（不一定是合适的）的所有FD都是微不足道的。

因此，你问题中提到的所有FD都是微不足道的。

诸如{A}的＆gt;＆gt; {}说“如果你知道A，那么你至少知道什么都没有”。 诸如{ABC}的FD - > {C}说“如果你知道A，B和C，那么你至少知道C”。

从集合论的形式角度来看，排除FD理论中空集的情况可能是不明智的，但无论如何，任何微不足道的FD通常都是无趣的。

因此，{ABC} - ＆gt; {C}与具有空RHS的那些一样“无用”，并且可以同样“掉线”。