[工学]数据库原理与技术第六章new

《[工学]数据库原理与技术第六章new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第六章关系数据理论问题如何才能构造一个良好的关系模式？要回答这个问题就必须要解决以下问题：什么是不好的关系模式，一个不好的关系模式存在哪些弊病？区分一个关系模式设计的优劣程度的标准是什么？如何将一个不好的关系模式转换为一个好的关系模式？关系数据理论借助于数学工具规定了一套关系数据库设计的理论和方法。是数据库逻辑设计的有力工具。关系数据库设计中存在的问题(I)有关学生的关系模式S(SNO,SNAME,DEPT,HEAD,CNO,G)主键？SNOSNAMEDEPTHEADCNOGS01杨明D01李一C0190S02李婉D01李一C0187S0

2、1杨明D01李一C0292S03李婉D02王二C0195S04安然D02王二C0278S02李婉D01李一C0381S05乐天D03赵三C0182关系数据库设计中存在的问题(Ⅱ)问题插入异常：如果一个系刚成立没有学生，或者有了学生但尚未安排课程，那么就无法将这个系及其负责人的信息插入数据库。删除异常：如果某个系的全部学生都毕业了，则删除该系学生及其选修课程的同时，把这个系及其负责人的信息也丢掉了。数据冗余和更新异常：学生及其所选课程很多，而系主任只有一个，但其却要和学生及其所选课程出现的次数一样多。此外，如果某个系要更换系主任，就必须修改

3、这个系学生所选课程的每个元组，修改其中的系主任信息。若有疏忽，就会造成数据的不一致，从而造成更新异常。关系数据库设计中存在的问题(Ⅲ)原因：把多个实体型用一个关系模式表示解决之道：分解SNOSNAMEDEPTS01杨明D01S02李婉D01S03李婉D02S04安然D02S05乐天D03DEPTHEADD01李一D02王二D03赵三SNOCNOGS01C0190S02C0187S01C0292S03C0195S04C0278S02C0381S05C0182函数依赖一个实体型的诸属性之间具有内在的联系，通过对这些联系的分析，我们可以做到一个

4、关系模式只表示一个实体型的信息，从而消除上述问题。在关系模型中，我们利用数据依赖来描述这些属性间的联系。数据依赖是通过关系中属性间值的相等与否体现出来的数据间的相互关系，它是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。其中最重要的是函数依赖。函数依赖设有以下关系模式U={Sno,Sname,Dept,Head,Cno,G}现实世界中的语义一个系有若干学生，但一个学生只属于一个系一个系只有一个（正职）负责人一个学生可以选修多门课程，每门课程有若干学生选修每个学生选修每门课程有一个成绩。北京航空航天大学软件开发环境重点实验室

5、函数依赖SELECTSNAMEFROMSWHERESNO=‘S01’SELECTSNAMEFROMSWHERESNO=‘S02’SNOSNAMEDEPTHEADCNOGS01杨明D01李一C0190S02李婉D01李一C0187S01杨明D01李一C0292S03李婉D02王二C0195S04安然D02王二C0278S02李婉D01李一C0381S05乐天D03赵三C0182SELECTSNOFROMSWHERESNAME=‘李婉’函数依赖函数依赖极为普遍地存在于现实生活中。考察关系模式S(SNO,SNAME,DEPT,HEAD,CNO,

6、G)，由于一个SNO只对应一个学生，而一个学生只能在一个系中学习。因而当SNO的值确定后，SNAME和DEPT也被唯一地确定了。就像自变量x确定后，相应的f(x)也被确定了一样。我们说SNO函数决定（SNAME，DEPT），而（SNAME，DEPT）函数依赖于SNO。函数依赖定义函数依赖：设R(U)是属性集U上的关系模式，X,Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数决定Y，或Y函数依赖于X，记作XY。如SNOSNAME，（SNO，CNO）GSELE

7、CTSNO,COUNT(DISTINCTSNAME)FROMSGROUPBYSNO函数依赖函数依赖是不随时间而变的。若关系模式R具有函数依赖XY，那么虽然关系模式R的关系实例r在X，Y上的取值各不相同，并且随时间而变化，但X，Y在任一特定时刻都保持函数依赖XY。函数依赖不是指关系模式R的某个或某些关系满足的约束条件，而是指R的一切关系均要满足的约束条件。函数依赖是语义范畴的概念，它反映了一种语义完整性约束，我们只能根据语义来确定一个函数依赖。关系数据库设计中存在的问题(I)G→SNO?G→SNAME?SNO→SNAME?SNOSNAM

8、EDEPTHEADCNOGS01杨明D01李一C0190S02李婉D01李一C0187S01杨明D01李一C0292S03李婉D02王二C0195S04安然D02王二C0278S02李婉D01