合成算法,识别是否BCNF并找到候选键

时间:2013-03-24 10:27:22

标签: decomposition 3nf

我在合成算法和查找候选键方面遇到了一些问题,因为我觉得我课程中提供的幻灯片仅提供了如何推断它们的示例,没有任何解释。

因此,如果我们有一个关系模式,其单一关系R [ABCDE]具有功能依赖性:{AB-> CD,C-> AD,E-> B},

到目前为止,我已经到了这里: 规范壳是:C = {AB-> C,C-> D,E-> B}并且候选键是:EB AE和EC。

1)应用合成算法找到无损和依赖保留3NF分解。

我知道如何检查分解是否实际上是无损和依赖保留,而不是如何到达那里。请参阅以下内容:

i)为F

构建规范封面C.

ii)定义C'= {X union Y |我知道X-> Y“属于”Consol(C)}

iii)将C定义为C'的子集,其中删除了由另一个包含的所有关系。我知道如果我认为正确的话。

iv)如果C已经包含R的超级密钥,则将C2定义为C.否则将C2定义为C union K,用于某些密钥K of。这一步我不明白。

2)彻底激励3)中获得的分解是否也在BCNF中。

提前致谢!

0 个答案:

没有答案