在给定关系和 FD 的情况下找到一组属性的闭包

Question

我有以下关系：

R = BCDEFGHI

以及以下 FD

C -> D
E -> D
EF -> G
EG -> F
FG -> E
FH -> C
H -> B

我被要求找到以下一组属性的闭包：

1. BC

2. BDEFG

3. CEFG

4. EFG

5. EFGH

我的尝试

1. 让BC+ = BC.

   • 使用 FD C -> D，我们有 DC+ = BCD，我们完成了。

2. 让BDEFG+ = BDEFG.

   • 我们完成了。

3. 让CEFG+ = CEFG.

   • 使用 FD C -> D，然后使用 CEFG+ = CEFGD，我们就完成了。

4. 让EFG+ = EFG.

   • 使用 FD E -> D，然后使用 EFG+ = EFGD，我们就完成了。

5. 让EFGH+ = EFGH.

   • 使用 FD E -> D，然后使用 EFGH+ = EFGHD。

   • 使用 FD FH -> C，然后使用 EFGH+ = EFGHDC

   • 使用 FD H -> B，然后使用 EFGH+ = EFGHDCB，我们就完成了。

由于我对这些主题很陌生，我不确定我所做的是否正确。我会很感激你的一些反馈！谢谢！

Answer 1

看起来不错。 （假设您正确地执行了您未提及的步骤，即决定重新处理您未提及的 FD 并重新停止。）

(不要说闭包等于某物，而实际上它不是。为算法的累加器使用一些名称，例如“1. Let F = BC. Using ... then let F = BCE; Done so BC+ = F = BCE”。或写类似“1. 找到 BC+：使用 ... 然后 BC+ >= BCE；完成 BC+ = BCE”。）