【数据库系统】函数依赖及其公理定理(4) 模式分解

0.什么是模式分解

当模式不符合关系范式时，需要进行模式分解

[Definition]模式分解
关系模式R(U)的分解是指用R的一组子集$\rho =R_1(U_1),\dots ,R_k(U_k)$来代替它。
其中$U=U_1\cup U_2\cup \dots \cup U_k；U_i\not\subset U{j}_{(}i!=j)$。
注：为便于后面叙述，用$R_i$ 代替$R_i(U_i)$, $R$代替$R(U)$。

模式分解需要关注：
　R与ρ 在数据内容方面是否等价：分解的无损连接性；
　R与ρ 在数据依赖方面是否等价：分解的保持依赖性。

[引理1] 设$R$为一关系模式，$\rho =R_1,\dots ,R_k$是$R$的一个分解，r是$R$的任一个关系， 记$r_i={\pi }_{R_i}(r)$(即R在$r_i$模式上的投影)，则有规则成立：

1. $r\subseteq m_{\rho }(r)$:说明一个大的关系模式，分解为多个小的关系模式，如果把大的关系模式投影到小的关系模式再连接起来，连接到结果相比原先大的关系要增加信息，这些信息很有可能是错误的（如下图，r有4个关系，而$m_{\rho }(r)$有8个关系）
2. 若$s=m_{\rho }(r)$, 则${\pi }_{R_i}=r_i$（即：${\pi }_{R_i}(m_{\rho }(r))={\pi }_{R_i}(r))$ 这说明小的关系模式连接的结果$s=m_{\rho }(r)$再反过来投影到小的关系模式上${\pi }_R(m_{\rho }(r))$和原来的小的关系模式$r_i={\pi }_{R_i}(r)$相同
3. $m_{\rho }(m_{\rho }(r))=m_{\rho }(r)$ 如果我们再次将分解后的投影的连接再次分解投影连接的话还是和第一次操作的结果相同，不会产生更多的信息

这三条关系模式告诉我们如果把大的关系模式分解为小的关系模式，如果我们不加以注意，就会出现一些错误的信息

下面是一个模式分解的例子：

分解后好像有约束（CS→Z）丢失了
因此约束丢失也是一个问题

1.无损连接分解及其检验算法

主要就是要求$r\subseteq m_{\rho }(r)$，就是大的关系模式经过模式分解得到的结果再进行连接，要求连接的结果和原来的关系模式相等，如果不满足就是有损连接

无损连接性检验算法

$R_{\rho }$表：
每一列是原关系模式的属性
每一行是分解后的小的模式

首先再行列交叉点填写 $a_j$或$b_{ij}$
如果$A_j\in R_i$(就是分解后的模式中含有该属性),则填写$a_j$，否则填写$b_{ij}$

然后在根据$\forall (X\to Y)\in F$, 对$R_{\rho }$表进行修改：
给定X→Y, 寻找X属性取值相同的行, 用其值修改X对应的Y属性值（将Y的符合全部修改成一样的，有a则置为a，没有就选编号最小的b）；

最后判定修改后, 如果有一行变$成a_1,a_2,\dots ,a_n(全为a)$, 则ρ无是损连接分解, 否则为有损连接分解。

例子哈：



PS：如果只有两个关系，还有这么一个判别方法：
如果$R_1\cap R_2\to R_1-R_2$或者$R_1\cap R_2\to R_2-R_1$
则是无损链接的

2.保持连接分解及其检验算法

[Definition]保持依赖分解
对于关系模式R(U, F), U是属性全集，F是函数依赖集合，$\rho =R_1,\dots ,R_k$是R的一个分解，如在${\pi }_{R_i}(F)$中的所有依赖之并集(i=1,…,k),逻辑蕴涵F的每个依赖，则称分解ρ保持依赖集F。
其中${\pi }_{R_i}(F)$是F在$R_i$上的投影，即F中的任一投影$X\to Y$，如果X, Y均包含于Ri ,则X→Y∈${\pi }_{R_i}(F)$($R_i$是分解$R_i$的属性集)。

注：
(1)保持依赖的分解可能不是无损连接的。
(2)无损连接的分解可能不是保持依赖的。

保持依赖性检验算法

3.关系模式无损连接或保持依赖的分解算法

3.1 关系模式分解成BCNF

将左侧不含候选键的函数依赖单独组成一个关系, 将包含候选键的组成一关系，一定是满足BCNF（无损连接）的

本算法保证：关系模式分解成BCNF（无损连接），但不一定保持依赖。
BCNF === 无损连接

3.2 关系模式分解成3NF

将每一个函数依赖单独组成一个关系

将每一个函数依赖单独组成一个关系，然后将F中相同的$X\to A$合并

分解成第三范式一定能保存依赖，但不一定是无损连接的

3NF===保存依赖

3.3 既保持依赖，又无损连接的分解

把一个关系模式按照保持依赖的方式分解成第三范式以后，如果有某一个关系模式保存了候选键的所有属性，那么这个分解一定是既保持依赖又无损连接的；如果这个分解没有哪一个关系模式保存了全部的候选键，那么我们再增加一个模式，该模式保存了候选键，那么合在一起构成的新的分解就是既保持依赖，又无损连接的分解

（并不一定为最小可能关系模式的集合。我们可以依次去掉一个关系模式， 只要所要求的性质仍具备，直至求得上述最小集合。）

3.4 无损连接分解成4NF

这里和分解成BCNF类似，不过这里将函数依赖看作多值依赖进行处理

4.连接依赖与第5NF 连接依赖

连接依赖可以保持无损连接性

[定义]当且仅当关系模式R的每个连接依赖均按其候选键进行连接运算时(均由R的候选键所隐含)，则称R是第五范式的，记为$R\in 5NF$。

第五范式消除了不按候选键连接的连接依赖(R的无损连接分解中各模式必含有一个候选键)，但其语义背景抽象。
　（只要有连接，必须包含候选键）

$5NF\in 4NF$。第五范式也称投影连接范式，即PJNF 。