数据库 | 分解关系模式 | 无损连接性 | 函数依赖保存性

无损联接分解

定义：无损联接分解是将一个关系模式分解成若干个关系模式后，通过自然联接和投影等运算仍能还原到原来的关系模式，则称这种分解为无损联接分解。

无损分解的判定算法

输入：一个关系模式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+