数据库原理9.2 函数依赖

函数公式Y=f(X)可以认为Y函数依赖于X，记作X→Y，X为决定因子。

1.如果X→Y，但Y不包含于X，则称X→Y是非平凡函数依赖。

2.如果X→Y，且Y包含于X，则称X→Y是平凡函数依赖。

3.如果X→Y，并且对于X的一个任意真子集X1都有X1-/->Y，则称Y完全依赖于X，用f标识；

如果X1→Y成立，则称Y部分依赖于X，用p标识。

4.如X→Y、Y→Z，则称Z传递函数依赖于X。

5.包含在候选键里的属性为主属性。

6.函数依赖传递的7条推理规则：

自反律：若包含于X包含于U，则X→Y在上成立。

增广律：若X→Y在R上成立，且Z包含于U，则XZ→YZ在R上也成立。

传递律：若X→Y和Y→Z在R上成立，则X→Z在R上也成立。

合并规则: 若X→Y和X→Z在R上成立，则X→YZ在R上也成立。

分解规则：若X→Y和Z包含于Y在R上成立，则X→Z在R上也成立。

伪传递规则：若X→Y和YW→Z在R上成立，则XW→Z在R上也成立。

复合规则：若X→Y和W→Z在R上成立，则XW→YZ在R上也成立。

7.在关系模式R（U，F）中，U是R的属性全集，F是R上的一组函数依赖。

8.候选键的求解方法

对于给定的关系模式R(A1，A2，...，An,)和函数依赖集F，现将R的属性分为如下  四类:
则候
(1)L类:仅出现在函数依赖左部的属性。
(2)R类:仅出现在函数依赖右部的属性。
(3)N类:在函数依赖的左部和右部均不出现的属性。
(4) LR类:在函数依赖的左部和右部均出现的属性。
对R中的属性X，可有以下结论:
(1)若X是L类属性，则X一定包含在关系模式R的任何一个候选键中;若X包含了  R的全部属性，则X为关系模式R的唯一候选键。
(2)若X是R类属性，则X不包含在关系模式R的任何一个候选键中。
(3)若X是N类属性，则X一定包含在关系模式R的任何一个候选键中。
(4)若X是LR类属性，则X可能包含在关系模式R的某个候选键中。