关系数据理论教学幻灯片讲义.ppt

第六章 关系数据理论;教学目的 本章讨论如何进行关系数据库的逻辑设计。首先介绍函数依赖的概念，然后利用函数依赖和其他类型的依赖定义范式，并给出利用Armstrong公理系统确定范式级别的方法，最后介绍一些将关系模式分解为更高级范式的模式分解算法。 主要内容 关系模式的设计问题，函数依赖，范式，函数依赖的推理规则，模式分解 重点 函数依赖，范式及它们之间的关系，模式分解算法 难点 多值依赖， Armstrong公理系统的完备性证明;本章内容;问题;关系模式的设计问题;关系模式的设计问题;关系模式的设计问题;关系模式的设计问题;关系模式的设计问题;关系模式的设计问题;函数依赖;A;函数依赖;函数依赖;函数依赖;存在传递函数依赖的例子;函数依赖;范例;函数依赖的确定;范式;1NF;1NF;2NF;2NF;2NF;3NF;3NF;3NF;3NF;BCNF;BCNF;BCNF;BCNF;BCNF;BCNF;范式之间的关系;范式之间的关系;范式之间的关系;数据库??逻辑设计;不良的模式设计;函数依赖的推理规则;函数依赖的推理规则;逻辑蕴涵;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;设F为属性集U上的一组函数依赖，X ? U， = {A | X?A能由F根据Armstrong公理导出} 称 为属性集X关于函数依赖集F的闭包;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;由引理二，判定X?Y是否能由F根据Armstrong公理导出，可转化为求 ，判定Y? 是否成立;Input：X，F Output： := X; while ( 发生变化）do for each 函数依赖 A?B in F do begin if A ? then := ? B end;闭包的计算;闭包的计算;闭包的计算;闭包的计算;函数依赖的等价和覆盖;函数依赖的等价和覆盖;函数依赖的等价和覆盖;函数依赖的等价和覆盖;函数依赖的等价和覆盖;模式分解;模式分解的定义;模式分解的定义;模式分解中存在的问题;模式分解中存在的问题;模式分解中存在的问题;无损连接分解;无损连接分解;无损连接分解;无损连接分解;无损连接分解;模式分解中的问题;保持函数依赖的分解;关系模式RU, F U = {CITY, ST, ZIP}, F = {(CITY, ST) ? ZIP, ZIP ? CITY} ? = {R1 = {ST, ZIP}, R2 = {CITY, ZIP}} R1∩R2 ={ZIP}, R2－R1 ={CITY} ∵ R1∩R2 ? R2－R1 ∴分解是无损的 ∏R1(F) = {}， ∏R2(F) = {ZIP ? CITY} ∏R1(F) ∪ ∏R2(F) = {ZIP ? CITY} 丢失了函数依赖(CITY, ST) ? ZIP;保持函数依赖的分解;保持函数依赖的分解;练习;练习;关系模式的分解算法;关系模式的分解算法;关系模式的分解算法;关系模式的分解算法;关系模式的分解算法;关系模式的分解算法;关系模式的分解算法;关系模式的分解算法;Comparison of BCNF and 3NF;Design Goals;主要内容 关系模式的设计问题 信息的冗余和信息的不可表示 函数依赖 完全函数依赖，部分函数依赖，传递函数依赖 范式 4NF ? BCNF ? 3NF ? 2NF ? 1NF 函数依赖的推理规则 正确性，完备性 模式分解 分解的无损连接性和保持依赖性，分解算法 学生应掌握的内容 如何进行数据库的逻辑设计，怎样找出所有的数据依赖并确定范式和码？怎样消除不合适的数据依赖？;HomeWork;多值依赖;多值依赖;多值依赖;多值依赖;多值依赖;多值依赖;多值依赖;多值依赖;多值依赖 vs 函数依赖;多值依赖 vs 函数依赖;多值依赖 vs 函数依赖;多值依赖 vs 函数依赖;4NF;4NF;思考