资源描述：
《关系数据模式的规范化理论》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第4章关系数据模式的规范化理论4.1问题的提出4.2函数依赖4.3范式和规范化什么是数据库设计?怎么设计？现实世界数据/关系机器世界4.1问题的提出是不是从信息世界的模型中简单地转化为机器世界的数据就可以了呢?实体关系表属性数据项4.1问题的提出4.1问题的提出如果要设计一个教学管理数据库，希望从数据库中得到学生学号(sno)、学生姓名(name)、性别(sex)、学生学习的课程号(cno)、课程名(cname)和该门课程的成绩(grade)。如何设计该关系模式？主码是什么?(学号,姓名,性别,课程号,课程名,成绩)(SNO,NAME,SEX,CNO,CNAME,GRADE)
2、4.1问题的提出问题1：数据冗余SNONAMESEXCNOCNAMEGRADES0102王华男C108C语言84S0102王华男C206数据库92S0108李丽女C206数据库86S0108李丽女C207数学864.1问题的提出问题2：不一致性SNONAMESEXCNOCNAMEGRADES0102王华男C108C语言84S0102张三男C206数据库92S0108李丽女C206数据库86S0108李丽女C207数学864.1问题的提出问题3：插入异常SNONAMESEXCNOCNAMEGRADES0102王华男C108C语言84S0102王华男C206数据库92S0108李
3、丽女C206数据库86S0108李丽女C207数学86（S0010，李四，男，null，null，null）4.1问题的提出问题4：删除异常（当某学号只有一条记录，并做删除操作时）SNONAMESEXCNOCNAMEGRADES0102王华男C108C语言84S0103张三男C206数据库92S0108李丽女C206数据库86S0108李丽女C207数学864.1问题的提出解决方案S1（SNO，NAME，SEX）S2（CNO，CNAME）S3（SNO，CNO，GRADE）4.2函数依赖定义1设R(U)是属性集U上的关系模式，X，Y是U的子集。若对于R(U)任意一个可能的关系r
4、，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X->Y4.2函数依赖例子职工号->姓名S1:SNO->NAME;SNO->SEXS2:(SNO,CNO)->GRADES3:CNO->CNAME4.2函数依赖定义2设X->Y是一个函数依赖，若则称X->Y是一个平凡函数依赖。设X->Y是一个函数依赖，若则称X->Y是一个非平凡函数依赖。4.2函数依赖例子在S2中有(SNO,CNO)->SNO(SNO,CNO)->CNO所以这些都是平凡函数依赖关系(SNO,CNO)->GRADE这个是非平凡函数依赖关系4.2函数依赖定义3设
5、X->Y是一个函数依赖，并且对于任何则称X→Y是一个完全函数依赖。即Y函数依赖于整个X，记4.2函数依赖举例：在关系S(SNO,NAME,SEX,CNO,CNAME,GRADE)中：(SNO,CNO)->GRADE但SNO->GRADE；(CNO)->GRADE都不成立所以(SNO,CNO)->GRADE是完全函数依赖关系。4.2函数依赖定义4设X->Y是一个函数依赖,但不是完全函数依赖,则称X->Y是一个部分函数依赖,或称Y函数依赖于X的某个真子集,记4.2函数依赖在关系S(SNO,NAME,SEX,CNO,CNAME,GRADE)中：(SNO,CNO)->NAME,而对于
6、每个学生都有唯一的SNO值,所以SNO->NAME,而CNO->NAME,因此，(SNO,CNO)->NAME是部分函数依赖(SNO,CNO)—>NAMEp4.2函数依赖设R(U)是一个关系模式,则称Z传递函数依赖于X,记4.2函数依赖例子：班级(班号,专业名,系名,人数,入学年份)班号->专业名,专业名->系名,班号->人数,班号->入学年份班号->专业名,专业名->系名4.2函数依赖函数依赖与属性关系属性之间有3种关系,但并不是每一种关系中都存在函数依赖。函数依赖与属性关系设R(U)是属性集U上的关系模式,X,Y是U的子集:若X和Y之间是1:1关系,则存在函数依赖X->Y
7、,Y->X;若X和Y之间是1:n关系,则存在函数依赖X->Y;若X和Y之间是m:n关系,则X,Y间不存在函数依赖.函数依赖与属性关系分析下列关系中各种函数的依赖关系:学生(学号,姓名,出生年月,系名,班号,宿舍区)Armstrong公理背景为了从一组函数依赖中求得逻辑蕴涵的函数依赖,例如已知函数依赖集F,要问是否逻辑蕴涵X->Y,就需要一套推理规则.Armstrong公理设A,B,C,D是给定关系模式R的属性集的任意子集,并把A和B的并集称为AB,则其推理规则可归结为3条:自反律:如果这是一个平凡函数依
