无损联接分解
定义:无损联接分解是将一个关系模式分解成若干个关系模式后,通过自然联接和投影等运算仍能还原到原来的关系模式,则称这种分解为无损联接分解。
无损分解的判定算法
输入:一个关系模式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+