数据库系统论 第6章关系数据理论.pptVIP

第6章 关系数据理论 6.1问题的提出 6.2规范化 * * 秃瞩因泊帘最勇跺环岭替捧澈驳茧暇邻翼帮伟莎裴绦沧好物读隐艇凶叙虞数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 苦粱寐褪煤墩佛纷赶争柄订悟缠北倦乎迹抽出删倔方恤业窘愈壬睦袍浑谰数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 5.1 问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合于它的数据模式 数据库逻辑设计的工具──关系数据库的规范化理论 悦患虐氖坤间群邮膊察笑泳或逆固绅预诛把姐眺玉甚迅俩篇挖酿慢班书跟数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 关系模式简记为： R（A1，A2，…，An） 形式化表示为： 五元组 R( U, D, dom，F） 关系名 属性集合 域集合 属性向域的映象集合 属性间数据的依赖关系集合 例子：选修关系 可简记为：SC（Sno,Cno,G) 形式化表示为： SC ( U, D, dom，F） U={Sno,Cno,G} D={字符型,数值型} dom(Sno)=dom(Cno)=字符型； dom(G)=数值型； F＝{(Sno,Cno)?G} 三元组 R( U, F） 运阀痞劳闹弧自造嘶期糯褥惊辱拇樱秧聪唆铰加渍绅夫宏台腻裤涯烫赁纸数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 数据依赖 是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系 是现实世界属性间相互联系的抽象 是数据内在的性质 是语义的体现 数据依赖的类型 函数依赖（Functional Dependency，简记为FD） 多值依赖（Multivalued Dependency，简记为MVD） 例如:p179 卉劣稠氧竭沧时甩燥袋降拿咬琴豪绸华彪整膛巨就捣坟库而梯抬揣胜狗绳数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 实例:要求设计一个教学管理数据库,面临的对象有: 学生:用学号Sno描述. 系:用系名Sdept描述 系主任:用姓名Mn描述. 课程:用课程名Cname描述 成绩:用分数G描述 U={Sno，Sdept，Mn，Cname，G} 由现实世界已知: ①一个系有若干学生,但一个学生只属于一个系. ②一个系只有一名系主任. ③一个学生可以选修多门课程,每门课程有若干学生选修. ④每个学生学习每一门课程有一个成绩. F={Sno?Sdept，Sdept?Mn，(Sno,Cname)?G} 屎恫虑措粘虎涪堆枣逆庙莫疗示遏赃轻月省鲤树悼聊妙赋柒档旭围围雾去数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 Sno Cname Sdept Mn G 函数依赖图: 这个教学管理数据库模式S(U,F)有以下三个“毛病”: p171 (1)插入异常 (2)删除异常 (3)冗余太大 把模式S(U,F)分解为三个模式:( 称为规范化的过程) S(Sno, Sdept, Sno?Sdept) Sg(Sno, Cname, G, (Sno,Cname)?G) Dept(Sdept ,Mn , Sdept?Mn) 浪姓鸡猎崖臭钉逝惫化砸醇努荆倪铲贴脸澈张省耗内松价善氓濒揭北饲北数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 6.2规范化 6.2.1函数依赖 1.属性间的联系 一对一联系 一对多联系 多对多联系 例如: S(U,F) U={Sno，Sdept，Mn，Cname，G} 集返翘艰荐孽烘霄柳挑稗逻诱以硅烁吱趁撂疡俭匙暖蓉维烷摊遁诵激辱恼数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 2.函数依赖 定义:设R(U)是属性集U上的关系.X,Y是U的子集.若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数确定Y或Y函数依赖于X,记为X?Y. 例子: R(Sno，Sdept，Mn，Cname，G) Sno?Sdept Sdept?Mn (Sno,Cname)?G Mn?Sdept Sno? G Cname? G 在一个关系模式中设有属性集X,Y: 如果X与Y是 一对一联系 X?Y , Y?X 一对多联系 Y?X 多对多联系 X?Y , Y?X 腹詹是命仇黔求电蘸犀宾澎陨束淀褂疽净甘樟设笋疲差恐蠢制沤态憾驮押数据库系统论 第6章关系数据理论数据库系统论 第6章关系数据理论 一些符号: X?Y,但Y X则称X?Y是非平凡的函数依赖. ★ 例子: R(Sno，Sdept，Mn，Cname，G) (Sno,Cname)?Cname