6关系数据理论学案.ppt

关系数据理论;主要内容问题的提出函数依赖规范;问题的提出关系数据库逻辑设计针;关系模式的优劣（一）学号姓名O;关系模式的优劣（二）学号活动费;问题的提出概念回顾关系模式的形;概念回顾关系：描述实体、属性、;关系模式的形式化定义关系模式由;关系模式的简化表示关系模式R（;关系模式的优劣（三）例：描述学;关系模式的优劣（三）学校数据库;关系模式的优劣（三） 属性组U;关系模式StudentU, ;关系模式StudentU, ;数据依赖对关系模式的影响结论：;数据依赖对关系模式的影响转化为;主要内容问题的提出函数依赖规范;数据依赖数据依赖是通过一个关系;数据依赖对关系模式的影响函数依;数据依赖图1 学生关系模式的函;有关概念函数依赖的定义 定义1;有关概念函数依赖的几个术语和记;有关概念完全函数依赖和部分函数;有关概念传递函数依赖和直接函数;有关概念码在第二章中已经讲了有;有关概念外码定义5 关系模式R;练习关系规范化中的删除操作异常;主要内容问题的提出函数依赖规范;范式(Normal Form);练习设计性能较优的关系模式称为;练习关系模型中的关系模式至少是;练习关系模式中各级范式之间的关;1NF定义定义6 若关系模式;练习规范化理论是关系数据库进行;练习根据关系数据库规范化理论，;2NF定义定义7 若R∈1NF;2NF从上面列出的依赖关系可以;2NF非2NF关系模式的问题如;2NF非2NF关系模式的转换分;2NF关系模式SC的码为(Sn;练习消除了部分函数依赖的1NF;练习若关系R的候选码都是由单属;3NF定义定义8 关系模式R;3NF非3NF关系模式的问题一;练习在关系模式R（A，B，C，;练习设有关系W（工号，姓名，工;BCNF(Boyce Codd;BCNF举例?例1 对关系模式;BCNF举例例2 关系模式SJ;BCNF举例例3关系模式STJ;非BCNF的问题在这种情况下，;改进如果将属于3NF的STJ关;3NF与BCNF的区别3NF与;BCNF的例子考察关系Stud;练习有关系模式学生（学号，课程;练习关系模式STJ（S#，T，;多值依赖 提出问题 例l 学校;多值依赖关系模型Teachin;多值依赖定义10 设R(U)是;多值依赖定义多值依赖的另一个形;多值依赖举例关系模式WSC(W;多值依赖按照语义对于W的每一个;多值依赖的对称性 物 理普通物;多值依赖多值依赖的???质① 多值;多值依赖多值依赖与函数依赖的区;4NF定义11 关系模式RU;函数依赖和多值依赖函数依赖和多;练习能够消除多值依赖引起的冗余;练习当B属于函数依赖于A属性时;规范化过程非规范化的关系消去重;小结目的使结构合理，清除存储异;规范化在数据库设计中的作用;关系规范化的基本原则规范化的程;补充：Normalizatio;补充：Normalizatio;关系规范化的基本原则在实际应用;举例：学生成绩登记表学号姓名性;解答关系模式R（U,F）函数依;解答消去部分函数依赖存在的部分;解答消去传递函数依赖存在的传递;解答最后投影结果学生(学号,姓;主要内容问题的提出函数依赖规范;数据依赖的公理系统主要内容：A;数据依赖的公理系统逻辑蕴含 定;Armstrong公理系统一套;Armstrong公理系统 ;导出规则根据A1，A2，A3这;引理规则根据合并规则和分解规则;函数依赖闭包定义13 在;已知关系模式R(ABC),F=;函数依赖闭包定义14 设F;关于闭包的引理引理2 设F为;求闭包的算法算法1 求属性集X;求闭包的算法步骤：（1）令X（;求闭包的算法对于算法1 ， 令;闭包算法举例[例1] 已知关;闭包算法举例(2)因为X（0）;补充：根据闭包求关系模式的候选;补充：根据闭包求关系模式的候选;补充：根据闭包求关系模式的候选;补充：根据闭包求关系模式的候选;补充：根据闭包求关系模式的候选;Armstrong公理系统的有;Armstrong公理系统的有;Armstrong公理系统的有;函数依赖集等价定义15 如果;函数依赖集等价要判定F ? G;最小函数依赖集定义16 如果;最小函数依赖集举例对于关系模式;最小函数依赖集举例 ;求F最小依赖集Fm的过程定理3;求F最小依赖集Fm的过程 ⑴使;求F最小依赖集Fm的过程⑶去掉;求F最小依赖集Fm的过程举例[;求F最小依赖集Fm的过程举例设;求F最小依赖集Fm的过程举例设;主要内容问题的提出函数依赖规范;小结泛关系假设 “假设已知一个;小结规范化理论为数据库设计提供