第九章关系规范化理论

9.1关系模式设置的问题

9.1.1：数据冗余问题

9.1.2：数据更新问题

9.1.3：数据插入问题

9.1.4：数据删除问题

9.2 函数依赖

9.2.1基本概念

当Y依赖于X，则表示为X->Y,X为候选键，Y为非主属性

9.2.2一型术语和符号

1.1X->Y,但Y不包含X，则称X->Y是非平凡依赖，反之则为平凡依赖，一般为非平凡依赖

2.Y不依赖X,则记作X—/—=Y

3.当X->Y，则X被叫做决定因子

4.如果X->Y,并且Y->X, 则记作X<—>Y

5.若X->Y,且每个子集都不依赖于Y,则称Y完全元素依赖于X,记作X—>(F)Y，反之则为部分函数依赖

6.若X->Y,为非平凡函数依赖，且Y-/->X,Y->Z，则Z传递依赖于X。

7.包含在1候选键的叫做主属性，不包含叫做非主属性。

9.2.3函数依赖的推理规则

通过不同的规则推导出函数的规则

1.armstrong公理

1)自反律:Y⊆X⊆U,且X->Y在R上成立，则一组属性函数决定所有子集

2)增广律:r若X->Y在R上成立,且Z⊆U,则XZ->YZ在R上也成立

3)传递律：若X->Y和Y->Z成立,则X->Z在R上也成立

2.armstrong公理推论

1)合并规则:若X->Y和X->Z在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上也成立