数据库系统课件第六章关系数据理论幻灯片.ppt

第六章 关系数据理论 上节回顾 Armstrong公理系统：自反律、增广律、传递律 函数依赖集的闭包F+ 属性集的闭包XF+ 极小函数依赖集 右部单个属性 左部没有冗余属性 没有多余的函数依赖 候选码求解算法：L、R、LR、N类属性 * * 6.4 模式分解 模式分解的定义 定义：关系模式RU, F的一个分解 　　ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} 其中：① U＝　　　，并且不存在 Ui ? Uj，1? i, j ?n，i ≠ j； ② Fi为与函数依赖集 { X→Y | X→Y?F+∧XY ?Ui} 等价的一个函数依赖集，称为 F在 Ui 上的投影。 　　范式是通过数据依赖(函数依赖和多值依赖)对关系模式进行规范，范式间关系：4NF?BCNF?3NF?2NF?1NF。 　　规范化的过程就是对关系模式进行分解，使其达到更高一级的范式，来减少和避免更新异常和数据冗余。 　　满足BCNF的关系模式可以在函数依赖的范畴内解决更新异常和数据冗余；如果关系模式中存在多值依赖，则分解应达到4NF。 * 6.4 模式分解 模式分解应考虑的问题： 分解不能丢失信息 　　如学生关系S(Sno, Sname, Ssex, Sage, Sdept)，它的一个实例 r 如下： sno sname ssex sage Sdept 95001 李勇 男 20 CS 95002 刘晨 女 19 IS 95003 王敏 女 18 MA 　　其中的每条记录都是一个学生实体的描述，如(95001,李勇，男，20, CS)，表示：学号为95001的同学名叫李勇，男性，今年20岁，在CS系学习。 　　如果将该关系模式分解为ρ={S1(Sno), S2(Sname), S3(Ssex), S4(Sage), S5(Sdept)}，则任一关系实例都被分解为一些离散的值，不再表示原关系中的意义，即分解丢失了信息。 * 6.4 模式分解 分解应该能够被还原 　　模式的分解是为了更好地存储，在使用中通过自然连接还原为分解前的关系模式，如下表为一银行的存款记录： R： 客户 帐号 存款 李勇 a01 80 李勇 a02 100 将其分解为右上图的两个关系R1和 R2： R1： 客户 帐号 李勇 a01 李勇 a02 R2： 客户 存款 李勇 80 李勇 100 还原后的关系模式如右图： 100 a01 李勇 80 a02 李勇 存款 帐号 客户 80 a01 李勇 100 a02 李勇 R1 R2： 　　多出了两条记录!这是绝对不允许的。 分解应保持函数依赖 　　函数依赖是属性间自身具有的性质，通常的查询与此有关，故应保持。 * 6.4 模式分解 模式分解的无损连接性(Lossless join) 定理：设关系模式RU, F的一个分解ρ={ R1U1,F1，R2U2,F2，…，RkUk,Fk} ，r是R的一个关系实例，ri=πRi(r) 为关系r在模式Ri上的投影，则： (2) 若 s = mρ(r)，则πRi(s) = ri (3) mρ(mρ(r)) = mρ(r) 此定理描述了分解之后的关系与原关系的联系。 (1) r ?mρ(r) =　　ri = πRi(r) i=1 k i=1 k 定义：ρ={ R1U1,F1，R2U2,F2，…，RkUk,Fk}是关系模式RU, F的一个分解，若对于R U, F 的任一关系r均有r = mρ(r) 成立，则称分解ρ具有无损连接性。简称ρ为无损分解。 * 6.4 模式分解 例：学生成绩登记表SCG： Sno Sname Ssex Sage Sdept Cno Cname Grade s95001 李勇 男 20 CS c1 数据库 92 s95001 李勇 男 20 CS c2 高等数学 65 s95001 李勇 男 20 CS c4 操作系统 88 s95002 刘晨 女 19 IS c2 高等数学 90 s95002 刘晨 女 19 IS c5 数据结构 73 … … … … … … …… … Sno Sname Ssex Sage Sdept s95001 李勇 男 20 CS s95002 刘晨 女 19 IS … … … … … Cno Cname c1 数据库 c2 高等数学 c4 操作系统 c5 数据结构 … …… Sno Cno Grade s95001 c1 92 s95001 c2 65 s95001 c4 88 s95002 c2 90 s95002 c5 73 … … … 分解为如下三个表(分别为S、C、SC)： SCG＝(S C SC) ，为无损分解。 * 6.4 模式分解 无损连接性的判定算法