大学计算机数据库系统原理精品课件 第6章 关系数据理论.pptVIP

* * 人们从不同的角度去观察问题，对“等价”的概念形成了三种不同的定义： 这三个定义是实行分解的三条不同的准则。按照不同的分解准则，模式所能达到的分离程度各不相同，各种范式就是对分离程度的测度。 这一节要讨论的问题是： （1）“无损连接性”和“保持函数依赖”的含义是什么？如何判断？ （2）对于不同的分解等价定义，究竟能达到何种程度的分离，即分离后的关系模式是第几范式。 （3）如何实现分离，即给出分解的算法。 * 在引理1.3.3中，第一条说明r在p上的投影连接映射后的元组只会膨胀，不会变少。第二条说明直接投影的结果与先拆开来再连接再投影的结果一致。第三条说明无论进行多少次分解后，再连接的结果都是一致的。 引理1.3.3的结论告诉我们，一个实例经过投影，连接之后，其结果可能产生元组膨胀，即元组增多，本节开头部分的引例恰好也说明了这个事实。 我们并不希望类似例1.3.11的情况发生，因为它在多个表进行连接操作时出现了本身不存在的元组，产生了数据异常，这对保持数据的正确性是有害的。因此，我们需要对表间连接的情况进行分析，以便降低产生数据异常的可能性。为此，我们先引入以下的概念。 第一条说明r在p上的投影连接映射后的元组只会膨胀，不会变少。第二条说明直接投影的结果与先拆开来再连接再投影的结果一致。第三条说明无论进行多少次分解后，再连接的结果都是一致的。 结论告诉我们，一个实例经过投影，连