这个答案的证明

Nan*_*ana 1 relational-theory

我不确定这是否是题外话。但是,请继续阅读。

我认识的一个人在印度 CBSE 发布的答案中遇到了问题。由于他们的关键挑战表格包含一个引用/证明栏,我们必须找到一些真实的书籍,可以作为我们声明的基础。

我在此附上问题,并请您验证答案,并向我们建议一些书籍/其他方法来证明我们的挑战(她已查看常规教学大纲书籍,但没有找到与此问题相关的确切内容)。

题:

确定具有函数依赖关系的关系方案 R(A, B, C, D, E) 的最小键 F = {A->B, B->C, AC->D}

选项为 A、AE、BE 和 CE

关键显示答案是A,她说实际上是AE。

请帮助我们找到一些证据/方法来挑战密钥。

Ren*_*nzo 6

关键是实际上AE。证明很简单,定义的关键是一组最小的属性,其闭包包含表的所有属性。如果你计算A关于给定函数依赖的闭包,你会发现:

A+ = {ABCD}
Run Code Online (Sandbox Code Playgroud)

不包含属性E。SoA不是键,并且E必须出现在 的任何键中R。并且因为:

AE+ = {ABCDE}
Run Code Online (Sandbox Code Playgroud)

thenAE是一个键,并且它是最小的(您不能在不失去确定关系的所有其他属性的属性的情况下从中删除任何属性)。