数据库课件档内六讲.ppt

第六章 逻辑数据库设计;;6.1 形成初始关系数据库模式 ;;;;B;;;;;;;;实例：工厂管理系统;;实例：公司车队信息系统的E-R模型;;;;;;;局部E-R图;;;;6.2 关系数据库设计理论 ;;;;;;;;;;;关系模式的形式化定义;关系模式的简化表示;二、函数依赖;;函数依赖与联系之间的关系;说明：;;常用概念和记号;;;几种函数依赖;;;三、用函数依赖定义关系模式的键;;四、关系模式的规范形式（范式） ;;第一范式：;;;;;SLC不是一个好的关系模式;;;;第二范式;;;;;;;第三范式;;BC范式（BCNF）;;;;;;;BCNF的关系模式所具有的性质;;;规范化;; ;规范化的基本思想;;练习：;;;;;;;五、数据依赖的公理系统 ;;逻辑蕴涵;Armstrong公理系统;Armstrong公理;关于Armstrong公理正确性;t[XZ] = s[XZ];;推理规则;};;;;;;属性集的闭包;;关于闭包的引理;;求闭包的算法;;;;;快速求解候选键的方法;;;;函数依赖集等价;;;最小依赖集;[例]关系模式SU，F，其中： U={ SNO，SDEPT，MN，CNAME，G }， F={ SNO→SDEPT，SDEPT→MN， （SNO，CNAME）→G } 设F’={SNO→SDEPT，SNO→MN，SDEPT→MN， (SNO，CNAME)→G，(SNO，SDEPT)→SDEPT} F是最小覆盖，而F ’不是。 因为：F ’-{SNO→MN}与F ’等价 F ’-{(SNO，SDEPT)→SDEPT}也与F ’等价 F ’-{(SNO，SDEPT)→SDEPT} ∪{SNO→SDEPT}也与F ’等价 ;定理6.2.5 每一个函数依赖集F均等价于一个极 小函数依赖集Fm。此Fm称为F的最小依 赖集 证:构造性证明，依据定义分三步对F进行“极小 化处理”，找出F的一个最小依赖集。 (1)逐一检查F中各函数依赖FDi：X→Y， 若Y=A1A2 …Ak，k≥2， 则用 { X→Aj |j=1，2，…， k} 来取代X→Y。 ;(2)循环地检查F中各函数依赖FDi：X→A， 令G=F-{X→A}， 若A?XG+， 则从F中去掉此函数依赖。直到F不再改变。 由于F与G =F-{X→A}等价的充要条件是A?XG+ 因此F变换前后是等价的。; (3)循环地取出F中各函数依赖FDi：X→A， 设X=B1B2…Bm， 逐一考查Bi （i=l，2，…，m）， 若A ?（X-Bi ）F+ ， 则以X-Bi →A 取代X →A 。直到F不再改变。 由于F与F-{X→A}∪{Z→A}等价的充要条件 是A?ZF+ ，其中Z=X-Bi 因此F变换前后是等价的。; 由定义，最后剩下的F一定是极小依赖集。 因为对F的每一次“改造”都保证了改造前后的两个函数依赖集等价，因此剩下的F与原来的F等价。 证毕 定理的证明过程 也是求F极小依赖集的过程;[例] F = {A→B，B→A，B→C，A→C，C→A} Fm1、Fm2都是F的最小依赖集： Fm1= {A→B，B→C，C→A} ? Fm2= {A→B，B→A，A→C，C→A} F的最小依赖集Fm不一定是唯一的。它与对各函数依赖FDi 及X→A中X各属性的处置顺序有关;极小化过程( 定理6.2.5的证明 )也是检验F是否为极小依赖集的一个算法 若改造后的F与原来的F相同，说明F本身就是一个最小依赖集 ;例，设有关系模式R（U，F），其中U=ABC，F = {A? { B，C}，B?C，A?B，{A，B}?C}，求Fmin 将F中所有的函数依赖的依赖关系因素写成单属性集形式： G={A?B，A ?C， B?C，A?B，{A，B}?C} 这里多出一个A?B，可以删除，得到 G={A?B，A ?C， B?C，{A，B}?C} G中的A?C可以从A?B和B?C推导出，A?C冗余的，删除 G={A?B， B?C，{A，B}?C} G中的{A，B}?C可以从B?C推导出来，是冗余的，删除 G = {A?B，B?C} 所以 Fmin = {A?B，B?C};6.3 关系模式规范化方法;模式分解;例: SL（Sno， Sdept， Mn） F={ Sno→Sdept,Sdept→Mn,Sno→