数据库规范化管理理论

第4章关系数据库设计理论

（关系数据库的规范化理论）4.1数据依赖4.2范式4.3关系模式的规范化

4.1数据依赖4.1.1关系模式中的数据依赖4.1.2数据依赖对关系模式的影响4.1.3有关概念4.1.1关系模式中的数据依赖

关系模式:R<U,D,DOM,F>简记为：R<U,F>R是符号化的关系名；

U是属性名的集合；

D是属性组U的取值范围，是域的集合；

DOM为属性U到域D的映射集合；

F是属性U间数据的依赖关系集合。

数据依赖一个关系内部属性与属性之间的一种约束关系，描述的是关系中元组的语义。4阅.送1旧.疑2数戚据燃依稻赖缠对芦关甘系鸟模曲式根的时影事响示副例里：S抚t垃u著d炸e讨n蹦t关翁系杜模脱式Ｕ=｛S重n验o苗,虎S积d夸e戚p味t番,渣M希n涌a衔m溉e歌,糠C眯n仔a民m边e光,舍G别r怜a摘d础e｝数掩据这语卧义带：系滥与消学盈生酱之毕间言是1租:邻n的矿联跳系一研个龄系扎只层有液一糊个敞主竟任学驰生羽与禽课肾程膏之垄间这是m驼:舒n的枯联堵系每趣个筐学躬生弯的旋每陶门贱课膜都铜有贩成昼绩SnoCnameSdeptMnameGrade主梅码冤？F贝=榨{叫S家n命oS闸d宅e员p异t截,确S住d六e作p鱼tM搂n厦a以m弄e，(所S养n村o劣,孕C航n锤a头m忽e房诚)G工r警a鄙d监e泻}上碧述明模谱式激存织在爆如唯下泻问肆题甜：数恼据牌冗自余飞量档大更京新认复龄杂胀、偏量凉大鸣（琴更抢新敌异判常晶）插哲入共异绣常删决除为异撕常好糖的叛模啄式蹈应觉不原发肾生户异柳常亮，僵且娱冗部余钟较峰小睁。4吗.台1截.镇3有纪关曲概摧念不刻好权的环关码系茫模者式巴是共由上于篮存枝在沿不仰合榨适殃的数别据燥依恐赖园所脂造因成井的嫌；规忙范很化屋理是论脉致忆力竞于航解屿决拘关惠系液模闪式攻中称不合钟适尤的煮数老据令依征赖间；函士数鄙依键赖聋和鬼多贤值脱依字赖1砍.函片数丢依滚赖定超义钓：安设R君(稍U捎)是酬属回性缸集U上言的缎一烟个飘关帅系昼模惨式摆，X浑,屠Y是U的废子饿集膜。辟对萌于R望(丛U复)的任逢意一残个戒可早能窃的甜关约系锋，伞不玻可姓能仓有尤两汤个想元蛋组似在吉属泡性碗集X上鄙的闯值巧相丽同浙而孙在Y上喇的牵值页不驱同辆，表则辅称X函忘数中确鱼定Y或Y函放数踩依送赖紫于X，弃记雪作XY，X称征为术这王个园函饺数笋依气赖蛛的善决织定幸属羽性忆集尽。XY鱼X材↔趣Y函泊数痰依快赖捐完支全姐是侍由冰数饭据顾的愧语尽义莫决体定寺的纯。例S裤t齐u昼d毛e物n藏t戒(匙S华n接o围,作S楚d职e公p肾t画,阵M坐n衰a手m件e旅,士C侍n得a驻m五e剥,确G巨r司a撇d被e盟)假哨设纪不金允泪许铸重脸名2洪.平要凡抛函景数势依弱赖抵与采非感平铺凡厌函旷数咱依乔赖平速凡貌函融数阻依击赖XY阶YX非艰平蜜凡卫函讨数躬依挪赖XY利YX例响：S题C佛(扔S浮n僚o诵,头C厅n胁o冷,愈G捧r狗a翁d蜂e秒)3阀.完腔全忍函夜数恩依哨赖疫与雨部倘分舒函使数特依总赖

完全函数依赖

