基于属性闭包的模式分解法,关系模式的规范化过程是通过对关系模式的分解实现的,本文给出了一种保持函数依赖和具有无损连接性的关系模式分解方法,证明了该分解满足3NF,而且给出并证明了该分解满足BCNF(Boyce Codd Normal Form)的充分必要条件。该方法可以有效地控制分解规模,简单实用,易于掌握。
最小函数依赖集 定义:如果函数依赖集F满足下列条件,则称F为最小函数依赖集或最小覆盖。 ① F中的任何一个函数依赖的右部仅含有一个属性; ② F中不存在这样一个函数依赖X→A,使得F与F-{X→A}等价; ③ F中不存在这样一个函数依赖X→A,X有真子集Z使得F-{X→A}∪{Z→A}与F等价。 算法:计算最小函数依赖集。 输入 一个函数依赖集 输出 F的一个等价的最小函数依赖集G 步骤:① 用分解的法则,使F中的任何一个函数依赖的右部仅含有一个属性;