判别的方法并不麻烦
画张表 慢慢的按要求推就行了。

例CS->G C->T TH->O HI->C HS->I
 {R1(CSG),R2(CT) R3(THI),R4(HIC),R5(HSI)}
构表(下面可能会出现变形)
表1
           C      T       H       I       S        G
R1(CSG)    a1    b12     b13      b14     a5      a6
R2(CT)     a1    a2      b23      b24     b25     b26
R3(THI)    b31   a2      a3       a4      b35     b36
R4(HIC)    a1    b42     a3       a4      b45     b46
R5(HSI)    b51   b52     a3       a4      a5      b56
(对于不会画表的。这里介绍一下。左别有的例如R1(CSG)则c下面为a1,没有的t下面就为b+他的行列数即b12)

根据C->T 则1 2 4 行中的c全为a1  然后将 1 2 4 行的T全部转成a2,(前题是T的124行中到少有一个为a2的。不然全转成最上面一行即第一行的.)
转后成表2
           C      T       H       I       S        G
R1(CSG)    a1    a2     b13      b14     a5      a6
R2(CT)     a1    a2      b23      b24     b25     b26
R3(THI)    b31   a2      a3       a4      b35     b36
R4(HIC)    a1    a2     a3       a4      b45     b46
R5(HSI)    b51   b52     a3       a4      a5      b56

HI->C 则三四五行的HI一样。即将C的3，4，5行转成a1(再多说一次，这里C的3,4,5行中有a1才可以转成a1,没有就照最上面一行(3)转)
转后成表3
           C      T       H       I       S        G
R1(CSG)    a1    a2     b13      b14     a5      a6
R2(CT)     a1    a2      b23      b24     b25     b26
R3(THI)    a1   a2      a3       a4      b35     b36
R4(HIC)    a1    a2     a3       a4      b45     b46
R5(HSI)    a1   b52     a3       a4      a5      b56

HS中没有相等的，跳过.
再CS->G 发现15行相等
则G的15行变为a6
           C      T       H       I       S        G
R1(CSG)    a1    a2     b13      b14     a5      a6
R2(CT)     a1    a2      b23      b24     b25     b26
R3(THI)    a1    a2      a3       a4      b35     b36
R4(HIC)    a1    a2     a3       a4      b45     b46
R5(HSI)    a1   b52     a3       a4      a5      a6
再C->T 最T全变为a2
           C      T       H       I       S        G
R1(CSG)    a1    a2     b13      b14     a5      a6
R2(CT)     a1    a2      b23      b24     b25     b26
R3(THI)    a1    a2      a3       a4      b35     b36
R4(HIC)    a1    a2     a3       a4      b45     b46
R5(HSI)    a1    a2     a3       a4      a5      a6
到这里发现最后一行变为了a1 a2 a3 a4 a5 a6,则验证了这个为无损链接的。

找候选健也好找，
就是选你认为最少的数，把整个U都推出来的。
举例说明一下。
例如(R1 R2 R3 R4) 存在F(R1 R3->R2 ,R2->R3)

R1 R3 ->R2 则有了三个(1,2,3)。 R4没有。则候选健为R1，R3，R4

　　算法4.5 函数依赖保持性的检验
　　输入：关系模式R=A1…An，R上成立的函数依赖集F，R的一个分解ρ={R1(U1)，R2(U2)，…，Rk(Uk)}
　　输出：ρ对于F的函数依赖保持性
　　步骤：