数据库原理及应用教程第4章整合V1.0.pptx

;;;规范化理论的主要内容;;;SCD (SNo，SN，Age， Dept，MN，CNo，Score) ;一个好的关系模式应该具备以下四个条件： ;;函数依赖的定义;函数依赖的定义;函数依赖的定义;函数依赖的逻辑蕴涵定义 ;闭包（Closure）的定义;属性集的闭包及其算法 ;属性集的闭包及其算法 ;属性集的闭包及其算法 ;属性集的闭包及其算法 ;函数依赖的推理规则及正确性;函数依赖的推理规则及正确性;函数依赖的推理规则及正确性;函数依赖的推理规则及正确性;函数依赖的推理规则及正确性;;函数依赖的推理规则及正确性;;;设关系模式R的属性集是U，X是U的一个子集，F是在R上成立的函数依赖集。 如果X→U在R上成立（即X→U在F+中），那么称X是R的一个超码。 如果X→U在R上成立，但对X的任一真子集X′都有X′→U不成立（即X′→U不在F+中，或者X → U），那么称X是R上的一个候选码。;候选码的求解理论和算法 ;若X（X∈R）是L类属性，则X必为R的任一候选码的成员。;若X（X∈R）是N类属性，则X必为R的任一候选码的成员。;属性分类（L、R、N和LR），X代表L 类和N类属性，Y代表LR类属性。;候选码的求解理论和算法 ;候选码的求解理论和算法 ;;函数依赖集的等价、覆盖和最小函数依赖集 ;函数依赖集的等价、覆盖和最小函数依赖集 ;函数依赖集的等价、覆盖和最小函数依赖集 ;函数依赖集的等价、覆盖和最小函数依赖集 ;函数依赖集的等价、覆盖和最小函数依赖集 ;对F中的任一函数依赖X→Y，如果Y=Y1,Y2,…，Yk（k≥2）多于一个属性，就用分解律，分解为X→Y1，X→Y2，…，X→Yk，替换X→Y，得到一个与F等价的函数依赖集G，G中每个函数依赖的右边均为单属性。;在G中消除冗余的函数依赖。具体做法是：从第一个函数依赖开始，在G中去掉它（假设该函数依赖是X→Y ），然后在剩下的函数依赖中求X+，看X+是否包含Y，若是，则去掉X→Y；若不包含Y，则不能去掉X→Y。依次进行下去。;函数依赖集的等价、覆盖和最小函数依赖集 ;函数依赖集的等价、覆盖和最小函数依赖集 ;函数依赖集的等价、覆盖和最小函数依赖集 ;;完全函数依赖与部分函数依赖 ;完全函数依赖与部分函数依赖 ;传递函数依赖;传递函数依赖;关系模式的分解;模式分解问题;模式分解问题;模式分解问题;;;;;;;无损分解测试算法;无损分解测试算法;无损分解测试算法;无损分解测试算法;无损分解测试算法;;;保持函数依赖的分解;保持函数依赖的分解;;各种范式之间的关系;第一范式;克服这些弊端的方法是用投影运算将关系分解，去掉过于复杂的函数依赖关系，向更高一级的范式进行转换。 ;;第二范式的定义 ;第二范式的定义 ;第二范式的定义 ;2NF规范化 ;2NF规范化 ;2NF的缺点 ;2NF的缺点 ;;3NF的定义 ;3NF的规范化;3NF的规范化;3NF的规范化;3NF的规范化;;;BC 范式;BC 范式;;（1）令ρ={R}。 （2）如果ρ中所有模式都是BCNF，则转（4）。 （3）如果ρ中有一个关系模式S不是BCNF，则S中必能找到一个函数依赖X→A且X不是S的候选码，且A不属于X，设S1=XA，S2=S-(A－X)，用分解{S1，S2}代替S，转（2）。 （4）分解结束，输出ρ。;BCNF 规范化 ;BCNF 规范化 ;;一个低一级范式的关系模式，通过模式分解转化为若干个高一级范式的关系模式的集合，这种分解过程叫作关系模式的规范化。 ;规范化的目的就是使结构合理，消除存储异常，使数据冗余尽量小，便于插入、删除和更新。 规范化的基本原则就是遵循“一事一地”的原则。 ;关系模式规范化的步骤;保证分解后的关系模式与原关系模式是等价的;谢谢