问4NF和多值依赖

EN

爱丽丝之书数据库基金会，1994年。

迈尔的经典关系数据库理论 1983年。

数据库系统基础第6版 Elmasri，Shamkant B.Navathe.

西蒙弗雷泽大学CS 4NF幻灯片。

但

给出关系模式R= (A，B，C，D)和依赖集F= (A -> BCD)。

这是两件事。他们之间有什么关系吗？你和你的教授必须弄清楚那是什么。定义不会对你起决定作用。如果这是考试或作业上的问题，那就太草率了。

请注意，"R在XNF中“是无节制地使用的。有时我们的意思是R满足XNF (以及所有较低的)。有时我们的意思是，XNF是R满足的最高NF。

MVD对应于二进制JD。FD对应于具有一个元素的多个确定集的MVD。违反BCNF的MVD/JD与FDs不相对应。

给定R和F，一般不能判断最高NF R满足什么。我们也可以得到R和数字5 (虽然R可能有0或1列，所以在5NF中)。

给定R和F加上F是一组在R中持有的FDs，一般不能判断最高NF R满足什么。其他的FDs或MVD/JD，如果不是他们所暗示的，也可以在R中保留。(同样，对于列和FDs的特定组合，包括有足够的FDs来解释所有可能的MVD/JD，我们可能知道R满足的最高的NF。)

鉴于F是R中FDs持有的最小覆盖，或者R中唯一持有的FDs是F所隐含的FDs (即R中的FDs持有的是F的传递闭包中的FDs)，则通常不能判断最高NF R满足什么。其他的MVD/JD，如果不是他们所暗示的，也可以保留在R中。然而，我们可以从FDs中看出，不管其他MVD/JD，R满足一些最小的最高NF。(介于1NF和BCNF之间)这就是BCNF。如果我们也知道除了F所暗示的MVD/JD之外，没有其他的MVD/JD，我们就可以确定什么是最高的NF R满足。(这将使BCNF从上一例增加到5NF。)这里是5NF。

如果F是R中唯一的非平凡FD持有，则任何事物都是可证明的，因为如果F持有，则{A->B}、{A->C}、{A->D}、{A->BC}、{A->BD}和{A->CD}也是矛盾的.

所以:什么是给予的？

PS

如果您没有定义，那么您就没有理由声称"4NF更关注多值依赖关系“。无论如何，"4NF更关心的是多值依赖“并没有证明什么。这几乎没有任何意义。