对于给定的关系模式R（A，A1，A2，...，An）和函数依赖集F，可以把属性分为以下四类

对于给定的关系模式R及其函数依赖集F，有以下结论

上面的内容过了一遍后，我们来用例子讲解

关系模式R(A,B,C,D,E)，函数依赖F(A→D,E→D,D→B,BC→D,CD→A)，求R的候选码

由函数依赖F知：
	L类的属性有C、E；
	R类的属性没有；
	N类的属性没有；
	LR类的属性有：A、B、D。

令{C,E} ∈ X，{A、B、D} ∈ Y

因为C→∅，所以C^+^ = ∅

因为E → D，所以E^+^ = {DE}；又因为D→B，所以 E^+^ = {BDE}

因为E → D，所以(CE)^+^= {CDE}；又因为D→B，所以 (CE)^+^ = {BCDE}；又因为CD → A，所以(CE)^+^ = {ABCDE}

故CE为R的唯一候选码

注意：如果X^+^中没有R的全部属性，即从Y中拿出一个属性来和X中的属性组合

假设上面X^+^中没有R的全部属性，即从Y中拿出属性A

因为C→∅，所以(AC)^+^ = ∅，所以AC不是R的候选码因为E → D，所以(AE)^+^ = {ADE}；又因为D→B，所以 (AE)^+^ = {ABDE}，所以AE不是R的候选码然后求(ACE)^+^，如果ACE不是候选码，就重新从Y中选择一个属性组成BC、BE、BCE，依次类推

如果拿Y中的一个属性求不出候选码，就拿Y中的两个属性组合求

哦对了，关系模式R的候选码可以==多个==

欢迎大家关注下个人的「公众号」：独醉贪欢