资源描述：
《第5章关系数据理论习题参考答案》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、第5章关系数据理论习题参考答案规范化定义小结：定义1：设R(U)是属性集U上的关系模式。X,Y是属性集U的子集。若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X,记作XTY。(即只要X上的属性值相等，Y上的值一定相等。)术语和记号：(P173页)•XTY,但Y不是X的子集，则称XTY是非平凡的函数依赖。若不特别声明，总是讨论非平凡的函数依赖。•XTY,但Y是X的子集，则称XTY是平凡的函数依赖。•若XTY,则X叫做决定因素(Determinant)。•若X-»Y,Y->X,则记作XG9Y
2、。•若Y不函数依赖于X,则记作2Y。定义2：在R(U)中，如果X^Y,并且对于X的任何一个真子集X，,都有X，pY,则称Y对X完全函数依赖，记作：FXTY若XTY,但Y不完全函数依赖于X,则称Y对X部分函数依赖，记作：PX^Y定义3：若关系模式R的每一个分量是不可再分的数据项，则关系模式R属于第一范式(lNF)o定义4：若关系模式ReiNF,且每一个非主属性完全函数依赖于码，则关系模式RE2NF。(即1NF消除了非主属性对码的部分函数依赖则成为2NF)o定义5:关系模式R〈U,F>中若不存在这样的码X、属性组Y及非主属性Z(Z不是Y的子集)使得XTY,Y9X,YpZ成立，
3、则称Re3NF.定义6:关系模式R〈U,F>G1NF。若XPY且Y不是X的子集时,X必含有码，则RwBCNF。定义7:关系模式伙1),F>G1NF,如果对于R的每个非平凡多值依赖XTTY(Y不是X的子集，Z=U-X-Y不为空)，X都含有码，则称R〈U,F>e4NFo习题如下：2.建立一个关于系、学生.班级.学会等诸信息的关系数据库。学生：学号.姓名、出生年月、系名、班号、宿舍区。班级：班号、专业名.系名.人数.入校年份。系：系名.系号、系办公地点.人数。学会：学会名.成立年份.办公地点.人数。语义如下：一个系有若干专业，'每个专业每年只招一个班，每个班
4、有若干学生。一个系的学生住在同一宿舍区。每个学生可参加若干学会，每个学会有若干学生。学生参加某学会有一个入会年份。请给出关系模式，写出每个关系模式的极小函数依赖集，指出是否存在传递函数依赖，对于函数依赖左部是多属性的情况讨论函数依赖是完全函数依赖，还是部分函数依赖。指岀各关系模式的候选码.外部码，有没有全码存在？解：(1)关系模式如下：学生：S(Sno,Sname,Sbirth,Dept,Class,Rno)班级：C(Class,Pname,Dept,Cnum,Cyear)系：D(Dept,Dno,Office,Dnum)学会：M(Mname,Myear>Maddr,Mn
5、um)(2)每个关系模式的最小函数依赖集如下：A.学生S(Sno,Sname,Sbirth,Dept,Class,Rno)的最小函数依赖集如下:Sno->Sname,Sno->Sbirth,Sno->Class,Class->Dept,DEPT-^Rno传递依赖如下：由于Sno->Dept,而Dept^>Sno,Dept->Rno(宿舍区)所以Sno与Rno之间存在着传递函数依赖。由于Class->Dept,Dept-^Class,Dept->Rno所以Class与Rno之间存在着传递函数依赖。由于Sno^Class,Class^Sno,Class->Dept所以Sno与
6、Dept之间存在着传递函数依赖。B>班级C(Class,Pname,Dept,Cnum,Cyear)的最小函数依赖集如下:Class->Pname,Class^Cnum,Class-^Cyear,Pname->Dept・由于Class->Pname,Pname->b^ass,Pname->Dept所以Class与Dept之间存在着传递函数依赖。C>系D(Dept,Dno,Office,Dnum)的最小函数依赖集如下：Dept->Dno,Dno->Dept,Dno->0ffice,Dno->Dnum根据上述函数依赖可知，Dept与Office,Dept与Dnum之间不存在传
7、递依赖。D、学会M(Mname,Myear,Maddr,Mnum)的最小函数依赖集如下：Mname->Myear,Mname->Maddr,Mname->Mnum该模式不存在传递依赖。(3)各关系模式的候选码、外部码，全码如下：A、学生S候选码：Sno；外部码：Dept、Class；无全码B、班级C候选码：Class；外部码：Dept；无全码C、系D候选码：Dept或Dno；无外部码；无全码D、学会M候选码：Mname；无外部码；无全码12.下面的结论哪些是正确的？哪些是错误的？对于错误的请给一个反例说明之。(1)任何一个二目
