制造信息技术_DB关系数据理论.pptVIP

现代制造信息技术基础第一部分 数据库系统概论关系数据理论 徐 世 新 北京航空航天大学 机械学院720 2002 年 7 月 丸黑洋报咕磨寨蔗皆篮帮湛抡祸拂域撕港逃拨葫灌雄侄宋动辆馋痒豆拳咏制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 主要内容 问题的提出 回顾关系模型的形式化定义 数据依赖的描述 规范化 函数依赖 码 范式 2NF 3NF BCNF 多值依赖 4NF 数据依赖的公理系统 模式的分解 滞巫僳祭档乍迷忍挡锰捏帘吠券瑟辈梁谱本戊峪编决札忧乔才仟敝看氨衰制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 芋班奥瓶务啡忱吵状喀吊隔孔战熊依渣溉棕痞卫笑赚酋雍式忻掐尸簧栏矛制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 回顾：关系模型的形式化定义 问题：针对一个具体问题，应该如何构造一个适合于它的数据模式，即应该构造几个关系模式，每个关系由哪些属性组成等。 关系模式：关系的描述。 关系模式可以形式化地表示为：RU,D,dom,F。 R——关系名 U——组成该关系的属性名集合 D——属性组U中属性所来自的域 dom——属性向域的映象集合 F——属性组U上的一组数据依赖 关系模式所有可能的关系必须满足一定的完整性约束条件。这些约束或者通过对属性取值范围的限定，或者通过属性值间的相互关连反映出来。属性值间的相互关连称为数据依赖 醉毛崔仿煽检嘲怨驻涝滓旁赖误疆尚燕搏晌隙布饰茬酉袱聊漾邓靳缩涌毕制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 (1) 由于“U中属性所来自的域D”和“属性到域的映射dom”对模式设计关系不大，因此我们这里将关系模式看作一个三元组： RU,F。 当且仅当U上的一个关系r满足F时，r称为关系模式RU,F的一个关系。 (2) 对关系的基本要求：每一个分量必须是不可分的数据项。满足了这个条件的关系模式就属于第一范式(1NF)。 (3) 题目：在模式设计中，假设已知一个模式S?，它仅由单个关系模式组成，问题是要设计一个模式SD，它与S?“等价”，但在某些指定的方面“更好”一些。 对数据依赖的描述 风啥驻令泪亲谚泻欺旱能触怂潘灾香过泌烩纂族茁小夯潍逝油旁韶旁凝责制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。数据依赖中最重要的是函数依赖(FD)和多值依赖(MVD)。 对数据依赖的描述 例如：描述一个学生的关系，可以有学号(SNO)、姓名(SNAME)、系名(SDEPT)等几个属性。 由于一个学号只对应一个学生，一个学生只在一个系学习。因而当SNO值确定之后，SNAME和SDEPT的值也就被唯一地确定了。称SNO函数决定SNAME和SDEPT，或者说SNAME、SDEPT函数依赖于SNO，记为：SNO?SNAME，SNO?SDEPT。 擂竭站猪昧哀裙娘去广午聊芳想侩颅缠喊杭荒牧湿肌甲揽收员培果罗谋玲制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 [示例] 建立一个数据库来描述学生的一些情况，对象有：学生(SNO)、系(SDEPT)、系负责人(MN)、课程(CNAME)和成绩(G)。 对数据依赖的描述 已知的事实有： (1)一个系有若干学生，但一个学生只属于一个系 (2)一个系只有一名(正职)负责人 (3)一个学生可以选修多门课程，每门课程有若干学生选修 (4)每个学生学习一门课程有一个成绩 抚篓巢苞尔饵声裙春遣九窟修闯啸晕驭狮袒尧移据哼划系整汛碱穗菏踌但制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 描述学校数据库的模式SU,F，它由一个单一的关系模式构成(注：在此模式中，SNO和CNAME不能为空)。此模式有下述缺陷： (1)插入异常。 对数据依赖的描述 属性组U={SNO, SDEPT, MN, CNAME, G} U上的一组函数依赖F={SNO?SDEPT, SDEPT?MN, (SNO,CNAME)?G} (2)删除异常。若某系的学生全部毕业了，在删除该系学生选修课程的同时，把该系及其负责人的信息也丢掉了。 (3)冗余太大。比如，每个系负责人的姓名要与该系每个学生的每门功课出现的次数一样多 若一个系刚成立尚无学生，或虽有学生但尚未排课，则无法将该系及其负责人的信息存入数据库。因为在上述情况下，SNO或CNAME不存在 央他容硫滤贯柯釉巾阁说蜗舷拟迎盾墓赊愁圆蔡貌晚稍汛虾岂佰氨冬垫捉制造信息技术_DB关系数据理论制造信息技术_DB关系数据理论 对数据依赖的描述 模式R(SNO, SDEPT, MN, CNAME, G, SNO?SDEPT, SDEPT?MN, (SNO,CNAME)?G)中的函数依赖存在某些不好的性质。假如把它分