传递函数依赖.PPTVIP

W3School SQL 教程:/sql/ 搜索“著名的 SQL 50题” 资源 数据结构与数据库习题课（三）——关系规范化 今要建立关于系、学生、班级、学会诸信息的一个关系数据库。一个系有若干专业，每个专业每年只招一个班，每个班有若干学生。一个系的学生住在同一宿舍区。每个学生可参加若干学会，每个学会有若干学生。 描述学生的属性有：学号、姓名、出生年月、系名、班号、宿舍区。 描述班级的属性有：班号、专业名、系名、人数、入校年份。 描述系的属性有：系名、系号、系办公室地点、人数。 描述学会的属性有：学会名、成立年份、地点、人数。学生参加某学会有一个入会年份。 请给出关系模式，写出每个关系模式的极小函数依赖集，支出是否存在传递函数依赖，对于函数依赖左部是多属性的情况，讨论函数依赖是完全函数依赖，还是部分函数依赖。指出各关系的候选码和外部码。 关系模式： （1）学生：S(Sno, Sname, Sbirth, Dept, Class, Rno) （2）班级：C(Class, Pname, Dept, Cnum, Cyear) （3）系：D(Dept, Dno, Office, Dnum) （4）学会：M(Mname, Myear, Maddr, Mnum) （5）学生-学会：SM(Sno, Mname, Smyear) 最小函数依赖集： 定义：如果函数依赖集F满足下列条件，则称F为最小函数依赖集或最小覆盖： （1）F中的任何一个函数依赖的右部仅含有一个属性； （2）F中不存在这样一个函数依赖X→A，使得F与F-{X→A}等价；（即：不存在冗余依赖关系） （3）F中不存在这样一个函数依赖X→A，X有真子集Z使得F-{X→A}∪{Z→A}与F等价。（即：依赖关系左部不存在冗余属性） 最小函数依赖集： 求解方法： （1）用分解的法则，使F中的任何一个函数依赖的右部仅含有一个属性； （2）去掉多余的函数依赖：从第一个函数依赖X→Y开始将其从F中去掉，然后在剩下的函数依赖中求X的闭包X+，看X+是否包含Y，若是，则去掉X→Y；否则不能去掉，依次做下去。直到找不到冗余的函数依赖； 属性X的闭包就是该属性直接或间接推导出的所有属性集合 （3）去掉各依赖左部多余的属性。一个一个地检查函数依赖左部非单个属性的依赖。例如XY→A，若要判Y为多余的，则以X→A代替XY→A是否等价？若是，则Y是多余属性，可以去掉 最小函数依赖集： S(Sno,Sname,Sbirth,Dept,Class,Rno) 根据现实生活及题中的规则，可以看出有如下的依赖关系： Sno → Sname， Sno → Dept ，Sno → Sbirth ，Sno → Class， Sno → Rno，Class → Dept，Dept → Rno （一个系的同学住同一个宿舍区） （1）把Sno → Sname去掉后，寻找Sno的闭包为Sno, Sbirth, Dept, Class, Rno，不包括Sname，因此Sno → Sname不能去除； （2）把Sno → Dept 去掉后，寻找Sno的闭包为Sno, Sname, Sbirth, Dept, Class, Rno，由Sno → Class → Dept从而包含Dept，因此Sno → Dept 应该去除； （3）同理依次操作。。。 Sno → Rno也可以去除。 最小函数依赖集为： Sno → Sname, Sno → Sbirth, Sno → Class, Class → Dept, Dept → Rno 最小函数依赖集： 同理，可以依次得到各个关系模式的最小函数依赖集： C：Class → Pname, Class → Cnum, Class → Cyear, Pname → Dept (Pname,Cyear) →Class（完全函数依赖） D：Dept → Dno, Dno → Dept, Dno → Office, Dno → Dnum M：Mname → Myear, Mname → Maddr, Mname → Mnum SM：(Sno, Mname) → Smyear（完全函数依赖） 传递函数依赖： （1）对于关系模式S： Sno → Class, 而Class → Dept, Dept → Rno，所以Sno和Dept之间、Class和Rno之间、Sno和Rno之间存在传递函数依赖 （2）对于关系模式C： 由于Class → Pname，Pname → Dept，所以Class和Dept之间存在传递函数依赖。 （3）对于关系模式D： 不存在传递函数依赖。 （4）对于关系模式M： 不存在传递