数据库原理与设计方法东南大学自动控制系邵家玉培训课件下载：...培训课件.ppt

9.6???分布式数据库系统中的恢复技术 9.6.1?? 两步提交协议 * 9.6.2?? 三步提交协议 * 9.7??分布式数据库系统中的并发控制 9.7.1?? 分步式数据库系统中的两步封锁 1． 写全锁(write locks all) 写全锁的加锁协议如下： l???读：在任一复本上加S锁 l???写：在所有复本上加X锁 l???保持所有锁到全局事务结束(EOT) 2． 多数封锁(majority locking) 加锁协议如下： l??? 读：对过半数的复本上加S锁 l??? 写：对过半数的复本上加X锁 l??? 保持所有锁到全局事务结束(EOT) * 3． N中取K封锁(K out of N locking) 加锁协议如下： l???写：对n个复本中的k个复本上加X锁 kn/2 l?? 读：对n个复本中的n-k+1个复本上加S锁 l???保持所有锁到全局事务结束(EOT) 4． 主结点法 9.7.2?? 全局死锁的检测 * 第十章????? 数据依赖和关系模式的规范化 10.1 关系模式设计中的一些语义问题 Functional Dependency (FD): X→Y R(S#,C#,G.,TN,D) * F={{S#,C#}→G, C#→TN, TN→D} 计算机系要通知教师准备给学生补考，可以“查询计算机系所开课程的不及格学生的学号、不及格课程号以及任课教师的姓名”： SELECT S#，C#，TN FROM R WHERE D=‘CS’AND G=‘F’； 问题： 1． 数据冗余太大 2． 更新异常（update anomalies）： l???? modification anomaly l???? insertion anomaly l???? deletion anomaly * solution: 分解——关系模式规范化： SCG（S#，C#，G） CTN（C#，TN） TND（TN，D） ? SELECT S#，C#，TN FROM SCG，CTN，TND WHERE SCG.C#=CTN.C# AND CTN.TN=TND.TN AND D=’CS’ AND G=’F’; * 10.2 函数依赖 R U={A1,A2,…,An} F r Define 10.2-1 functional dependency R(A1,A2,…,An) X?U, Y? U t1,t2 ?r 若t1[X]=t2[X], 则t1[Y]=t2[Y], X→Y Trivial functional dependency: 若Y ? X,则X→Y X →Y 若X→Y，Y→X则X?Y Define 10.2-2 full (partial) functional dependency R(A1,A2,…,An) X ? U, Y ? U 且X≠Y，如X→Y，且??X‘ ?X，使得X’→Y，则称X Y，否则， X Y。 {S#, C#} TN {S#, C#} G * Define 10.2-3 transitive functional dependency R(A1,A2,…,An) X ? U, Y ? U, Z ? U,且X≠Y≠Z，若X→Y，Y → X，Y→Z，则称X Z。 Define 10.2-4 逻辑蕴涵 F是R的FD的集合，X→Y是R的一个FD，若一关系模式满足F，则必然满足X→Y，称F逻辑蕴涵X→Y：F╞ X→Y Define 10.2-5 closure 函数依赖集合F所逻辑蕴涵的函数依赖的全体称为F的闭包，记为F+，即F+={X→Y|F╞ X→Y } * Armstrong’s axioms: A1: reflexivity 若Y ? X ? U，则X→Y。 A2: augmentation 若X→Y，且Z ? U，则XZ→YZ。 A3: transitivity 若X→Y，Y→Z，则X→Z。 合并规则：{X→Y，X→Z}╞ X→YZ 引理10.2-1 Armstrong公理是正确的(sound)，即如果F成立，则由F根据Armstrong公理所推导的函数依赖总是成立的。 * 引理10.2-2 下列三条推理规则是正确的： (1)?? the union rule：{X→Y，X→Z}╞ X→YZ (2)?? the pseudo transitivity rule: {X→Y，WY→Z}╞ XW→Z (3)?? the decomposition rule： 如果X→Y且Z ? Y，则X→Z成立。 结论：由分解规则，若X→{ A1,A2,…,Ak}，则X→Ai（i=1…k）;