政务数据库系统第5章：政务数据库系统.ppt

第5章：政务数据库系统

关系数据库规范化技术

关系数据库系统的衡量

5.1关系数据库规范化技术

函数依赖理论

关系模型范式理论

5.1.1函数依赖理论

定义

设关系模式R的属性集是U，X和Y是U的子集，r为关系模式R的任意一个实例，对r中的任意元组t和s，如果t[X]=s[X]，则t[Y]=s[Y]，那么X→Y在关系模式R中成立。我们称“X函数确定Y”，或者“Y函数依赖于X”，记作X→Y。其中，t[X]表示元组t在X属性上的取值。

表达

如果关系R的任意两个元组在属性X上的取值一致，那么在另一个属性Y上的取值也一致，则X和Y之间存在函数依赖关系。

平凡函数依赖和非平凡函数依赖

设关系模式