函数依赖微不足道

【问题标题】：Functional Dependency Trivial函数依赖微不足道
【发布时间】：2011-11-23 07:55:43
【问题描述】：

如果您在 LHS 和 RHS 上有一些东西，如果这是 RHS 上唯一的符号，这是否被认为是微不足道的？例如：

ABC -> C

你能把它分解成这样吗：

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

其中 {} 是空集。还是这无效？

这会使这条规则变得无用，是否可以简单地删除它？

【问题讨论】：

【解决方案1】：

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

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

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

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

因此，{ABC} -> {C} 与具有空 RHS 的那些完全一样“无用”，并且同样可以“丢弃”。

【讨论】：