关系规范化理论

1.S-L-C模式设计的问题

(1)数据冗余问题：一个系有多少个学生，这个系所对应的宿舍楼信息就至少重复多少遍，一个学生修了多少门课，他的基本信息就重复多少遍.

(2)数据更新问题：同学的系别改变，不但修改此学生的Sdept列，还修改了Sloc列，从而复杂化.

(3)数据插入问题：新成立系，已有某些信息，却不能插入S-L-C表，因为没有招生，其主键的值为空，但不允许.

(4)数据删除问题：一名想学生只学习了一门课，放弃学习后就应该删除该学生选修这门课的记录，但由于该学生只学习一门课，该学生的基本信息也被删除.

2.函数依赖

只要给出一个具体城市，就会有唯一的省份和他对应   如“衡阳市”在“湖南省”，在这里城市是自变量X，省是因变量Y。把X函数决定Y，或Y函数依赖于X表示为.                                       X->Y

(1)如果X->Ｙ，但Y不包含于X，则称X->Ｙ是非平凡的函数依赖，反之包含其中则称X->Ｙ是平凡的函数依赖。

(2)如果Y不函数依赖于X，则记作X-/Y

(3)如果x-Y，则称X为决定因子

(4)如果X->Y，并且Y->X 则记作X<->Y

(5)如果X->Y，并且对于x的一个任意真子集X'都有X'/->,则称Y完全函数依赖于X，如果X'->Y成立，则称Y部分依赖于X.

3.函数依赖的推理规则

Armstrong公理

(1)自反率：若Y包含于X包含于U，则X->Y在R上成立，即一组属性函数决定它的所以真子集.

(2)增广率：若X->Y在R上成立，且Z包含于U，则XZ->YZ在R上也成立.

(3)传递率：若X->Y和Y->Z在R上成立，则X->Z在R上也成立

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->在R上也成立。

(4)复合规则：若X->Y和W->和W->Z在R上成立，则XW->YZ在R上也成立。