-数据库原理及应用第二版-第7章关系数据库规范化理论.ppt

第 7章 关系数据库规范化理论 7.1 函数依赖 7.2 关系规范化 7.1 函数依赖 定义：如果有一个关系模式R(A1,A2,…,An)，X和Y为{A1,A2,…,An}的子集，那么对于关系R中的任意一个X值，都只有一个Y值与之对应，则称X函数决定Y，或Y函数依赖于X。 形式化定义： 设有关系模式R(A1,A2,…,An)，X和Y均为{A1,A2,…,An}的子集，r是R的任一具体关系，t1、t2是r中的任意两个元组；如果t1[X]=t2[X] t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为X→Y。 7.1.2一些术语和符号 设有关系模式R(A1,A2,…,An)，X和Y均为 {A1,A2,…,An}的子集 如果X→Y，但Y不包含于X，则称X →Y是 非平凡的函数依赖。 如果Y不函数依赖于X，则记作X Y。 如果X→Y，则称X为决定因子。 如果X→Y，并且Y →X，则记作X Y 。 如果X→Y，并且对于X的一个任意真子集X ’ 都有X ’ Y，则称Y完全函数依赖于X，记作 X Y；如果X ’→Y成立，则称Y部分函数依赖于X，记作 X Y 。 如果X→Y（非平凡函数依赖，并且Y X）、Y→Z，则称Z传递函数依赖于X。 例1：有关系模式： SC（Sno,Sname,Cno,Credit,Grade） 主码为（Sno, Cno） 函数依赖关系有： Sno→Sname （Sno, Cno） Sname （Sno, Cno） Grade 例2：有关系模式： S（Sno,Sname,Dept,Dept_master） 假设一个系只有一个主任，主码为Sno。 函数依赖关系有： Sno Sname 由于：Sno Dept Dept Dept_master 所以有：Sno Dept_master 三、为什么要讨论函数依赖 设有描述学生修课及住宿情况的关系模式： S-L-C（Sno,Sdept,Sloc,Cno,Grade） 7.2 关系规范化 例：SC（Sno，Cno，Grade） 其候选码为：（Sno，Cno），也为主码 则主属性为： Sno，Cno ， Grade为非主属性 7.2.2范式 关系数据库中的关系要满足一定的要求， 满足不同程度要求的为不同的范式。满足最低 要求的为第一范式，简称1NF（First Normal Form）。在第一范式中进一步满足一些要求的 为第二范式，简称2NF，依此类推，还有3NF， BCNF，4NF，5NF。 1、第一范式 定义：不包含重复组的关系（即不包含非 原子项的属性）是第一范式的关系。 2、第二范式 定义：如果R(U,F)∈1NF，并且R中的每个 非主属性都完全函数依赖于主码，则 R(U,F)∈2NF。 例：S-L-C（Sno,Sdept,Sloc,Cno,Grade） 就不是2NF的。 因为（Sno,Cno）是主码， 而又有：Sno→Sdept, 因此有： （Sno，Cno） Sdept 分解过程为： 用组成主码的属性集合的每一个子集作为主码构成一个表 将依赖于这些主码的属性放置到相应的表中 去掉只由主码的子集构成的表 S-L-C关系模式分解后的形式为： S-L（Sno,Sdept,Sloc） S-C（Sno,Cno,Grade） S-L有：Sno Sdept，Sno SLOC：是2NF S-C有:（Sno, Cno） Grade：是2NF 3、第三范式 定义：如果R(U,F) ∈2NF，并且所有非主属 性都不传递依赖于主码，则R(U,F) ∈3NF。 关系模式S-L（Sno,Sdept,Sloc） 因为有： Sno→Sdept，Sdept→Sloc 因此有：Sno Sloc 因此，不是3NF的关系模式。 分解过程： （1）对于不是候选码的每个决定因子，从表中 删去依赖于它的所有属性； （2）新建一个表，新表中包含在原表中所有依 赖于该决定因子的属性； （3）将决定因子作为新表的主码。 S-L分解后的关系模式为： S-D（Sno,Sdept） S-L（Sdept,Sloc） 对S-D，有：Sno Sdept，因此S-D是3NF的 对S-L，有