第6节 关系数据库理论.ppt

分解S-L-C表（续） 最后，去掉只由主键的子集构成的表。 S-L-C关系模式最终分解的形式为： S-L（Sno,Sname,Ssex,Sdept,Sloc） S-C（Sno, Cno, Grade） * * 分解后的函数依赖关系 分解后的关系模式的函数依赖关系： S-L：Snof→Sname，Snof→Ssex， Snof→Sdept，Snof→SLOC ∴是2NF S-C:（Sno, Cno）f→Grade ∴是2NF * * S-L存在问题 * * Sno Sname Ssex Sdept Sloc 0611101 李勇 男 计算机系 2公寓 0611102 刘晨 男 计算机系 2公寓 0621102 吴宾 女 信息管理系 1公寓 0621103 张海 男 信息管理系 1公寓 0631103 张珊珊 女 通信工程系 1公寓 第三范式 第三范式（3NF）:如果R(U,F )∈2NF，并且所有非主属性都不传递依赖于主键，则R(U,F )∈3NF。 S-L(Sno,Sname,Ssex,Sdept,SLOC) ∵Sno传递→SLOC, ∴不是3NF * * 分解方法 对于不是候选码的每个决定因子，从关系模式中删去依赖于它的所有属性。 新建一个关系模式，新关系模式中包含在原关系模式中所有依赖于该决定因子的属性。 将决定因子作为新关系模式的主键。。 * * 分解S-L关系模式 S-L分解后的关系模式为： S-D（Sno,Sname,Ssex,Sdept） S-L（Sdept,Sloc） 对S-D，有：Snof?Sname，Snof?Ssex，Snof?Sdept，因此S-D是3NF的。 对S-L，有：Sdeptf?Sloc，因此S-L也是3NF的。 * * S-L-C最终分解结果 S-D（Sno,Sname,Ssex,Sdept） Sno为主键 Sdept为引用S-L关系模式的外键 S-L（Sdept,Sloc） Sdept为主键 没有外键。 S-C（Sno, Cno, Grade） （Sno，Cno）为主键 Sno为引用S-D关系模式的外键 * * 开场白： * 数据库原理与实践教程——SQL Server 2005 第6章 关系数据库规范化理论 * 第6章 关系数据库规范化理论 6.1 函数依赖 6.1.1函数依赖基本概念 6.1.2一些术语和符号 6.1.3 为什么要讨论函数依赖 6.2 关系规范化 6.2.1 关系模式中的码 6.2.2 范式 * * 6.1 一些数据语义问题 数据的语义不仅表现为完整性约束，对关系模式的设计也提出了一定的要求。 如何构造一个合适的关系模式，应构造几个关系模式，每个关系模式由哪些属性组成等，都是数据库设计问题，确切地讲是关系数据库的逻辑设计问题。 * * 6.1.1函数依赖基本概念 省=f(城市)：只要给出一个具体的城市值，就会有唯一一个省值和它对应， 如“武汉市”在“湖北省”，这里“城市”是自变量X，“省”是因变量或函数值Y。 把X函数决定Y，或Y函数依赖于X表示为： 　　　　X→Y 如果有关系模式R(A1,A2,…,An)，X和Y为{A1,A2,…,An}的子集，则对于关系R中的任意一个X值，都只有一个Y值与之对应，则称X函数决定Y，或Y函数依赖于X。 * * 示例 例1：对学生关系模式 Student（Sno, Sname, Sdept, Sage） 有以下依赖关系： Sno→Sname, Sno→Sdept, Sno→Sage 例2： SC（Sno, Cno, Grade） （Sno, Cno）→Grade * * 函数依赖定义 设有关系模式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。 * * 6.1.2 一些术语和符号 1.?如果X→Y，但Y不包含于X，则称 X→Y是非平凡的函数依赖。 2 .?如果X→Y，但Y包含于X，则称 X→Y是平凡的函数依赖。 若无特别声明，我们讨论的都是非平凡的函数依赖。 * * 术语和符号（续） 3.?如果X→Y，则X称为决定因子。 4. 如果X→Y，并且Y→X，则记作 X←→Y。 * * 术语和符号（续） 如果X→Y，并且对于X的一个任意真子集X’ 都有X’—/→Y，则称Y完全函数依赖于X，并记作: 如果X→Y（非平凡函数依赖，并且Y—/→X）、Y→Z，则称Z传递函数依赖于X，记作： 如果X→Y成立，并且对于X的某个真子集X’ 有X’→Y成立，则称