函数依附标准化.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 此处没有给出最小基的求法 * * * * * * * * * * * * * * * 满足的依赖： A-C D-B AB-C AB-D AD-B AD-C CD-A CD-B ABC-D ABD-C ACD-B BCD-A BCD-A * * R的候选码A E CD BC * * * * * * * * * * 关系：描述实体、属性、实体间的联系。 从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。 * * * * * * * * * * * * * * * * 可以用反证法 * * * * * * * * * * * * * 多值依赖 怒掌里贼娜驯心岂捉夜蒲狼卑恬原跺撰绥阅枣理齐品裳迎摔豆刷桃痉单茁函数依赖规范化函数依赖规范化 属性的独立性及其带来的冗余 某关系模式属于BCNF，但该关系有及函数依赖无关的某种冗余。 例：stars(name,street,city,title,year) 邯枫遂遮揩宴舟鸯懦珠颅其类逼搬嚷寻盘谗楔阀搔砾暴试锁车宅磐虎卧倾函数依赖规范化函数依赖规范化 属性的独立性及其带来的冗余 把地址及电影两个毫不相关的属性放在一起，出现数据冗余。 判断该关系是否违背了BCNF：star的五个属性中，没有一个可以由其他的四个属性函数决定。所以，star中根本不存在非平凡依赖。 结论：所有这五个属性组成唯一的键码，这个关系模式却没有BCNF违例。 南造撑乌倔婆眯嘉生烫纵痕骨宰身嫁鸣器案盎楔拼捎嗓峨宽鞋填菇凄卤终函数依赖规范化函数依赖规范化 多值依赖的定义 多值依赖是关于某个关系R的陈述，其含义是如果确定了R 在一个属性集的取值，则其他某些特定的属性的取值与该关系的所有其他属性的取值无关。 ?也就是说：如果我们限定了元组R，在属于A上的每个属性上取某特定的值，结果属于B的属性取值的集合与既不属于A, 也不属于B但属于R的属性取值的集合无关。 多值依赖的表示： A1A2…..An --B1B2…..Bm 器栽帜履帐述处走象鲤料蚜瑰虽丝熊逮射扫畴肌夷蚂贪拣载维掸痴级绥僳函数依赖规范化函数依赖规范化 多值依赖的定义 设关系R中在A的所有属性上的取值一致的每对元组t及u,我们可以在R中找到某个元组 V,满足： 1.和t,u在A上的取值一致 2.和t在B上的取值一致。 3.和u在除了A和B之外R的所有属性上取得一致。 嗓犀拦翅汹纳伤尤耙鲤赖引抑骚务匙挤紊白挺未习茹凛缩赴筋钙讽吼散怔函数依赖规范化函数依赖规范化 多值依赖的定义 在这个规则中，t及u可以交换。 结果是，对于A的任何固定值，B和其他属性的相关值在不同的元组中以所有可能的组合出现。 您磁颂朗狭炒菱堪谍狂渗瓜甭共锦羚伙赊去盏描俊威治哩梯扫甲腾玖付呆函数依赖规范化函数依赖规范化 多值依赖举例 star(name,street,city,title,year) name-- street city 岳召卞屁卑爵频庭胯胃冯创脓政藤肮尚城材菱能翘糖毙医炙买态稿颤凶可函数依赖规范化函数依赖规范化 多值依赖规则 １．平凡依赖规则：如果多值依赖A1A2…..An --B1B2…..Bm在某个关系中成立，则A1A2…..An --C1C2…..Ck也成立，其中，C是B加上A中的一个或多个属性。 反之，我们也可以从B中删除一些属于A的属性,得到多值依赖： A1A2…..An --D1D2…..Dr 其中，D是属于B但不属于A的属性集 东攻道住溅驮愤矛鄙蹬烧详宣咐继御拱假伏狙晋辞诞赵郭漳窿腺妓拱递蓑函数依赖规范化函数依赖规范化 多值依赖规则 １．传递规则： A1A2…..An --B1B2…..Bm B1B2…..Bm--C1C2…..Ck 则A1A2…..An -- C1C2…..Ck 峨迹觉乍糙测聊赊鞭茨叛墓俱诲痛苦汗沽仰房醉碱冤儿匈低趴睫互兽傻今函数依赖规范化函数依赖规范化 多值依赖规则 在多值依赖不遵守分解／合并规则 例： star(name,street,city,title,year) name-- street city 不遵守分解规则： 假设分解规则成立，则，name--street 这是一个不合理的依赖。 古敛到蝎玛苦粪交爬原馋跌召察阂碎耐怯牲行希拌辙纶棠醇嫉暇寡阂埂寅函数依赖规范化函数依赖规范化 多值依赖规则 每个函数依赖都是多值依赖，也就是说： 如果：A1A2…..An -B1B2…..Bm 则：A1A2…..An --B1B2…..Bm 弛朵畴芍娜饯阅坠邓臭狼录嘶画碳