版权声明：欢迎转载 https://blog.csdn.net/stone_fall/article/details/88547352
无损联接分解
定义：无损联接分解是将一个关系模式分解成若干个关系模式后，通过自然联接和投影等运算仍能还原到原来的关系模式，则称这种分解为无损联接分解。
无损分解的判定算法
输入：一个关系模式R（A1，A2，A3，...,An）,R上的一个函数依赖集合F以及一个分解p{{R1,F1},{R2,F2},...,{Rk,Fk]}
输出：确定p是否是一个连接不失真分解
函数依赖保存
定义：设关系模式R具有属性集U和函数依赖集F，ρ=(R1,...,Rk)是R的一个分解，Ui是Ri的属性集，Fi是F在Ui的投映。
若F+=(∪i=1kFi)+，则称分解ρ具函数依赖保持性?
函数依赖保持性的判断算法
输入：函数依赖集合F、F1、F2、…、Fk，记G=(∪i=1kFi)
输出：是否F+=G+