数据库保持无损连接性判断

当分解ρ只有两组的时候

R1∩R2→R1-R2或R1∩R2→R2-R1

这两个条件只要满足任何一个就是无损连接，都不满足则为有损连接

例题：
设有关系模式R(U，V，W，X，Y，Z)，其函数依赖集：F＝{U→V，W→Z，Y→U，WY→X}，现有下列分解：ρ＝{UVY，WXYZ}

解：
R(UVY) ∩ R(WXYZ) 得出 Y，
R1-R2 得出 UV，
R2-R1 得出WXZ

（Ri-Rj计算差集就是以第一个Ri为基准有相同项去除保留不同项）

证明：

Y → UV 或 Y → WXZ 至少有一个成立

根据 F＝{U→V，W→Z，Y→U，WY→X}
得出: Y→U, U→V即 Y → UV成立
Y → WXZ 无法推出;
但Y → UV 成立 ,即可判断为无损连接