函数依赖关系平凡

Question

如果你对LHS和RHS有什么看法，如果这是RHS上唯一的符号，它会被认为是微不足道的？例如：

ABC -> C

你能打破它是这样的：

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

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

这将使这个规则无用，它可以简单地被丢弃？

Answer 1

其中RHS是LHS子集（不一定是恰当的）的所有FD都是微不足道的。

因此，您提到的所有FD都是微不足道的。

像{A} - > {}这样的FD表示“如果你知道A，那么你至少知道什么都不知道”。 像{ABC} - > {C}这样的FD说“如果你知道A和B和C，那么你至少知道C”。

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

因此，{ABC} - > {C}与空RHS的结果完全一样“无用”，并且可以同样被“下降”。