数据库关系规范化理论

一.关系模式设计的问题

1.数据冗余问题

表中同一个实例（Sname：张三,Sno,Cno）在同一个属性中有多个值（Cno：‘C01’,'C02')，会生成多个元组，其中除Cno 属性外其他属性均相同,造成数据冗余。

2.数据更新问题

表中实例（Sname:姓名，Sdept：系名,Sloc：公寓名）因系名与公寓名相关联，若更改Sdept，则需要同时更改Sloc。

3.数据插入问题

表中（Sno,Cno,Sdept,Sloc)若需要加入新的Sdept，但Sdept中并无学生，则无法添加Sno,Cno,但是Sno，Cno是主键，无法为空。

4.数据删除问题

表中（Sno,Cno，Sname)若一实例只选修一门课，后又放弃，删除时将同时删除Sno,Sname,导致表中无该生信息。

二.函数依赖

X->Y X决定Y，Y依赖于X （X,Y为函数）

定义：关系模式R(A1,A2...An),X和Y为R子集，r是R的任一具体关系，t1，t2，是r的任一两个元组。若：t1[X]=t2[X]可推导出t1[Y]=t2[Y]，则X->Y X决定Y，Y依赖于X （X,Y为函数）

1.X->Y,但Y不包含于X，则称X->是非平凡的函数依赖。

2.Y不依赖于X，Y-/->X

3.X->Y ,X为决定因子

4.X->Y且Y->X,则X<->Y。

5.X->Y，但是X的所有真子集X‘-/->Y,则称Y完全依赖于X，记作X-f->Y;反 之 则 称 Y 部 分 依 赖 于 X，记作X’-p->Y.

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

7.设K为关系模式R的一个属性或属性组，若K-f->A1,K-f-A2......,K-f-An,则称K为关系模式R的候选键。

Armstrong公理

关系模式R(U,F)，U