函數依賴關係平凡

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的結果完全一樣「無用」，並且可以同樣被「下降」。