新计算机软件技术基础及实验指导 教学课件 席晓慧 袁玲 第6章 关系型数据库理论.pptVIP

例32有一个教学管理关系模式 R（S#，SNAME，C#，GRADE，CNAME，TNAME，TADDRESS） 其中各属性的含义为： S#：学生学号； SNAME：学生姓名； C#：课程号； GRADE：学生成绩； CNAME：课程名； TNAME：教师姓名 TADDRESS：教师地址； 则在关系模式R的任何关系r中存在下列函数依赖关系： S# → SNAME； C# → CNAME TNAME→ TADDRESS （S#，C#）→ GRADE 设计教学管理系统，如果按照关系模式R进行数据的存储（范关系模式），会产生我们前面提到的数据冗余、更新异常、插入异常、删除异常等的问题，如果将上述关系模式分解成下面的关系模式： R1（S#，C#，GRADE）； R2（C#，CNAME，TNAME）； R3（TNAME，ADDRESS）； 关系模式经过分解后，上面提到的数据存储、数据操作上的问题可以得到解决，但这样分解所得到的关系模式是否是我们所希望的合适的关系模式？进行模式分解的理论依据是什么？怎么样进行分解？怎样鉴别分解的合理性？下面我们来讨论这些问题。 2、函数依赖的逻辑蕴涵 ① 函数逻辑蕴涵的定义 设R为关系模式，U为R的所有属性的集合，记为关系模式R（U），F为属性集U上的所有函数依赖的集合，X、Y分别是U的子集，如果从F能推出函数依赖X→Y，则称F逻辑蕴涵X→Y。 ②函数依赖集的闭包 设F是函数依赖集，F及由F推出的所有函数依赖，称为函数依赖集F的闭包，记为F+。 ③函数依赖的推理规则 前面我们提到由函数依赖、函数依赖集（F）可以推出另外的函数依赖（X→Y），那么从一个函数依赖集如何推出另外一个函数依赖？推理依据什么规则呢？函数依赖的推理规则是Armstrong 1974年首先提出来的，称为Armstrong推理规则，由三条公理和三条定理构成。 三条公理： 设有关系R（U），U是R属性的集合，F是R上函数依赖的集合。 1）自反律：如果 ,则F逻辑蕴涵X→Y 2） 增广律：若F逻辑蕴涵X→Y ，且 则F逻辑蕴涵XZ→YZ 3） 传递律：F逻辑蕴涵X→Y、Y→Z，则F逻辑蕴涵X→Z 三条定理： 1）合并规则：F逻辑蕴涵X→Y、X→Z，则X→YZ。 证明：利用增广律将函数依赖X→Y、X→Z进行扩充得： X→XY，XY→YZ 由传递律得：X→YZ。 2）伪传递规则：F逻辑蕴涵X→Y、WY→Z，则XW→Z。 证明：利用增广律将函数依赖X→Y进行扩充得 WX→WY， 再由WX→WY、WY→Z根据传递律得XW→Z。 3）分解规则：F逻辑蕴涵X→Y且则 F逻辑蕴涵X→Z 证明：由 ? 根据自反律得：Y→Z， 再由X→Y 、Y→Z根据传递律得：X→Z 定理： 函数依赖X→Y逻辑蕴涵于F的充要条件是：函数依赖X→Y，可根据F，由Armstrong推理规则推出。换句话说，若F逻辑蕴涵X→Y，则X→Y一定能根据F，由Armstrong推理规则推出；若X→Y能根据F，由Armstrong推理规则推出，则F逻辑蕴涵X→Y。 3、函数依赖的分类 ①完全函数依赖：在关系模式R（U）中，如果X→Y，并且对于X的任意一个真子集X1，X1→Y均不成立，则称Y完全依赖于X。 举例：（学号，课程号）→成绩 ②部分函数依赖：在关系模式R（U）中，如果X→Y，并且至少存在X的一个真子集X1，使得X1→Y成立，则称Y部分依赖于X。 举例：（学号，课程号）→姓名 ③传递函数依赖：在关系模式R（U）中，如果X→Y并且Y→Z，则称Z传递依赖于X。 举例：学号→系地址（学号→系部，系部→系地址） §6.3.2 规范化的关系模式 1、规范化的关系模式的几个概念 前面我们不至一次提到关键字、主属性、非主属性的概念，下面我们从函数依赖的角度，给出它们的完整定义。 ①侯选键：设有关系模式R（U），F是R上的函数依赖集，K是U的一个子集。如果 （1）F逻辑蕴涵 K→U； （2）不存在K的任何真子集K1使得F逻辑蕴涵 K1→U； 则称K是R的侯选键。侯选键