自考数据库系统原理(.docVIP

1．函数依赖：设有关系模式R（U），X和Y是属性集U的子集，函数依赖（functional dependency，简记为FD）是形为X→Y的一个命题，只要r是R的当前关系，对r中任意两个元组t和s，都有t[X]=s[X]蕴涵t[Y]=s[Y]，那么称FD X→Y在关系模式R（U）中成立。这里t[X]表示元组t在属性集X上的值，其余类同。X→Y读作“X函数决定Y”，或“Y函数依赖于X”。FD是对关系模式R的一切可能的关系r定义的。对于当前关系r的任意两个元组，如果X值相同，则要求Y值也相同，即有一个X值就有一个Y值与之对应，或者说Y值由X值决定。因而这种依赖称为函数依赖。 2．平凡的函数依赖:对于FD X→Y，如果YX，那么称X→Y是一个“平凡的FD”，否则称为“非平凡的FD”。正如名称所示，平凡的FD并没有实际意义，根据规则A1就可推出。人们感兴趣的是非平凡的FD。只有非平凡的FD才和“真正的”完整性约束条件相关。从规则A4和A5，立即可得到下面的定理。 定理3.3 如果A1……An是关系模式R的属性集，那么X→A1……An成立的充分必要条件是X→Ai（i=1，…，n）成立。 3．函数依赖集F的闭包F+（Closure）:设F是函数依赖集，被F逻辑蕴涵的函数依赖全体构成的集合，称为函数依赖集F的闭包（Closure），记为F+。即F+={ X→Y | F|=X→Y}。 4．属性