华中科技大学数据库课件第06章 关系数据理论.ppt

《华中科技大学数据库课件第06章 关系数据理论.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、6.1问题的提出6.2函数依赖6.3函数依赖的公理系统6.4关系模式的规范化6.5关系模式的分解6.6小结第6章关系数据理论6.5.1模式分解的定义6.5.2模式分解中的问题6.5.3无损连接分解6.5.4保持函数依赖的分解6.5.5关系模式的分解算法6.5关系模式的分解定义6.17设有关系模式R,称用ρ={R1，R2，…，Rn}代替R的过程为R模式的分解，ρ称为R的一个分解，这里Ui和Fi必须同时满足：U=U1∪U2∪…∪UnUi与Uj可以相交,但不允许UiUj或UjUi,i≠j,i,j=1,2,…

2、nFi是F在Ui上的投影(也可记作∏Ri(F))6.5关系模式的分解定义6.18函数依赖集合{X→Y

3、X→YF+∧XYUi}的一个覆盖Fi叫作F在属性Ui上的投影设有R,U={A,B,C,D},F={A→B,C→D}(R最高为几范式?)ρ1:R1(A,B,C),R2(C,D),F在R1,R2上的投影是什么?F1={A→B},F2={C→D}(R1最高为几范式?R2呢?)6.5关系模式的分解设有R,U={A,B,C},F={A→B,B→C}(R最高为几范式?)ρ1:R1(A,B),R2(A,C),F在R1,R2上的投影是什么?F1={

4、A→B},F2={A→C}(R1最高为几范式?R2呢?)6.5关系模式的分解SCD(Sno,Sname,Age,Dept,Mn,Cno,Score)F={sno→*,Dept→Mn,(sno,cno)→score}分解ρ1={SD,SC}:SD(Sno,Sname,Age,Dept,Mn),F1={sno→*,dept→Mn}SC(Sno,Cno,Score),F2={(sno,cno)→score}分解ρ2={S,D,SC}:S(Sno,Sname,Age,Dept),F1={sno→(sname,age,dept)}D(Dept,Mn),F2={dep

5、t→Mn}SC(Sno,Cno,Score),F3={(sno,cno)→score}6.5关系模式的分解6.5.1模式分解的定义6.5.2模式分解中的问题6.5.3无损连接分解6.5.4保持函数依赖的分解6.5.5关系模式的分解算法6.5关系模式的分解把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义无损连接性保持函数依赖既保持函数依赖，又无损连接6.5关系模式的分解6.5关系模式的分解A学生B学院C院长赵计算机王钱计算机王孙机械张李软件王{AB,BC}(A,B):(学生,学

6、院)(A,C):(学生,院长)(A,C):(学生,院长)(B,C):(学院,院长)(A,B):(学生,学院)(B,C):(学院,院长)6.5关系模式的分解AC院长赵王钱王孙张李王{AC}B学院C院长计算机王机械张软件王{BC}=ABC赵计算机王赵软件王钱计算机王钱软件王孙机械张李计算机王李软件王多出违背事实的元组有损连接的分解{AB,BC}6.5关系模式的分解AB学院赵计算机钱计算机孙机械李软件周计算机{AB}AC院长赵王钱王孙张李王周江{AC}=A学生B学院C院长赵计算机王钱计算机王孙机械张李软件王周计算机江插入违反BC:不保持FD的分解{

7、AB,BC}6.5关系模式的分解AB学院赵计算机钱计算机孙机械李软件{AB}B学院C院长赵王钱王孙张李王{BC}=A学生B学院C院长赵计算机王钱计算机王孙机械张李软件王无损连接，且保持FD{AB,BC}6.5.1模式分解的定义6.5.2模式分解中的问题6.5.3无损连接分解6.5.4保持函数依赖的分解6.5.5关系模式的分解算法6.5关系模式的分解定义6.19关系模式R的一个分解ρ={R1，R2，…，Rn}若R与R1、R2、…、Rn自然连接的结果相等，则称关系模式R的这个分解ρ具有无损连接性（

8、Losslessjoin）。具有无损连接性的分解保证不丢失信息无损连接性不一定能解决插入异常、删除异常、修改复杂、数据冗余等问题6.5关系模式的分解算法6.2判别一个分解是否具有无损连接性U={A1,A2,…,An}={R1,R2,…,Rk}1.建立一个n列k行的矩阵TB={Cij

9、若AjUi,Cij=aj,否则Cij=bij}6.5关系模式的分解A1A2…AnU1…CijUk算法6.2(续)2.对F中每一个函数依赖XY，若TB中存在元组t1，t2，使得t1[X]=t2[X]，t1[Y]≠t2[Y]，则对每一

10、个AiY：①若t1[Ai],t2[Ai]中有一个等于aj,则另一