第章关系数据库的规范化设计.pptVIP

B 1、B 2、（E，G），（D，G） 3NF (TNO,BNO) TNO?TNAME,TEL,DPT BNO?BNAME （BNO，BDATE）?TNO，RDATE，BACKUP 1NF [例2] 关系模式SU，F，其中： U={ Sno，Sdept，Mname，Cno，Grade }， F={ Sno→Sdept，Sdept→Mname，(Sno，Cno)→Grade } 设F’={Sno→Sdept，Sno→Mname，Sdept→Mname， (Sno，Cno)→Grade，(Sno，Sdept)→Sdept} F是最小覆盖，而F’不是。 因为：F ’ - {Sno→Mname}与F ’等价 F ’ - {(Sno，Sdept)→Sdept}也与F ’等价 第六十二页，编辑于星期五：十九点 四十五分。 7. 极小化过程 定理： 每一个函数依赖集F均等价于一个极小函数依赖 集Fm。此Fm称为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中去掉此函数依赖。 (3)逐一取出F中各函数依赖FDi：X→A，设X=B1B2…Bm， 逐一考查Bi （i=l，2，…，m），若A ?（X-Bi ）F+ ， 则以X-Bi 取代X。 第六十四页，编辑于星期五：十九点 四十五分。 极小化过程（续） [例3] 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不唯一 极小化过程( 定理6.3的证明 )也是检验F是否为极小依赖集的一个算法 第六十五页，编辑于星期五：十九点 四十五分。 4.4 模式的分解 把低一级的关系模式分解为若干个高一级的关系模式的方法不是唯一的 只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义 第六十六页，编辑于星期五：十九点 四十五分。 关系模式分解的标准 三种模式分解等价的定义： ⒈ 分解具有无损连接性 ⒉ 分解要保持函数依赖 ⒊ 分解既要保持函数依赖，又要具有无损连接性 第六十七页，编辑于星期五：十九点 四十五分。 模式的分解（续） 定义： 关系模式RU,F的一个分解： ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} U= ∪Ui，且不存在 Ui ? Uj，Fi 为 F在 Ui 上的投影 定义： 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 i=1 n 第六十八页，编辑于星期五：十九点 四十五分。 定义4.10 设R是一个关系模式，F是R上的一个FD集。R分解成数据库模式ρ=｛ R1，…，Rk ｝。如果对R中满足F的每一个关系r，都有 r=πR1（r）?πR2（r）? … ?πRk（r） 那么称分解ρ相对于F是“无损联接分解”（lossless join decomposition），简称为“无损分解”，否则称为“损失分解”（lossy decomposition）。 第六十九页，编辑于星期五：十九点 四十五分。 无损分解 例 r C C 4 3 4 3 r A B C r 1 A B 2 A 1 1 1 1 1 1 1 1 2 1 1 2 未丢失信息的分解 （b） （c） （a） r A B C r 1 A B r 2 A C r 1 r 2 A B 1 1 4 1 1 1 4 1 1 1 2 3 1 2 1 3 1 1 1 2 1 2 （a） （b） （c） （d） 丢失信息的分解 具有无损连接性的分解保证不丢失信息。 请自学无损分解的测试方法 第七十页，编辑于星期五：十九点 四十五分。 保持函数依赖的模式分解 设关系模式RU,F被分解为若干个关系模式 R1U1,F1，R2U2,F2，…，RnUn,Fn （其中U=U1∪U2∪…∪Un，且不存在Ui ? Uj，Fi为F在Ui上的投影），若F所逻辑蕴含的函数依赖一定也由分解得到的某