数据库规范化理论

 

 

 

 

 

 

 

 

 

 

 

 

 

2、主属性、非主属性

 

 

3、范式

 

 

 

 

 

 

 4、规范化理论  模式分解

 保持函数依赖分解

 

 

 定义:对于R (U,F）的分解，p={R1(U1,F1),(U2,F2),...,Rk(Uk,Fk)}，其中，F1，F2，...Fi,分别对应为F中在R1，R2，...Rk上的函数依赖集合。令G=F1 U F2 UF3...U Fk（多个函数依赖集合求并集），若F+==G+(其实就是如果G等于F）的话，则分解p保持函数依赖。

理解 - 其实，保持FD的分解一眼就能从题目中看出，只要看FD 左右的两个属性是否分别在两个Ri中，若在同一个Ri中则保持 FD，反之，FD丢失。

例： 设关系模式R（U,F)，其中U={A,B,C,D,E},F={A->BC,C->D,BC->E,E->A} 则分解p={R1(ABCE),R2(CD)}是否保持函数依赖？而分解 p={R1(ABE),R2(CD)}是否保持函数依赖分析 ：由关系模式R（U,F)，其中U={A,B,C,D,E},F={A->BC,C->D,BC->E,E->A}可知，A->BC ， ABC在分解的R1中，C->D ，CD在分级的R2中，BC->E ，BCE在分解的R1中，E->A EA在分解的R1中。

        故分解p={R1(ABCE),R2(CD)}是保持函数依赖。

A->BC  ABC不在另外一个分解的R1中，也不在R2故分解 p={R1(ABE),R2(CD)}不保持函数依赖

 

 

 a、模式分解表格法

 

 

 分析：1、根据题意，建立以下表 

 

 根据学号->姓名 ，课程号->课程名对上表进行处理

 

 

 

b、无损分解公式法