| 【算法7.2】转换成3NF且保持函数依赖的分解算法。
|
|
|
| 步骤1：对R（U，F）的函数依赖集F进行极小化处理（处理后的结果仍记为F）。
|
|
|
| 步骤2：找出不在F中出现的属性，将这样的属性构成一个关系模式。把这些属性从U中去掉，剩余的属性仍记为U。
|
|
|
| 步骤3：若有X→A∈F，且XA=U，则ρ=｛R｝，算法终止。
|
|
|
步骤4：否则，对F按具有相同左部的原则分组（假定分为k组），每一组函数依赖Fi所涉及的全部属性形成一个属性集Ui。若 就去掉Ui。由于经过了步骤2，故合并属性集Ui： 。于是ρ=｛R1（U1，F1），R2（U2，F2），…，Rk（Uk，Fk）｝构成R（U，F）的一个保持函数依赖的分解。并且，每个Ri（Ui，Fi）均属于3NF且保持函数依赖。
|
|
|
