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

关系模式经过分解后，上面提到的数据存储、数据操作上的问题可以得到解决，但这样分解所得到的关系模式是否是我们所希望的合适的关系模式？进行模式分解的理论依据是什么？怎么样进行分解？怎样鉴别分解的合理性？下面我们来讨论这些问题。 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的侯选键。侯选键也称键 ②关键字：关键字也称主键，当侯选键多于一个时，可以选中其中的一个作为关键字。 ③主属性：所有侯选键的属性称为主属性。 ④非主属性：不包含在任何侯选键中的属性称为非主属性。 例33有关系模式（学号，课程号，教师号，教师姓名，联系电话或地址），在这个关系模式中存在下列自然的函数依赖集： F={（学号，课程号）→教师号，教师号→教师姓名，教师号→联系电话或地址} 确定侯选键、关键字、主属性、非主属性。 分析：由函数依赖集F，根据传递规则可以推出： （学号，课程号）→教师姓名， （学号，课程号）→联系电话或地址 再根据自反律可以推出：（学号，课程号）→（学号，课程号） 进一步根据增广律推出： （学号，课程号）→（学号，课程号，教师号，教师姓名，联系电话或地址） 因此（学号，课程号）是该关系模式的侯选键，并且在这个关系模式中没有其他的侯选键，因此关系模式的 候选键：（学号，课程号