制造信息技巧_DB关联数据理论.pptVIP

现代制造信息技术基础第一部分 数据库系统概论关系数据理论;主要内容;问题的提出;回顾：关系模型的形式化定义;(1) 由于“U中属性所来自的域D”和“属性到域的映射dom”对模式设计关系不大，因此我们这里将关系模式看作一个三元组： RU,F。 当且仅当U上的一个关系r满足F时，r称为关系模式RU,F的一个关系。 (2) 对关系的基本要求：每一个分量必须是不可分的数据项。满足了这个条件的关系模式就属于第一范式(1NF)。 (3) 题目：在模式设计中，假设已知一个模式S?，它仅由单个关系模式组成，问题是要设计一个模式SD，它与S?“等价”，但在某些指定的方面“更好”一些。;数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。数据依赖中最重要的是函数依赖(FD)和多值依赖(MVD)。;[示例] 建立一个数据库来描述学生的一些情况，对象有：学生(SNO)、系(SDEPT)、系负责人(MN)、课程(CNAME)和成绩(G)。 ;描述学校数据库的模式SU,F，它由一个单一的关系模式构成(注：在此模式中，SNO和CNAME不能为空)。此模式有下述缺陷： (1)插入异常。;对数据依赖的描述;规范化;(1) X?Y，但Y?X且Y?X，则称X?Y是非平凡的函数依赖 (2) X?Y，但Y?X，则称X?Y是平凡的函数依赖 (3) 若X?Y，Y?X，则记作X??Y (4) 若Y不依赖于X，则记作X \? Y;码;关系数据库中的关系是要满足一定要求的，满足不同程度要求的为不同范式。满足最低要求的叫第一范式(简称1NF)，在第一范式中满足进一步要求的为第二范式，其余以此类推 所谓“第几范式”，是指符合某一级别的关系模式的集合，R为第几范式就可以写成R?xNF 各种范式之间的联系：5NF?4NF?BCNF?3NF?2NF?1NF 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化;[反例] 关系模式S_L_C(SNO, SDEPT, SLOC, CNO, G) 其中，SLOC为学生的住处，且每个系的学生住在同一个地方 函数依赖有： (SNO, CNO) F?G SNO ? SDEPT, (SNO, CNO) P?SDEPT SNO ? SLOC, (SNO, CNO) P?SLOC SDEPT ? SLOC;2NF;解决办法：用投影分解 问题在于非主属性有两种，一种如G，它对码是完全函数依赖；另一种如SDEPT、SLOC，对码是部分函数依赖。 解决办法是用投影分解把关系模式S_L_C分解为两个关系模式：SC(SNO, CNO, G)和S_L(SNO, SDEPT, SLOC)，使得非主属性对码都是完全函数依赖。;推论：若R?3NF，则每个非主属性既不部分依赖于码也不传递依赖于码;一个满足BCNF的关系模式有： ① 所有非主属性对每个码都是完全函数依赖； ② 所有主属性对每个不包含它的码，也是完全函数依赖； ③ 没有任何属性完全函数依赖于非码的任何一组属性。;BCNF;BCNF;多值依赖;多值依赖;多值依赖;多值依赖;多值依赖;4NF;规范化小结;规范化小结;数据依赖的公理系统;[定义] 对于满足一组函数依赖F的关系模式RU,F，其任何一个关系r，若函数依赖X?Y都成立(即r中任意两元组t，s，若t[X]=s[X]，则t[Y]=s[Y])，则称F逻辑蕴涵X?Y;数据依赖的公理系统;数据依赖的公理系统;数据依赖的公理系统;数据依赖的公理系统;⑶若X?Y不能由F从Armstrong公理导出，则Y不是XF+的子集，因此必有Y的子集Y’满足Y’?U–XF+，则X?Y在r中不成立，即X?Y必不为RU,F蕴含。;数据依赖的公理系统;[例2] 考察关系模式SU,F，其中：U={SNO, SDEPT, MN, CNAME, G} ⑴ F={SNO?SDEPT, SDEPT?MN, (SNO,CNAME)?G} ⑵ F’= {SNO?SDEPT, SNO?MN, SDEPT?MN, (SNO,CNAME)?G, (SNO,SDEPT)?SDEPT} 可以验证，F是极小依赖集，而F’不是。因为F’– {SNO?MN}与F’等价，F’– {(SNO,SDEPT)?SDEPT}与F’等价。;数据依赖的公理系统;模式的分解;模式的分解(简介);模式的分解(简介);模式的分解(简介);模式的分解(简介);习题;习题;习题;习题;关系模式(供参考) 部门Dept(D#，BUGET，E#) 职工Emp(E#，姓名，PHONE#) 项目Proj(J#，BUGET) 办公室Office(Room#，面积，名称) Office_Dept(Room#，D#) Emp_Dept(E#，D#) Proj_Dept(J#，D#) Ph