关系模式分解
模式分解 模式S-C-M (S 学号,C 班级,M 班主任) 该模式设计不好,存在数据冗余、插入异常、删除异常和更新异常 p1 = {S-C(学号,班级),C-M(班级,班主任)} p2 = {S-C(学号,班级),C-M(学号,班主任)} p3 = {S-C(学号,班主任),C-M(班级,班主任)} 规范化理论: 检测是否在一个表中聚集了过多的属性的过程 模式分解来消除违反范式规则而带来的影响(插入、更新、删除异常,冗余大),构造合适的(更好的)数据模式 概念建模过程中规范化用于检验却总是很有帮助 数据依赖 一个关系内部属性与属性之间的一种约束关系(属性值时候相同) 现实世界属性间相互联系的抽象 数据内在性质 语义的体现 函数依赖FD Sno Sname Ssex Sage a value b1 value c value d value a2 value b2 value c2 value d2 value … … … … an value bn value cn value dn value 定义: 设 R(U) 是一个属性集 U 上的关系模式, X 和 Y 是 U 的子集。若对于 R(U) 的任意一个可能的关系 r , r 中不可能存在两个元组在 X 上的属性值相等, 而在 Y 上的属性值不等, 则称“ X 函数确定 Y ”或“ Y 函数依赖于 X ”,记作 X → Y 若