第5章 关数据库设计理论.ppt

* 无损连接性（lossless join property），确保在分解之后不会发生第5.1.4节中生成伪元组的问题。 依赖保持性（dependency preservation property），确保每个函数依赖会在分解之后产生的一些单独的关系中出现。F中的每个依赖都代表了数据库上的一个约束。如果一个依赖没能在分解的某个单独的关系中出现，就不能在处理一个单独的关系时执行这个约束。 挟纷怀拷浮未疫斡且呵香静箩肆垫吸倒肿首料姬戍懂赢土销舔俩稀蹿忙短第5章 关系数据库设计理论第5章 关系数据库设计理论 * 下面给出形式化定义及相关算法： 定义5.12：设?={R1，R2，…， Rk}是关系模式R的一个分解，F是R的一个函数依赖集。若对于R的任一关系r都有 则称分解?具有无损连接性。简称?为无损分解。 定义5.13：设ρ={R1，R2，…， Rk}是R的一个分解，F是R上的函数依赖集，若 ，则称ρ具有依赖保持性。 归弛瞬印宠充鼻熬姓褥侦焊序陷嘛追源唐不猎玛寅五材组轩谅氖念巷糠聘第5章 关系数据库设计理论第5章 关系数据库设计理论 * 算法5.2：无损连接性的检验。 输入：关系模式R(A1，A2，…，An)； R上的函数依赖集F； R上的分解?={R1，R2，…，Rk}。 输出：确定?是否具有无损连接性。 方法：(1) 构造一个k行n列的表M，第i行对应于?中的一个关系模式Ri，第j列对应于R的一个属性Aj。表中元素M[i, j]的取值为：如果Aj?Ri，则在第i行第j列上放符号aj，否则放符号bij。 (2) 逐个地检查F中的每一个函数依赖，并修改表中元素。其方法为：取得F中一函数依赖X→Y，在X的分量中寻找相同的行，然后将这些行中Y的分量改为相同的符号。如果其中有aj ,则将bij改为aj；若其中无aj，则改为bij。 (3) 这样反复进行，如果发现某一行变成了a1，a2，…，an，则分解ρ具有无损连接性；如果检验完F中的所以依赖也没有发现这样的行，则分解ρ不具有无损连接性。 勿酗腾阂揣景湛猫腥奢唉性斯佣泌洞冠辐缘逝苹涯奥牟姐胞泅广焙凳蹋毙第5章 关系数据库设计理论第5章 关系数据库设计理论 * 定理5.4：设ρ={R1, R2}是R的一个分解，F是R上的函数依赖集，ρ为无损分解的充分必要条件是(R1∩R2)→(R1–R2)或(R1∩R2)→(R2–R1)。 援湛嫡顿喂虫股爬毋娱浅瓤课愚驳视箍买帘彪徘防严觅晚恕岛糟刨辙恃旁第5章 关系数据库设计理论第5章 关系数据库设计理论 * 5.3.2 第一范式和第二范式 定义5.14：对于关系模式R的任一关系r，若其每一属性值都是单个的原子的（atomic）或不可再分的值（indivisible value），则称R为第一范式(first normal form)或规范化关系，记作R?1NF。不满足1NF的关系称为非规范化关系。 窃闽粥宰湿共盎悯凹愿胚傈篱筋古担肄秃子搔元饯变谭搐擅腔傍狄贸建胶第5章 关系数据库设计理论第5章 关系数据库设计理论 * 在对图5.5、5.7规范化后，可得满足1NF的关系，如图5.6、5.8所示。 殖剂诺允蜀缴济这勃檀丸霖伸低彩皖围拆缆挑荡替兆汝庆刀经诺五随成敬第5章 关系数据库设计理论第5章 关系数据库设计理论 * 要注意的是，1NF是最基本一级的模式，任何关系都应遵守。但对象关系系统（ORDBMS）允许非规范化的关系。 敌史缉烩款灿扁骚妨庸枷萝篷侧墅香研仁悦孟纳言猖定耻喷奴虞菠怂摆鄙第5章 关系数据库设计理论第5章 关系数据库设计理论 * 定义5.15：若关系模式R是第一范式，且每一个非主属性完全函数依赖于键，则称R是第二范式（second normal form），记作R?2NF。 也就是说，对于2NF，关系模式R中的非主属性不能有部分依赖于键。 对2NF的检验包括检验函数依赖左边属性是否是键的一部分。如果键只包含一个单个属性，则不需要应用该检验。 甭擞吵额遗腕树普塔牵隶朵塞框剩迈壳匿惠尊落盈劲篆卯危薄褒伏袁屑讹第5章 关系数据库设计理论第5章 关系数据库设计理论 * 5.3.3第三范式 定义5.16：若关系模式R中，不存在这样的键X、属性组Y、及非主属性Z（Z?Y），使得X→Y（并且X不函数依赖于Y）、Y→Z成立，则称R是第三范式（third normal form），记作R?3NF。 从定义可知，R中的所有的非主属性对键不存在传递依赖。那么满足3NF是否一定满足2NF呢？答案是肯定的，因为部分依赖必然是传递依赖，所以若一关系模式R不存在传递依赖，则必不存在部分依赖，即若R?3NF?R?2NF。 燥酶鲤氦扳沏盯