功能依赖性证明

时间:2014-04-20 16:56:33

标签: functional-dependencies

考虑关系R(A,B,C,D,E)并假设以下函数依赖:

  • AB - > ç
  • AE - > d
  • D - >乙

如何证明AE是关键?

示例2

考虑具有五个属性A,B,C,D和E以及以下依赖关系的关系:

  • AB - > ç
  • CD - > ë
  • DE - >乙

如何证明ABD是关键而AB不是关键?

示例3

  • AB - > ç
  • AE - > d
  • D - >乙

证明ADE - > BC?

1 个答案:

答案 0 :(得分:0)

对于第一个问题:自AE以来AE是一个关键 - > D,即如果你知道A和E,你也知道D;因为你知道D,你也知道B(D - > B),最后,因为你知道A和B你也知道C(AB - > C)。因此,如果您知道A和E,则您知道所有其他属性,因此,AE是关键。

对于第二个问题,您可以使用相同的技术来证明ABD是一个关键。要显示 AB 不是键,您应用相同的技术并发现您无法推断某个属性(D)。

对于第三个问题,如果你知道A,D和E,那么你也知道B(D - > B),因为你知道A和B你也知道C.

相关问题