函数依赖.pptVIP

Winter 2002 Arthur Keller – CS 180 Winter 2002 Arthur Keller – CS 180 数据库逻辑设计的任务： 如果要把一组数据储存在数据库中，该如何为这些数据设计一个合理的逻辑结构，即如何决定存在那些关系变量，每个关系变量中应该有那些属性，每个属性的类型及值域。 设R是关系变量，X、Y是R的属性集的任意子集，当且仅当对于R的所有可能的合法值，X的值一但确定，Y的值也随之确定，即当两个元组的X值相等时，Y值也相等，则Y函数依赖于X，表示为：X→Y。 二、平凡的函数依赖、非平凡的函数依赖 一个不可能不满足的函数依赖称为平凡的函数依赖，如{ID，Course} →{ID}，事实上，当且仅当函数依赖的右边是左边的子集时，该函数依赖才是平凡的函数依赖。 平凡的函数依赖并没有实际意义，只有非平凡的函数依赖才和真正的完整性约束条件相关。 三、函数依赖集的闭包（CLOSURE） 四、属性集的闭包 第五章、函数依赖（Functional Dependency ） 新疆农业大学计算机及信息工程系 张太红 2003-01 数据库逻辑设计的目标： 数据库设计首先是得到一个正确的数据结构 保证数据的完整性 应具有应用独立性 一、什么是函数依赖 1、如果X是关系变量R的候选键，则R的任意属性Y一定函数依赖于X。 2、如果关系变量R满足非平凡函数依赖X→Y，而X不是候选键，则R一定存在冗余。 An instance of Transcript 90 专业外语 徐景辉 994631204 90 数据库原理 徐景辉 994631204 90 英语 徐景辉 994631204 78 英语 陈燕红 994631203 80 数据库原理 马明磊 994631202 80 英语 马明磊 994631202 85 数据库原理 李敏 994631201 85 英语 李敏 994631201 Grade Course Name ID {ID，Course} →{Grade} {ID，Course} →{Name} {ID，Course} →{Name，Grade} {ID，Course} →{ID} {ID，Course} →{Course，Grade} {ID} →{Name} . . . FD {ID} →{Grade} {Grade} →{ID} {Name} →{ID} {Name} →{Grade} No FD 有些函数依赖蕴涵另一些函数依赖， 如： {ID，Course} →{Name，Grade}蕴涵下面的函数依赖： {ID，Course} →{Grade} {ID，Course} →{Name} 函数依赖集S所蕴涵的函数依赖全体称为函数 依赖集S的闭包S+。 Armstrong公理 1、自反律：如果B是A的子集，则A→B 2、增广律：如果A→B，则AC→BC 3、传递律：如果A→B，B→C，则A→C 4、自含规则：A→A 5、分解规则：如果A→BC，则A→B，则A→C 6、合并规则：如果A→B且A→C，则A→BC 7、复合规则：如果A→B且C→D，则AC→BD Darwen通用一致性定理 8、通用定理：如果A→B且C→D，则A∪（C-B）→BD 设A、B、C和D是给定的关系变量R的属性集的任意子集，并把A和B的并集记为AB，则： 例：设A、B、C、D、E和F是给定的关系变量R的属性，R满足下列函数依赖： A→BC B→E CD→EF 证明AD→F ∴ A→BC （给定） ∵ A→C （分解规律） ∵ AD→CD （增广律） ∴ CD→EF （给定） ∵ AD→EF （传递律） ∵ AD→F （分解规律） 给定的关系变量R，R的一个属性集Z，以及R的一个函数依赖集S，R中所有的函数依赖于Z的属性集，即属性集Z关于函数依赖集S的闭包Z+。 /*计算属性集Z关于函数依赖集S的闭包Z+的算法*/ CLOSURE[Z,S] := Z; Do “forever”; for each FD X → Y in S do; if X = CLOSURE