数据库原理第九章第一次学习记录

一、基本概念及其术语
1、一般把X函数决定Y，或Y函数依赖于X表示为：X→Y。

2、如果X→Y，但Y不包含于X，则称X→Y是非平凡的函数依赖；反之，X→Y是平凡函数依赖。

3、如果X→Y，则称X为决定因子。

4、如果X→Y，并且对于X的任意一个真子集X都不能决定Y,则称Y完全函数依赖于X，记作X     Y；反之,则称Y部分函数依赖于X，记作X     Y。

5、如果X→Y，并且Y→X,则记作X←→Y。

二、Armstrong公理及其推论
1、公理：

自反律：若Y⊆X⊆U，则X→Y在R成立。即一组属性函数决定它的所有子集。

增广律：若X→Y和Y→Z在R上成立，且Z⊆R，则XZ→在YZ上也成立。

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

2、推论

合并规则：若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上也成立。

注：候选键为全部属性的表称为全键表！！！