《政务数据库系统》第5章：政务数据库系统

第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之间存在函数依赖关系。平凡函数依赖和非平凡函数依赖设关系模式R的属性集是U，X和Y是U的子集，如果X→Y，并且Y不完全包含于X，则称X→Y是非平凡函数依赖，否则是平凡函数依赖。供应商产品号供应商产品号产品数量完全函数依赖和部分函数依赖设关系模式R的属性集是U，X和Y是U的子集，X→Y，如果对于任何X的真子集X’，X’都不能函数确定Y，则称Y完全函数依赖于X，否则称Y部分函数依赖于X。供应商产品号产品价格供应商产品号产品价格传递函数依赖在关系模式R中，如果X→Y，Y→Z，则X→Z。换言之，函数依赖具有传递关系。职工号姓名职称基本工资部门部门领导5.1.2关系模型范式理论问题的提出范式理论问题----冗余数据人员编号姓名工作部门部门电话性别职务文件编号借阅时间42001马国秋办公室4355男科员00742005张雄人事科4322男科长00342001马国秋办公室4355男科员00242005张雄人事科4322男科长01042015王丽信访办4311女副科00942001马国秋办公室4355男科员03942003陈立强信息中心4366男处长02042010杨洪涛办公室4355男处长089问题----数据不一致人员编号姓名工作部门部门电话性别职务文件编号借阅时间42001马国秋办公室4355男科员00742005张雄人事科4344男科长00342001马国秋办公室4355男科员00242005张雄人事处4322男科长01042015王丽信访办4311女副科00942001马国秋办公室4355男科员03942003陈立强信息中心4366男处长02042010杨洪涛办公室4355男处长089问题----操作异常更新异常插入异常删除异常范式理论第一范式原始数据库第二范式第三范式BCNF第四范式第五范式第一范式如果关系R的每一字段值为单一的，则R属于第一范式（FirstNormalForm，简称1NF）含义：无重复的属性第二范式如果关系R属于1NF，且所有非主属性的字段都完全依赖于主键，则R属于第二范式人员编号文件编号姓名工作部门性别文件名称借阅时间部门电话职称存在不完全函数依赖的关系姓名性别人员编号工作部门部门电话人员编号文件编号借阅时间文件编号文件名称人员借阅文件职称经过2NF分解后得到3个新关系第三范式若关系R属于2NF，且所有的非主属性与主属性之间不存在传递依赖关系，则该关系属于第三范式。第三范式将关系模式中的属性分为两类，一类是非主属性集，另一类是主属性集，其中非主属性集中的每个属性都完全、不传递依赖于主属性集中的关键字非主属性集主属性集人员编号姓名工作部门性别部门电话职称工作部门部门电话姓名性别人员编号职称工作部门BCNF范式在函数依赖中的决定因素不一定都是主属性，Boyce和Codd提出只有当关系中所有的决定因素都是主属性时，才能认为该关系满足BCNF范式。主属性集StudentCourseTeacher非主属性中存在决定属性的函数依赖数据库规范化讨论优点非规范化性能