确定关系是否为BCNF形式？

Question

如何确定以下关系是否为BCNF格式？

R(U,V,W,X,Y,Z)

UVW ->X
VW -> YU
VWY ->Z

我理解关系X-> Y. X必须是超级钥匙。它必须是3NF格式，但我不确定如何应用这些概念。提前谢谢。

Answer 1

要确定关系是否在BCNF中，对于定义，您应该检查F+中的每个非平凡依赖关系，即对于指定的所有依赖关系（F）和派生的那些依赖关系从它们来看，决定因素应该是超级钥匙。幸运的是，有一个定理说只对指定的依赖项执行此检查就足够了。

在您的情况下，这意味着您必须检查UVW，VW和VWY是否为超级密钥。

要查看依赖项X -> Y中的集合属性X是否为超级密钥，您可以计算属性（X+）的闭包并检查它是否包含右侧部分Y。

因此，您必须计算UVW+并查看它是否包含{U,V,W,X,Y,Z}，并且类似于其他两个依赖项。我告诉你这个简单的练习。