在关系模式中，若XY，X′Y，那么Y完全函数依赖于X。记作XY。部分函数依赖在关系模式中，若XY，X′Y，那么Y部分函数依赖于X。记作XY。fp例纲：S尊t垃u证d僵e馒n升t椅(峡S爹n数o份,帐S危d矩e号p宋t壶,奏M生n淹a朵m鸣e筝,养C辨n柱a悬m徐e脸,腥G循r窜a河d择e耀)在晕关结系捡模剂式晚中吗，械若XY，乳且YZ，须但YX，那陵么存属浴性榨集Z传逐递制函栗数轧依搏赖展于X。争记珍作XZ。4快.传叙递船函根数剥依擦赖t例描：S启t术u吸d姨e坛n敌t窑(句S姻n废o够,老S鸽d择e伞p颈t芝,壳M齿n霞a况m迁e抚,督C随n高a说m哄e钢,逆G愁r抬a灵d俘e缝)码爆是踢关杆系稻模杠式查中沾的杯一虑个编重揭要浸概刮念码顽可氏以死用遗函值数温依拥赖爬的捎概写念世来苍严依格烤定耀义K身U候说选吉码主撇码外密码5诵.码f最棍小顶属谊性碰集矿！4贸.慰2范爪式满绿足知一冶定麦约桥束割条肝件维的禽关挠系冤模永式落的肃集团合疫称权为亭范篇式5NF4NFBCNF3NF2NF1NF4炕.凭2类.企1第恢一柄范侮式(焦1颤N蠢F童)4阅.呈2爬.防2第反二累范截式(眉2管N健F府)4繁.葱2往.馅3第昼三敢范免式(牌3哀N途F者)4副.质2少.榆4钉B瞎C范列式(灿B韵C败N得F添)4萌.泄2沙.阔5多常值俭依烦赖椒与均第矿四晋范昂式(涝4阁N谢F另)4蛛.尊2裙.室1恒1需N抬F定眨义利：方若镜关帽系袭模舞式R中窝的敬所烘有虾属聚性估都熄是疤不巾可因分帮的终基情本携数化据寒项，则R君∈残1系N闲F。关魂系野模别式停必女须确满自足端第凝一曾范涌式S衬L热C悄(什S酷n筑o页,她S材d元e挽p荐t钞,吉S粗l矮o接c应,红C灯n遗o差,亩G答r赔a溉d逼e乎)冗仇余甘大猛、杯更岗新闯异凤常不考是熄好阅的君关磨系浅模压式!例条：S污t木u规d稼e仙n郊t揭(惯S貌n执o咽,众S音d抵e叨p杯t锯,惠M纯n尝a桶m怀e东,赤C荣n研a耻m支e虏,家G视r岩a驶d级e盟)4溜.狗2草.臂2醋2剑N港F定堂义纠：店若R恳∈混1串N侄F，览并走且暂每沈一扒个非愁主论属碍性都哑完上全内函脂数摆依第赖远于凤码价，距则R每∈茧2脆N怎F。S循1捎(笼S评n野o嫂,毙C厚n约a蔑m奸e家,够G贝r剩a佛d眠e谷)S跳2佛(敞S亡n级o妥,丘S立d召e惜p市t啦,塑M葵n恶a摩m荒e桃)Student

∈1NF投影分解冗余大、更新异常不男是决好垫的救关毁系汤模咏式!4挨.殿2极.愤3唉3休N妇F定宗义伸：浙若R天∈妙2堵N直F，赚并部且移每探一告个非晌主置属开性不竟传型递野函果数谱依定赖蝴于生码桨，征则R狭∈粉3兰N吃F。S湿2叶1裤(邪S好n贺o激,件S槐d甜e屠p记t讨)S真2旺2遭(嫌S窗d旱e版p挪t神,向M眨n电a萌m检e裕)S2

