第06章关系数据理论(2).pptVIP

6.函数依赖集的等价引理6.3：F+=G+的充分必要条件是F?G+和G?F+。证:充分性。若：F?G+，则XF+?XG++。任取X→Y?F+，则有Y?XF+?XG++，所以：X→Y?(G+)+，而(G+)+=G+。即F+?G+。同理可证G+?F+，所以F+=G+。判断方法：要判定F?G+，只须逐一对F中的函数依赖X→Y，考察Y是否属于XG++就行了。6.3数据依赖的公理系统第29页，共41页，星期日，2025年，2月5日数据库原理及应用朱辉生(jssyzhs@)*/35第06章关系数据理论(2)第1页，共41页，星期日，2025年，2月5日复习1.关系模式存在的四种异常现象2.函数依赖、非平凡函数依赖3.完全函数依赖、部分函数依赖4.传递函数依赖5.1NF、2NF、3NF第2页，共41页，星期日，2025年，2月5日1.BCNF定义：设关系模式RU,F?1NF，如果对于R的每个函数依赖X→Y，若Y不属于X，则X必含有候选码，那么R?BCNF。若R?BCNF，则R?3NF。2.性质：6.2.6BCNF(1)若R?3NF，且R只有一个候选码，则R必属于BCNF。(2)所有非主属性对每一个码都是完全函数依赖。(3)所有主属性对每一个不包含它的码都是完全函数依赖(4)没有任何属性完全函数依赖于非码的任何一组属性。第3页，共41页，星期日，2025年，2月5日例：关系模式SJP(S,J,P)中，S--学生、J--课程、P--名次，每个学生选修每门课程的成绩都有一定的名次，每门课程中每一名次只有一个学生(即没有并列名次)。则有：函数依赖(S,J)→P，(J,P)→S，所以(S,J)与(J,P)都可以作为候选码，SJP?BCNF。6.2.6BCNF从函数依赖的范畴考虑，BCNF已完成了模式的彻底分解，消除了插入、删除和更新异常，数据冗余度大大降低，但从数据依赖的角度，BCNF的关系模式仍存在一定的问题。第4页，共41页，星期日，2025年，2月5日6.2.6BCNF小结：1.从定义可以看出：2.转换方式：(1)1NF→2NF：消除1NF中非主属性对候选码的部分依赖(2)2NF→3NF：消除2NF中非主属性对候选码的传递依赖(3)3NF→BCNF：消除3NF中主属性对候选码的部分依赖和传递依赖第5页，共41页，星期日，2025年，2月5日6.2.6BCNF小结：3.如果一个关系模式属于BCNF，那么在函数依赖的范畴内，已经实现模式的彻底分解，达到了最高的规范化程度，消除了插入异常和删除异常4.对于不好的关系模式，就是对存在弊端函数依赖进行分解。第6页，共41页，星期日，2025年，2月5日练习指出下列关系模式是第几范式？并说明理由。(1)R1(X,Y,Z)F=(XY→Z)(2)R(X,Y,Z)F=(X→Y,X→Z)(3)R(W,X,Y,Z)F=(X→Z,WX→Y)R1是BCNFR2是BCNFR3是1NF第7页，共41页，星期日，2025年，2月5日6.3数据依赖的公理系统1.逻辑蕴含 定义6.11对于满足一组函数依赖F的关系模式RU，F，其任何一个关系r，若函数依赖X→Y都成立,则称F逻辑蕴含X→Y。例如： 设关系模式RU，F，有A∈U、B∈U、C∈U；又假设在R中有函数依赖集F={A→B，B→C}，则称R中有函数依赖A→C，即F逻辑蕴涵A→C。第8页，共41页，星期日，2025年，2月5日6.3数据依赖的公理系统2.Armstrong公理系统一套推理规则，是模式分解算法的理论基础用途：(1)求给定关系模式的码(2)从一组函数依赖求得蕴含的函数依赖第9页，共41页，星期日，2025年，2月5日6.3数据依赖的公理系统(1)Armstrong公理系统的内容:对关系模式RU，F来说,有以下的推理规则：Al.自反律：若Y?X?U，则X→Y为F所蕴含。A2.增广律：若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。A3.传递律：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 注意：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于F。第10页，共41页，星期日，2025年，2月5日6.3数据依赖的公理系统