relational-database - 如何找到给定关系的最高范式

Question

我已经浏览了互联网和书籍，但在如何确定这种关系的正常形式方面仍然存在一些困难

R(a, b, c, d, e, f, g, h, i)
FDs =
B→G
BI→CD
EH→AG
G→DE

到目前为止，我知道唯一的候选键是 BHI(如果我应该用 F 来计算，那么 BFHI)。
因为根本没有使用属性 F。完全独立于给定的 FD。

那么我应该如何处理属性 F 呢？

如何确定关系 R 的最高范式？

Answer 1

那么我应该如何处理属性 F 呢？

您可以观察到，唯一提到 F 的 FD 是微不足道的 F->F。没有明确提到它，因为它是微不足道的。尽管如此，阿姆斯特朗的所有公理都同样适用于琐碎的公理。所以，你可以使用这个微不足道的，例如应用增强，从 B->G 到 BF->GF；

如何确定关系R的最高范式？

首先，测试第一范式的条件。如果满足，NF 至少为 1。检查第二范式的条件。如果满足，NF 至少为 2。检查第三范式的条件。如果满足，NF 至少为 3。

注意:

“检查第一范式的条件”，在正式过程中是一件有点奇怪的事情，因为不存在该条件的正式定义这样的东西，除非你按照日期去，但我毫不怀疑您的类(class)不遵循该定义。

暗示 :

鉴于唯一的键是 BFHI，它是“键，整个键，只有键”的第一个子句，它被 B->G 违反？