BCNF3NF分解

面向3NF且保持函数依赖的分解 输入：关系模式R及其上的最小函数依赖集F。 输出：R的保持函数依赖的分解，其中每一个关系模式是关于F在其上投影的3NF。 算法实现： 1)如果R中存在一些不在F中出现的属性，则将它们单独构成一个关系模式，并从模式R中消去； 2)如果F中有一个函数依赖X→A，且XA=R，则R不用分解，算法终止； 3)对F中的每一个函数依赖X→A，构造一个关系模式XA。如果X→A1,X→A2,…,X→An均属于F，则构造一个关系模式XA1