functional-dependencies - 函数依赖的不可约集

Question

我目前有 Set/Functional Dependencies：

关系 R{A, B, C, D, E, F } 满足以下 FD：

AB → C C→A BC → D ACD → B BE → C CE → FA CF → BD D →EF

我有答案：

{A B → C, C → A, B C → D, B E → C, C E → F, C F → B D, D → E F}

但是我知道不可约集不能在右手边有两个属性。

我究竟做错了什么？

Answer 1

正如我们所知，我们应该遵循 3 个满足的属性。其中之一是：RHS（从属）属性为单例形式。如果它违反它将导致Non-Irreducible set。

Answer 2

首先分解在 LHS 上具有多个属性的 FD。

即CE->FA

然后取 CE->F 和 CE->A

和 CF → BD

然后取 CF->B 和 CF->D

现在解决它，你得到答案。