基于属性闭包的模式分解法

基于属性闭包的模式分解法，关系模式的规范化过程是通过对关系模式的分解实现的，本文给出了一种保持函数依赖和具有无损连接性的关系模式分解方法，证明了该分解满足3NF，而且给出并证明了该分解满足BCNF(Boyce Codd Normal Form)的充分必要条件。该方法可以有效地控制分解规模，简单实用，易于掌握。