第九章第一次课的学习记录（关系规范化理论）

学习目标：掌握第九章内容

9.1关系模式设计的问题

9.1.1数据冗余问题

9.1.2数据更新问题

9.1.3数据插入问题

9.1.4数据删除问题

9.2函数依赖

9.2.1基本概念

9.2.3函数依赖的推理规则

Armstrong公理

学习内容：

9.2.2 一些术语和符号：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(非平凡函数依赖，并且Y-/->X)、Y->Z,则称Z传递函数依赖于X。

Armstrong公理1.自反律 2.增广律 3.传递律 4.合并规则 5.分解规则 6.伪传递规则 7.复合规则

9.2.4闭包及候选键求解方法 在关系模式R（U,F）中，U是R的属性全集，F是R上的一组函数依赖。设X、Y是U的子集，对于关系模式R的任一关系r，如果r满足F，则r满足F，则r满足X->Y，那么称F逻辑蕴涵X->Y，或称函数依赖X->Y可由F导出。所有被F逻辑蕴涵的函数依赖的全集称为F的闭包，记作F+（"+"在F的右上角）

单属性作为主键时，他是完全函数依赖。