数据库概论06课件.pptVIP

第六章作业（第1次） 已知关系模式R(SNO,CNO,GRADE,TNAME,TADDR)，其属性分别表示学号、课程号、成绩、教师名、教师地址等意义。语义为：每个学生每学一门课程只有一个成绩，每门课程只有一个教师任教，每个教师只有一个地址（不允许教师重名）。求：① 关系模式R的基本函数依赖； ② 关系模式R的码； ③ 关系模式R满足几范式，为什么？ ④ 将R分解为高一级的范式，并说明理由。 思考题：P.195 2 6.3 函数依赖 1. 函数依赖的逻辑蕴涵 已知关系模式R有A→B，B→C， 问：A→C是否成立。 这就是函数依赖的逻辑蕴涵问题。 定义12：对于满足一组函数依赖F的关系模式R U，F，X、Y是U的子集。如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴含X →Y，记作F|= X →Y。 2. Armstrong公理系统： 设U为属性集总体，F是U上的一组函数依赖，于是有关系模式R U，F 。对R U，F 来说有以下的推理规则： Al.自反律（Reflexivity）： 若Y ? X ? U，则X→Y为F所蕴含。 如：AB → A A2.增广律（Augmentation）：若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。 A3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 根据A1，A2，A3这3条推理规则可以得到下面3条很有用的推理规则： 合并规则：由X→Y，X→Z， 有X→YZ。 伪传递规则：由X→Y，WY→Z， 有XW→Z。 分解规则：由X→YZ， 有X→Z， X→Y 。 根据合并规则和分解规则，很容易得到这样一个重要事实： 引理6.l X→A1 A2…Ak 成立的充分必要条件是X→Ai 成立（i=l，2，…，k）。 定义５： 在关系模式R(U)中的属性或属性组X不是R的码，但X是另一个关系模式的码，则称X是R的外部码(Foreign Key)，简称外码。 主码与外码提供了一个表示关系间联系的手段。 S_1(SNO, SNAME, SAGE, SSEX, SDEPT) S_2(SDEPT, DNAME) S_3(SNO, CNO, GRADE) 在关系S_3中，SNO不是码，但SNO是关系S_1的码，因此SNO是关系S_3的外码。 关系模式S_1与关系模式S_3间的联系就是通过SNO来实现的。 3. 第一范式（1NF） 例：关系模式study={SNO, CNAME}，给出学生选修课程的关系。 {数据结构，C语言} 9902 {数据库，操作系统} 9901 CNAME SNO Study是非规范化关系模式，其缺点是更新操作困难。 定义6： 设有关系模式R(U)，其所有的属性都是不可分的基本数据项，则称R属于第一范式，简称1NF，记作R?1NF。 在任何一个关系数据库系统中，第一范式是对关系模式的一个最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。 凡非规范化的关系模式必须化成规范化的关系模式。在非规范化的关系中去掉组项和重复数据项就能符合第一范式的条件，变为规范化的关系。 例：关系模式S1中所有的属性都是不可再分的简单属性，可表示为S1?1NF。S1关键字为(SNO, CNO)。 4. 第二范式（2NF） 定义7： 设有关系模式R(U)?1NF ，如果其所有非主属性都完全函数依赖于码，则称R属于第二范式，简称2NF，记作R?2NF。 解决关系模式中非主属性对码的部分函数依赖问题。 利用投影运算，将S1分解成如下的两个关系模式：SR(SNO, SNAME, SAGE, SSEX, SDEPT, DNAME)SC(SNO, CNO, GRADE)在关系模式SR中，函数依赖是：SNO?SNAME，SNO?SAGE，SNO?SSEX， SNO?SDEPT，(SNO, CNO)?GRADE， SDEPT?DNAME。可见： SR?2NF，而SC?2NF。 f f f f f f 即使一个关系模式R?2NF，仍然存在以下几个问题： ① 冗余大。 在关系模式SR中，系主任(DNAME)的名字存储次数等于该系学生人数，浪费存储。 ② 插入异常。 在关系模式SR中，若一个系刚成立没有招生，那么系名和系主任就无法插入到数据库中。 ③ 删除异常。在关系模式SR中，当一个系的学生都毕业了而又没招新生时，删除了全部学生记录，随之也删除了系名和系