【软考 系统架构设计师】数据库系统⑤ 规范化理论

非规范化的问题

非规范化的关系模式，可能存在的问题包括：

• 数据冗余
• 更新异常
• 插入异常
• 删除异常

函数依赖

设R(U)是属性U上的一个关系模式，X和Y是U的子集，r为R的任一关系，如果对于r中的任意两个元组u、v，只要有u[X]=v[X]，就有u[Y]=v[Y]，则称X函数决定Y，或称Y函数依赖于X，记为X→Y。

部分函数依赖：

关系模式：R1 (A, B, C, D) 依赖集：{AB ->D，A-> C}

传递函数依赖：

关系模式：R2 (A, B, C) 依赖集：{A->B, B->C}

Armstrong公理

关系模式R来说有以下的推理规则：

• A1.自反律（Reflexivity）：若Y⊆X⊆U，则X→Y成立。
• A2.增广律（Augmentation）：若Z⊆U且X→Y，则XZ→YZ成立。
• A3.传递律（Transitivity）：若X→Y且Y→Z，则X→Z成立。

根据A1，A2，A3这三条推理规则可以得到下面三条推理规则：

• 合并规则：由X→Y，X→Z，有X→YZ。(A2，A3)