关系模式设计的问题——函数依赖

公式：Y=f（X）

一般把X函数决定Y，或Y函数依赖于X表示为：X—>Y。（X为候选键）

一些术语符号：

（1）.X—>Y，但Y不包含于X，则称X—>Y是非平凡的函数依赖。（大多讨论的都是非平凡函数依赖）

（2）.如果Y不函数依赖于X，则记作X—/—>Y。

（3）.如果X—>Y，则称X为决定因子。

（4）.如果X—>Y，并且Y—>X，则记作X<—>Y。

（5）如果X—>Y，并且对于X的任意一个真子集X’都有X‘—/—>Y，则称Y完全依赖于X，记作X—f—>Y；如果X’—>Y成立，则Y部分函数依赖于X，记作X—p—>Y。

（6）.如果X—>Y(非平凡函数依赖性，并且X—/—>Y)，X—>Z，则称Z传递依赖性于X。

（7）.设K关系模式R的一个属性或属性组，若满足

K—f—>A1，K—f—>A2，......，K—f—>An

则称K为关系模式R的候选键（或候选码），称包含在候选键中的属性为主属性，不包含在任何候选码中的属性为非主属性。

函数依赖的推理规则

1.Armstrong 公理

（1）反自律

若Y包含于X包含于U，则X—>Y在R上成立，即一组属性函数决定所有子集。

（2）增广率

若X—>Y在R上成立，且Z包含于U，则XZ—>YZ在R上也成立。

（3）传递率

若X—>Y和Y—>X在R上成立，则X—>Z在R上成立。

2.Armstrong 公理推论2

（1）合并规则

若X—>Y和Y—>X在R上成立，则X—>YZ在R上成立。

（2）分解规则

若X—>Y和Z包含于Y在R上成立，则X—>Z在R上成立。

（3）伪传递规则

若X—>Y和YW—>Z在R上成立，则XW—>Z在R上成立。

（4）复合规则

若X—>Y和W—>Z在R上成立，则XW—>YZ在R上成立。