[理学]数据库原理No13.pptVIP

An Introduction to Database System 数据库系统原理 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 6.2.6 BC范式（BCNF） 定义6.8 关系模式RU，F∈1NF，若X→Y且Y ? X时X必含有码，则RU，F ∈BCNF。 等价于：每一个决定属性因素都包含码 BCNF（续） BCNF（续） BCNF（续） BCNF（续） BCNF（续） 3NF与BCNF的关系 R ∈BCNF R ∈3NF 如果R∈3NF，且R只有一个候选码 R ∈BCNF R ∈3NF 例子 例子 6.2.7 多值依赖 [例9] 学校中某一门课程由多个教师讲授，他们使用相同的一套参考书。每个教员可以讲授多门课程，每种参考书可以供多门课程使用。 多值依赖（续） 多值依赖（续） Teaching具有唯一候选码(C，T，B)， 即全码 ∴ Teaching∈BCNF 多值依赖（续） 定义6.9 设R(U)是一个属性集U上的一个关系模式， X、 Y和Z是U的子集，并且Z＝U－X－Y。关系模式R(U)中多值依赖 X→→Y成立，当且仅当对R(U)的任一关系r，给定的一对（x，z）值，有一组Y的值，这组值仅仅决定于x值而与z值无关 例 Teaching（C, T, B）,C→→T，C→→B 多值依赖（续） ［例10］关系模式WSC（W，S，C） W表示仓库，S表示保管员，C表示商品 假设每个仓库有若干个保管员，有若干种商品 每个保管员保管所在仓库的所有商品 每种商品被所在仓库的所有保管员保管 多值依赖（续） 多值依赖（续） 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 6.2.8 4NF 定义6.10 关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有码，则R∈4NF。 如果R ∈ 4NF， 则R ∈ BCNF 不允许有非平凡且非函数依赖的多值依赖 允许的非平凡多值依赖是函数依赖 4NF（续） 例： Teaching(C,T,B) ? 4NF 存在非平凡的多值依赖C→→T， C→→B 且C不是码 用投影分解法把Teaching分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 6.2.9 规范化小结 关系数据库的规范化理论是数据库逻辑设计的工具 目的：尽量消除插入、删除异常，修改复杂，数据冗余 基本思想：逐步消除数据依赖中不合适的部分 实质：概念的单一化 规范化小结（续） 关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的非平 ↓ 消除非主属性对码的传递函数依赖 凡函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 6.5 小结 6.3 数据依赖的公理系统 6.3 数据依赖的公理系统 逻辑蕴含 定义6.11 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立, （即r中任意两元组t，s，若t[X］=s[X］，则t[Y］=s[Y］），则称F逻辑蕴含X →Y 1. Armstrong公理系统 导出规则 1.根据A1，A2，A3这三条推理规则可以得到下面三条推