关系数据库部分理论.ppt

SL（SNO，SDEPT，SLOC）存在问题： 1.数据冗余 如果一个系有500个学生，则地址就要重复500次。 2。插入异常 如果成立了一个新系，分配了在5号楼，而该系还未开始招生，则不能插入SDEPT，SLOC。 五、BCNF 定义：任给关系R，X、Y为其属性集。F为其函数依赖集，且F中所有函赖X→Y（Y不属于X）中的X必包含码（候选关键字），则R为BCNF。即R中每一函数依赖的决定因素都包含一候选KEY。 由BCNF的定义可以得到结论，一个满足BCNF的关系模式有： 所有非主属性对每一个码都是完全函数依赖。 所有的主属性对每一个不包含它的码，也是完全函数依赖。 没有任何属性完全函数依赖于非码的任何一组属性。 由于 ，按定义排除了任何属性对码的传递依赖与部分依赖，所以 。但是若 ，则R未必属于BCNF。 如对于关系模式S（SNO，SNAME，SDEPT，SAGE） 码：SNO，SNAME两个。SDEPT，SAGE不存在对码的部分依赖与传递依赖，所以 。同时S中除SNO，SNAME外没有其他决定因素，所以S也属于BCNF。 假定没有重名情况 非主属性：SDEPT，SAGE 主属性：SNO，SNAME 关系模式SPJ（S，J，P） S：学生 ，J：课程，P：名次。每个学生选修每门课程的成绩有一定的名次，每门课程中每一名次只有一个学生。由语义可得到如下的函数依赖： （S，J） P； （J，P） S 候选码：（S，J） （J，P） 所有属性均为主属性，不存在非主属性对主属性的部分依赖和传递依赖，所以 。而且除（S，J）和（J，P）以外没有其他决定因素，所以 。 关系模式STJ（S，T，J） S：学生， T：教师， J：课程。每一教师只教一门课，每门课有若干教师，某一学生选定某门课，就对应一固定的教师。由语义可得： （S，J） T；（S，T） J； T J （S，J），（S，T）均为码 STJ是3NF，但STJ不是BCNF。因为T是决定因素，却不包含码。 非BCNF的关系模式也可以通过分解成为BCNF。例如STJ可分解为 ST（S，T）； TJ（T，J） 它们均为BCNF。 3NF和BCNF是在函数依赖的条件下对模式分解所能达到的分离程度的测度。一个模式中的关系模式如果都属于BCNF，那么在函数依赖范畴内，它已实现了彻底的分离，已消除了插入和删除异常。 3NF的不彻底性表现在可能存在主属性对码的部分依赖和传递依赖。 六、多值依赖 例1 某一门课程由多个教员讲授，他们使用相同的一套参考书。每个教员可讲授多门课程，每种参考书可供多门课程使用。用一个非规范化的关系来表示教员T，课程C和参考书B之间的关系。 课程C 教员T 参考书B 物理 李勇 普通物理学 王军 光学原理 物理习题集 数学 李勇 数学分析 张平 微分方程 高等代数 计算数学 张平 数学分析 周峰 物理习题集 关系模型TEACHING（C，T，B） 码：（ C，T，B） 问题：当某一课程增加一名讲课教员，必须插入多个元组。 某一门课要去掉一本参考书，则必须删除多个元组。 对数据的增、删、改很不方便，数据的冗余也十分明显。 物理 李勇 物理习题集 定义6.9 设R(U)是属性集U上的一个关系模式。X、Y、Z是U的子集，并且Z=U-X-Y。关系模式R(U)中多值依赖X Y成立，当且仅当对R(U)的任一关系r，给定的一对（x,z)值，有一组Y的值，这组值仅仅决定于x值而与z值无关。 在R(U)的任一关系r中，如果存在元组t,s使得t[X]=s[X]，那么就必然存在元组w,v r(w,v可以与s,t相同），使得w[X]=v[X]=t[X],而w[Y]=t[Y],w[Z]=s[Z],v[Y]