关系数据库的基本理论.pptVIP

2021/2/11 * 在关系数据库中,对关系模式的基本要求是满足第一范式。这样的关系模式就是合法的、允许的。但是,人们根据实际情况,可以将关系模式逐步分解达到2NF，3NF，BCNF。 规范化的基本思想是逐步消除数据依赖中不合适的部分,使数据库模式中的各关系模式达到某种程序的分离,让一个关系描述一个概念或一个实体或实体之间一种联系。若一个关系描述多于一个的概念时就把这些概念分离出去。因此,所谓规范实质上是概念的单一化。 函数依赖和多值依赖是两种最重要的数据依赖。 本书只介绍函数依赖,多值依赖不属于本科教学范畴,这里不作介绍。如果只考虑函数依赖,则属于BCNF 的关系模式其规范化程度是最高的。 本章首页 本节首页 上一页 2021/2/11 * 这个过程可以用下图来描述: 消除非主属性对主键的部分函数依赖 消除非主属性对主键的传递函数依赖 消除主属性对主键的部分函数依赖和传递函数依赖 1NF 2NF 3NF BCNF （关系模式规范的分解过程） 本章首页 本节首页 上一页 2021/2/11 * 全部 表格 将所有栏目分解成最小数据项 1NF 关系 消除部分函数依赖 消除传递函数依赖 消除主属性对非主 属性的函数依赖 消除多值依赖 2NF 关系 3NF 关系 BCNF 关系 4NF 关系 规范化过程 本章首页 本节首页 上一页 2021/2/11 * 2.5.4.4 关系模式的分解 一个关系模式的分解可以是多种多样的,但不管怎样分解,最后产生的若干个关系模式应与原关系模式等价。 关于“等价”的概念存在3种不同的含义: （1）分解具有“无损连接性”。 （2）分解要“无损连接性”,又要具有 “保持函数依赖”。 （3）分解既要“保持函数依赖”,又要具有“无损连接性”。 这三个含义也是实现分解的三条不同的准则。按照不同的准则,关系模式所能达到的分离程序各不相同,各种范式就是对分离程度的测试。 下面给出分解的定义: 定义 设R（W）是一个关系模式,P（W）={R1（W1）,R2（W2）,…，RK（WK）}是一个关于W的集合，这个限定是很不够的，能否消除存储异常，不仅依赖于分解后各模式的范式程度，而且依赖于对象构成一个关系模式S（学号，系名称，系负责人），S的关系见下表。 本章首页 2021/2/11 * 学号 系名称 系负责人 007101 006401 006402 992101 电力系 计算机系 计算机系 信息系 王洪 肖海 肖海 杨君 关系模型S 由已知的事实可得到S上的函数依赖如下: 学号→系名称,系名称→系负责人 显然,S 中存在传递函数依赖:学号→系负责人,所以它会发生更新异常。例 如,如果992101号学生毕业，在表中需删除该学生信息，则信息系的系主 任杨君的信息也被删掉了;反过来，如果水利系还没有招收学生，那么这 个系的系主任信息也无法存入。 下面对S（学号,系名称,系负责人）进行3种形式的分解。 （1）将S（学号,系名称，系负责人）分解为S1，S2和S33张表如下: DEPT 电力系 计算机系 信息系 S1 S# 007101 006401 006402 992101 S2 MN 王洪 肖海 杨君 S3 本章首页 本节首页 2021/2/11 * 显然,这3张表都属于BCNF。但是要查询“007101号学生在哪个系学习”或者“电力系的系主任是谁”这样的问题,在这3张表中是找不到答案的。因此,这样的分解毫无意义。关系模式的分解至少应该不丢失原有信息，这就产生了无损连接性的概念。 无损连接性可以这样理解,如果关系模式的一个分解与原模式等价,那么在原模式下的任一合法实例（即任一满足原模式数据依赖集的实例关系）在分解之后应能通过自然连接运算恢复出来,这一特征通常称为分解的无损连接性。 （2）将S（学号,系名称,系负责人）分解为:S1（学号,系名称）和S2（学号，系负责人）。 可以证明,这个分解是可恢复的,它保持了无损连接性,且分解后的S1和S2都属于BCNF，但是对于存储异常，它仍然没有解决。原因就在于原来在S中存在的函数依赖DEPT→MN，现在在S1和S2中都不存在了。为此，人们又要求分解具有“保持函数依赖”的特性，即模式分解后，函数依赖集合应保持不变。 （3）将S（学号,系名称,系负责人）分解为:S1（学号,系名称）和S2（系名称，系负责人）。 可以看出该分解既具有无损连接。该分解既具有无损连接性,又保持函数依赖,它既