∈2NF投影分解3谎N汤F基测本具上能消胆除错冗凝余会和草更港新睡异榨常∈勿3洽N侄FS陈1赞?例透：S笼T对J污(荡S筝,若T日,树J轮)每绞门坑课么由万若刑干横老柔师窝教每谨位畜老的师咱只攻教山一迫门绩课学透生牙选窜了左某稍门断课学滨生凳听问了由某任老讨师垒的串课∈炎3役N伟F存盛在叮问尤题墙！4献.酱2侍.线4纳B弯C牧N黎F定验义绪：像若R壤∈饼1悟N鸡F，杏并甩且善对促于桐每渴一疮个给非缺平斜凡州函而数响依在赖XY，X必含考有打码，译则R吵∈灵B植C茅N具F。结亲论闲：所顺有非脚主搜属擦性都饱完忍全挺函双数凉依男赖痕于爹每膝个挨码所骗有主声属惭性都轧完锻全音函坏数惜依债赖聋于系每筋个荡不真包筒含核它铲的首码没漫有版任奇何隔属丽性登完袍全把函谨数帮依婚赖脊于非宜码的袄任笔何怒一疏组芝属购性3可N稼F与B揪C童N秒F的失关厨系宗？S膝T脆J∈昆3改N廊FST(S,T)TJ(T,J)投影分解∈出B番C港N怠F例凉：S依J去P罢(绞S勤,对J烤,浮P轮)S：勺学咏生J：跃课打程P：家名伴次3手N国F和B索C徒N讲F通念常踢都她是库数晶据塞库抛设您计谨者糊所屋追朋求自的盼关君系荐范期式补，粘有汇时援统坦称蜡为罚第遇三睁范怒式技；如个果烛一缝个编关哄系擦数兴据究库凝的浴所煌有跳关以系鲁模祖式罪都姨属挪于B妥C价N等F，遭在函馒数盆依范赖范旺畴水内错，纳它慌已猜达璃到殖了最苏高的步规霜范阶化惭程宫度铃，焰消垫除股了乘异热常舰。例串：T误e玩a愧c弱h册(帖C陕,碎T柜,尚B妖)码至？风范男式鞠？好画的乓关驱系育模需式任？4美.信2股.辈5多杯值甲依基赖匀与4议N凭F1述.多床值铃依敞赖定犁义妄：么设R兄(尝U屯)是旦属腿性勒集U上撇的要一责个手关顾系忙模剑式搬，X料,予Y春,漆Z是U的采子聋集直，Z返=闹U嗓-鸟X棕-冶Y，帆若R坚(贵U引)的美任污意钓一戏个造关弓系症，娃对项于(鹊X纸,劫Z每)的肢每播个晌值笛，朝存矩在Y的愈一朋组随值魄与膏其注对缸应掌，网且Y的爬这矩组慕值仿仅旅仅蛾决巴定攻于X值辽而乞与Z值扮的偏无宰关奇，齐则径：Z为言空休时钉，秘称X吵Y为质平贺凡赤的晨多宁值瞒依昨赖Z非克空串时半，隔称X愈Y为橡非距平偿凡里的琴多戚值四依宴赖T张e剑a叶c怀h吩(换C光,口T扯,绿B骄)C新BC鲁TW妈M远P铜(朽W长,切M坏,仆P丽)2词.保4速N弯F定册义畏：品若R绕∈辰1思N腊F，度并疼且错对植于获每武一绿个非看平轧凡多叼值抵依亡赖X敌Y骆(陈Y不额被X包健含)，X必含抓有雕码，而则R婶∈漠4部N哗F。B决C信N痕F与4养N姜F的歇关彻系蹦？W受M元P歉(道W球,胜M酒,捧P直)WM(W,M)WP(W,P)投影分解∈禾4诱N锐F小膀结在扯函京数汪依愉赖之范净畴雷内吗，B颈C援N勿F是猫规味范剂化借程类度串最活高怖的件；在茫多俯值励依茄赖代范伙畴磁内佩，4扶N捐F是惨规蒙范负化亭程凳度壤最完高蔽的挤；连歼接谣依呆赖氏与5赤N园F。4伶.上3关虚系撞模扶式描的术规伸范距化4传.杨3惯.配1关冶系捉模钉式稍规字范乞化歼的聪步货骤4鞋.咏3景.音2关蝴系材模马式封的芽分集解4道.祖3侵.匠1关别系相模率式怖规渴范规化涂的植步社骤1脆N横F消掏除非寸主肠属幕性对嫌码产的部绕分函胡数辈依允赖2室N馒F消仪除非爷主蜂属蕉性对袍码粗的传牙递函夜数絮依谎赖3耗N泼F消沟除主作属宋性对长码括的部缩慧分米和稻传遗递函据数拦依斯赖B规C屠N赚F消进除蝇非条平兽凡禁且双非悄函械数谋依狸赖毕的多阳值依钥赖4末N杂F消朴除健不疤是甘由叫候舞选凝码厚所鲜蕴链含研的连晚接依拣赖5异N百F*消钢除进决士定配属轨性斯集条非明码嗓的非甩平岸凡乳函浑数类依近赖4状.慌3财.翁2关猪系怨模膨式乓的殿分劳解定青义绣：尘关弹系无模晴式R源(骆U魂,很F予)的竟分宇解吹就虫是影用社一略组第关偏系毫模筋式R种1风(抹U集1照,软F懂1长)炭,荣R唤2悟(沟U设2裙,厌F喜2旷)偿…呢,腿R故n昌(爬U导n乞,限F峡n珠)来咸取柳代R，衬其诞中U弓=趁U胀1亦∪器U临2宏∪厉…琴∪孩U飘n，闯且植不悉存茫在U蚕iU麦j，F主i为F在U渠i上待的鸡投柳影凳。分旗解固后焦的祖关畅系角模印式击应伸与泊原但关捕系傲模绣式洲等墓价无错损慰连希接乱的鼓分永解不哀丢漆失杠信球息暗，摩且券定烫能题达组到4夕N标F保口持丈函赖数桌依漠赖验的睛分红解减赖轻急异狮常挤，横且者定宿能煌达衡到3奸N客F既畅保年持撞函咐数吉依阻赖关又棚无品损密连警接繁的骗分筝解定找能伤达门到3眉N适FS芒L蹦(介S呜n宪o庭,虫S午d羽e洪p谣t俘,辞S钥l离o涨c碍)的密分撤解分沈解1：S硬N懂(樱S奴n居o宫)汉,醋S蹄D腿(送S锡d哲e您p禽t军)轰,颈S社O笋(拌S形l粉o白c眠)分桂解2：N痰L绢(竖S捷n苗o浮,裁S匙l虎o旗c抹)啊,绵D亭L漆(治S喝d俊e耀p魂t命,蜜S剪l恳o确c钥)分喊解3：N绵D捆(佳S帽n狱o恨,献S姑d悔e铸p嘴t黎)忌,废N灵L怎(通S荣n唱o泳,德S柜l吹o锡c犯)分线解4：