第五章关系系统规范化理论.pptVIP

小结—算法 求属性集X的闭包XF+ 求函数依赖集F的极小函数依赖集 判定分解的无损连接性 判定分解的函数依赖保持性 第五章 关系数据库的规范化理论 练习 1、建立一个关于系、学生、班级、学会等诸信息的关系数据库。 学生（学号，姓名，出生年月，系名，班号，宿舍） 班级（班号，专业名，系名，班级人数，入校年份） 系（系号，系名，系办公地点，系人数） 学会（学会名，成立年份，地点，学会会员人数） 有关语义为：一个系有若干专业，每个专业每年只招生一个班，每个班有若干学生。一个系的学生住在同一宿舍区。每个学生可参加若干学会，每个学会由若干学生组成。学生参加某学会有一个入会年份。 要求：给出关系模式，写出每个关系模式的极小函数依赖集，指出是否存在传递函数依赖。对于函数依赖左部是多属性的情况，讨论函数依赖是完全函数依赖，还是部分函数依赖。指出各关系的候选码、外部码、是否有全码存在。 规范化（续） 规范化的基本思想是逐步消除数据依赖中不合适的部分, 使模式中的各关系模式达到某种程度的“分离”, 即采用“一事一地”的模式设计原则。让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去。因此所谓规范化实质上是概念的单一化。 第五章 关系数据库的规范化理论 规范化（续） 关