database - 函数依赖微不足道

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 的完全一样“无用”，并且同样可以“丢弃”。