数据库系统基础().ppt

Principles of Database 重庆交通大学管理学院 依赖理论 人们采用多种方法为一个应用设计关系数据库模式。 初始的关系模式通常需要改进，尤其在消除冗余方面。一般来说，这些问题是由于模式试图将过多的内容合并到一个关系中而造成的。 依赖理论涉及如何构建一个良好的关系数据库模式，以及当一个模式存在缺陷时如何改进。 3.1 函数依赖 关系R上的函数依赖是指“如果R的两个元组在属性A1，A2...An上一致，那么它们必定在其他属性B1，B2...Bm上一致. 该函数依赖记为: A1，A2...An- B1，B2...Bm。 如果关系R的每个实例都能使一个给定的FD为真，那么称R满足函数依赖f。这是在R上声明了一个约束，而不是仅仅针对R的一个特殊实例。 例3.1 考虑关系 Movies(title,year,length,genre,sudioName,starName) 函数依赖：title year-length genre studioName title year-starName 3.1.2 关系的键 如果下列条件满足，就认为一个或多个属性集{A1,A2,...An}是关系的键。 这些属性函数决定关系的所有其他属性。也就是说，关系R不可能存在两个不同的元组，它们具有相同的A1,A2,..,An值。 在{A1,A2,...An}的真子集中，没有一个能函数决定R的所有其他属性。 例3.2 Movies1(title,year,length,genre,sudioName,starName) 键为：（title，year，starName） 有时一个关系可能会有多个键，通常需要指定一个为主键。 超键：一个包含键的属性集叫超键。 3.2 函数依赖的规则 例3.4 如果关系R(A,B,C）满足FD:A-B和B-C，那么久可以推断出A-C。 对于FD结合S和T 而言，若关系实例集合满足S与其满足T的情况完全一样，就认为S和T等价； 若满足T中所有FD的每个关系实例也满足S中的所有FD，则认为S是由T推断而来的。 当且仅当S是从T中推断而来，并且T也是从S中推断而来，S和T才是等价的。 3.2.2分解组合规则 A1，A2...An- B1，B2...Bm等价于下列FD的集合 A1，A2...An- B1, A1，A2...An- B2, ....,A1，A2...An- Bm. 分解规则不能应用到FD的左边，例3.6 。 3.2.3 平凡函数依赖 A1，A2...An- B1，B2...Bm，其中{B1，B2...Bm}属于{A1，A2...An}，平凡FD的右边是左边的子集。 FD右边的一些（而不是全部）属性也在左边出现。这个FD不是平凡函数依赖。 平凡依赖规则： A1，A2...An- B1，B2...Bm等价于A1，A2...An- C1,C2,..Ck,Ci是集合B而不是集合A中的属性。 3.2.4 计算属性的闭包 假设{A1，A2，...,An}是属性集合,S是FD的集合,s集合下的属性集合{A1,A2,...,An}的闭包是满足下面条件的属性集合B:每一个满足S中所有FD的关系,也同样满足A1A2...An-B. 记为{A1,A2,...,An}+. 算法3.7 属性集合的闭包 例3.8 考虑含有属性A,B,C,D,E,F的关系.假设此关系包含FD:AB-C,BC-AD,D-E和CF-B,求{A,B}+ 通过计算任一属性集合的闭包,尅判断任一给定的FD A1A2...An-B是否可以由FD集合S推断. 例3.9 考虑上题中关系和FD集合,判断AB-D水哦能从该FD集合推断. 3.2.6传递规则 若关系R中FD A1A2...An-B1B2...Bm和B1B2...Bm-C1C2...Ck都成立，那么FD A1A2...An- C1C2...Ck在R中成立。 如果C中属性属于A，则可根据平凡依赖规则把它们从右边消除。 例3.10 title year-studioName studioName-studioAddr 3.2.7 函数依赖的闭包集合 如果给定一个FD集合S（例如在某个关系中成立的FD集合），则任何核S等价的FD结合都被称为S的等价集。我们关心的是一个关系完全FD集合的等价集。 满足下面三个条件的等价集B称为关系的最小化基本集。 B中所有FD的右边均为单一属性。 从B中删除任何一个FD后该集合不再是基本集。 对于B中任何一个FD,如果从其左边删除一个或多个属性，B将不再是基本集。 例3.11 考虑关系R(A,B,C)，它的任一个属性都能函数决定其他两个属性。 3.2.8 投影函数依赖 假设有一个含有FD集合S的关系R，通过计算R1=ΠL(R)对其部分属性进行投影。那么R1中有哪些FD成立?