基于属性闭包的模式分解法,关系模式的规范化过程是通过对关系模式的分解实现的,本文给出了一种保持函数依赖和具有无损连接性的关系模式分解方法,证明了该分解满足3NF,而且给出并证明了该分解满足BCNF(Boyce Codd Normal Form)的充分必要条件。该方法可以有效地控制分解规模,简单实用,易于掌握。
关系模式算法关系模式的分解无损连接分解保持函数依赖的分解总结案例
关系模式的分解
将一个关系模式 R分解为若干个关系模式 R1,R2,…,Rn(其中 U=U1∪U2∪…∪Un,且不存在 Ui⊈Uj,Ri为 F 在 Ui上的投影),意味着相应将存储在一个二维表 t 中的数据分散到若干个二维表 t1,t2,…,tn中去(其中 ti 是 t 在属性集 Ui 上的投影)。则称ρ ={ R1,R2,…,Rk}为关系模式 R 的一个分解。
关系模式的规范化过程是通过对关系模式的分解来实现的,但是把低一级的