#第3章 关系模式设计理论
#习题3
-
函数依赖 在数据库中，属性值之间会发生联系。这类联系，称为函数依赖，其形式定义如下： 设有关系模式R(U),X和Y是属性集U的子集，函数依赖（functional dependency,简记为FD）是形成X->Y的一个命题，只要r是R的当前关系，对于r中的任意两个元组t和s, 都有t[X]=s[X]蕴涵t[Y]=x[Y],那么称FD X->Y在关系模式R(U)中成立。
-
平凡的函数依赖 对于FD X->Y，如果Y是X的子集，那么称X->Y是一个“平凡的FD”，否则称为“非平凡的FD”。
-
函数依赖集F的闭包F+
设F是函数依赖集，被F逻辑蕴涵的的函数依赖全体构成的集合，称为函数依赖集F的闭包(Closure)，记为F+. -
属性集X的闭包X+ 设F是属性集U上的FD集，X是U的子集，那么属性集X的闭包用X+用表示，它是一个从F集使用FD推理规则推出的所有满足X->A的属性A的集合。
-
函数依赖的逻辑蕴涵
设F是在关系模式R上成立的函数依赖的集合，X->Y是一个函数依赖。如果对于R的每个满足F的关系r也满足X->Y,那么称F逻辑蕴涵X->Y -
函数依赖集的等价 如果关系模式R(U)上的两个函数依赖集F和G，有F+=G+，则称F和G是等价的函数依赖集。F和G等价，意味着F中的每一个FD都可以从G中推导出来，并且G中的每一个FD也都可以从F中推导出来。
-
最小依赖集
如果函数依赖集G满足下列3个条件，则称G是最小依赖集： 1 G中每个FD的右边都是单属性 2 G中没有冗余的F,即G中不存在这样的函数依赖X->Y,使得G-{X->Y}与G等价 3 G中每个FD的左边没有冗余属性，即G中不存在这样的函数依赖X->Y,X有真子集W使得G-{X->Y}U{W->Y}和G等价 -
关系模式的分解
设有关系模式R(U)，属性集为U，而R1…Rk都是U子集，并且有R1 U R2 U … U Rk = U. 关系模式R1…Rk的集合用p表示，p={R1…Rk}.用p代替R的过程称为关系模式的分解。这里p称为R的一个分解，也称为数据库模式。一般把上述的R称为泛关系模式，R对应的当前值称为泛关系。数据库模式p对应的当前值称为数据库实例。 -
无损分解
-
泛关系假设
-
Chase过程
