第6章 关系数据理论(22).ppt

CH5. 关系数据理论 第六章 关系数据理论(2) 本章概述 本章主要介绍关系数据库模式设计的理论 --- 关系数据理论，也称为关系规范化理论。是从数据库逻辑设计(即数据库模式设计)的需要提出的理论，是数据库逻辑设计的基础。 本章是整个课程的重点和难点之一，理论性较强，应通过例子学习掌握定理、算法的实质。 三部分内容：函数依赖；范式；模式的分解 6.1 问题的提出 6.2 规范化，函数依赖，范式 6.3 函数依赖的公理系统 6.4 模式的分解 教学要求 掌握 函数依赖及有关的概念 函数依赖的公理系统 各级范式(1NF, 2NF, 3NF, BCNF, 4NF)的定义及应用 无损连接性、函数依赖保持性 无损连接及保持依赖的模式分解 了解理解 关系数据库的规范化理论及其在数据库设计中的应用 温故而知新 一个关系模式是“不好”的关系模式，有“不好”的性质，即指存在： 插入异常、删除异常、更新异常、数据冗余 函数依赖 r 中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，X?Y。 X (n:1) Y 则有FD: X→Y 平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖 S(S# , SN, SD, DEAN, C# , G) 6.2.2 码(参见P173.) [例1] 关系模式S(Sno,Sdept,Sage)中，单个