谁能比较详细的解释下模式分解的无损连接和函数依赖

[Dark13]

我的理解是，分解的时候要保持函数依赖则分解后的模式依然包括以前的函数依赖关系，比如R（A，B，C，D），有函数依赖{A—》B ，AC—》D，AB—》D}，则分解R1（A B D），R2（A C D）是保持函数依赖的，而R1（A C） R2（A B D）是不保持函数依赖的，因为两个模式都不包括AC—》D的关系，这样就损失了AC—》D的函数依赖。

至于无损连接就不是很理解了，主要是保证信息不丢失，具体的判定方法是怎么样的呢？

[zby7819]

无损连接就是将分解还原时不会造成信息的丢失

做题的话会判别就可以了

[Dark13]

我当然知道不会造成信息丢失就是无损连接，但这个判断方法很麻烦，然而书上的理论说的实在是，符号一大堆，简直就是在说：我就是让你看不懂，你能把我怎么样！

[RHome]

我反正是不看书上的理论，直接理解书上的例题，反而很好理解^_^

[striker_un]

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

例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,则验证了这个为无损链接的。

[Dark13]

大致了解了~~~感谢~~~

[striker_un]

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

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