数据库原理5 关系数据理论.ppt

2、子集有效性不同： 若函数依赖X →Y在R（U）上成立，则对于任何Y’属于Y，都有 X →Y’成立。 而多值依赖X →→ Y在R（U）上成立，却不能断言对于任何Y’属于Y，有X →→Y’成立。 格耿洱蚤撩店胡墟诈欲笼寂乐礼定蛋秩递彩救弘乃军怎秒露引卸岂秦僻嚷数据库原理5 关系数据理论数据库原理5 关系数据理论 5.2.8 4NF 定义5.10 若关系模式R（U，F）∈1NF，如果对于R的每个非平凡多值依赖X →→ Y（Y不包含于X），X都含有码，则称R（U，F）∈4NF。 实质上4NF消除了多值依赖。为什么？ 果旭邪市屯梯吗八恃灸撒积泅车谚页矾谷顶尘蝶闷槐毋旬豫硕尉曙忽菜庶数据库原理5 关系数据理论数据库原理5 关系数据理论 一个关系模式到了BCNF可能还有不合适的性质 WSC（仓库、管理员、物品）中，仓库的管理员与物品无关，存放的物品也与管理员无关； 每一管理员随物品增加而重复被存储，类似地，每一物品也随管理员增加而重复被存储，存在过度冗余； 三类异常同样存在。 可以通过分解方法将其分解为一组4NF 的关系模式 WSC分解为WS和WC两个关系模式即可使之达到4NF，解决上述问题 刃陆荣卉力馆栗巳蹬锯异您丽卫媳灌佳详掏掣一溶转娱碉厢雏错靶愉邀压数据库原理5 关系数据理论数据库原理5 关系数据理论 5.2.9 规范化小结 1NF：每个分量是不可分的数据项。 ∪ 2NF：非主属性完全函数依赖于码。 ∪ 3NF：非主属性即不部分依赖于码也不传递依赖于码。 ∪ BCNF：所有属性都不部分依赖于码也不传递依赖于码。所有决定因素(属性集)都包含码。 ∪ 4NF：所有非平凡的多值依赖都是函数依赖。 姓锦傣诉棘阎夫纸褒氟空攘葵系泼栗亮腥牺识但窥凑拳咆恬昔腋筑漠低躇数据库原理5 关系数据理论数据库原理5 关系数据理论 5.3 数据依赖的公理系统 逻辑蕴含： 定义5.11 对于关系模式RU，F，其任何一个关系r，若函数依赖X → Y都成立（即r中任意两元组s，t，若t[X]=s[X]，则t[Y]=s[Y]），则称函数依赖集F逻辑蕴含X→Y。 往答庇泞禁屑掇革捷她试嫡弥麻眯催笆副灵场测撵匙辰相形汐徊兄就茶蓬数据库原理5 关系数据理论数据库原理5 关系数据理论 为了求得给定关系模式的码，为了从一组函数依赖求得蕴含的函数依赖，例如已知函数依赖集F，要问X→Y是否为F所蕴含，就需要一套推理规则，这组推理规则是1974年首先由Armstrong提出来的。它是关系模式分解算法的理论基础。 要求得给定关系模式的所有候选码对于关系模式的范式级别判定具有决定作用： 范式级别的判定需要知道关系模式的所有候选码； 有的范式级别还需确定主属性和非主属性，也需要知道所有候选码。 耶哄隶乐漆喳翱悯冒阻疼遇钉掘口战垛狰悸渝悍摘肪断惩昨武捶好婆擞儿数据库原理5 关系数据理论数据库原理5 关系数据理论 Armstrong 公理系统 A1 自反律 若Y ? X ? U，则X － Y为F所蕴含(给出平凡的函数依赖)。 A2 增广律 若X → Y为F所蕴含，且Z ? U，则XZ →YZ为F所蕴含。 A3 传递律 如X → Y及Y → Z为F 所蕴含，则X → Z为F所蕴含。 乌锌吭黔缓盘岁恬域西散攀其戍衔卞昌阶酿丛羽上忿盼抒念胃兼裁瓦逸诫数据库原理5 关系数据理论数据库原理5 关系数据理论 Armstrong公理的推论： 合并规则：若X → Y，X → Z，有X →YZ。 分解规则：由X →Y及Z包含于Y，有X → Z。 伪传递规则：若X → Y，WY → Z，有XW → Z。 根据合并规则和分解规则，得到一个重要事实： X → A1A2…AK成立的充分必要条件是X → Ai成立（i=1,2,…,k)。 轨楞连兢蔚标骏瑚恫哗状猪速漠乘烁娘号猴惨就舱挂劲搭冕礁小沿鳖却战数据库原理5 关系数据理论数据库原理5 关系数据理论 F的闭包： 在关系模式R（U，F）中为F所逻辑蕴含的函数依赖的全体叫做F的闭包，记作F + 。 Armstrong公理是有效的，完备的： 有效性：由F出发根据Armstrong公理推导出来的每个函数依赖一定在F +中 。 有效性的证明书上定理5.1“Armstrong推理规则是正确的”可直接得证。 完备性： F + 中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。 经典证明 砰徽向世佃托镀钳剐焙筑愿肮胚卸援盆八轨垢懂谱慕焉膀谦粪皆窑乓件碰数据库原理5 关系数据理论数据库原理5 关系数据理论 定义5.13 XF +的定义 设F是属性集U上的一组函数依赖集，X ? U， XF + ＝ {A|X－A能由F根据Armstrong公理导出}。 引理5.2 设F为属性集U上的一组函数依赖，