【保姆式教学】由牛客网例题而引申出的：对数据库中的分解是否为无损连接和是否保持函数依赖的判定

【牛客网数据库原理题目】设关系模式R(A,B,C)，F是R上成立的FD集，F={A→B,C→B}，ρ={AB,AC}是R的一个分解，那么分解ρ()？
正确答案：C你的答案：A（错误）
( A ) 保持函数依赖集F
( B ) 丢失了A→B
( C ) 丢失了C→B
( D ) 丢失了B→C

个人背景：牛客网的一道数据库原理做错，本人没学过数据库，现在要查资料弄懂这道题

1、牛客网数据库原理题目

设关系模式R(A，B，C)，F是R上成立的FD集，F={A→B，C→B}，ρ={AB，AC}是R的一个分解，那么分解ρ( )？
正确答案：C你的答案：A（错误）
( A ) 保持函数依赖集F
( B ) 丢失了A→B
( C ) 丢失了C→B
( D ) 丢失了B→C

牛客网这个题目，在你看完本文以后应该就会解，算是最简单的。

【解析如下】：

设①U1=AB，A→B，②U2=AC，但FD函数依赖集中没有对应关系，
因此我们不能推出C→B，即我们丢失了C→B。
所以也不具有保持函数依赖的特性。

为了保证分解后的关系模式与原关系模式等价，我们要判定：1）分解后形成的行的关系模式中是否为无损连接、2）是否保持函数依赖
然后我们再扩展一些题目中没有的，判断一下分解后的关系模式是否为无损连接

一、无损连接的判定：
1）如果分解后的的关系模式是形如{U1，U2}这，里面只有两个，那很好做，就判断U1∩U2→U1-U2或U1∩U2→U2-U1是否成立，成立的话肯定是无损连接。

本题已知ρ={AB，AC}是R的一个