关系模式-无损连接和保持函数依赖的判断

1、怎样判断一个关系模式的分解是否是无损连接？

方法一：公式定理法

关系模式R<U,F>的一个分解具有无损连接的充分必要条件是：

或

方法二：表格法（常用与分解成3个及以上关系模式）

a. 通过立一张j列i行的表，每列对应一个属性，每行对应分解中的一个关系模式。若属性，则在i列j行上填上，否则填 。

b. 通过F中的依赖集关系X->Y对对应列进行扫描, 找到X列中具有相同符号的那些行，如果Y中有， 则全部改成，否则全部改成，i行号取较小值。

c.  反复检查依赖集F，直到无法修改终止。如果找不到一行全为a， 则是有损的， 否则为无损连接。

2、怎样判断一个关系模式的分解是否是保持函数依赖？

根据分解和F求出对应的, 对应的(直接在F中划去Ui中不存在属性的依赖关系即可)，如果，则为保持函数依赖， 否则不保持函数依赖。