具有无损联结性且保持依赖性关系模式的BCNF完备分解算法

THE BCNF NORMALIZATION METHOD OF RELATIONAL DATABASE SCHEME:HAVING A LOSSLESS JOIN AND PRESERVATION OF DEPENDENCIES

本文给出一种具有完备性的合成方法，来把一个关系模式分解成具有无损性和保持依赖性的ＢＣ范式关系数据库模式，只要这个模式“本质上能作这种分解的话”；同时对这种“本质上能分解为保持某些性质的某一范式”提法进行了形式化描述；最后，讨论了这种合成法的固有复杂度．

This paper presents a complete synthetic approach to decompose a relational scheme into a database scheme which has a lossless join and preservation of dependencies and which is in BC normal form so long as the relational scheme essentially having this decomposition nature, and it also provides a formal description of the concept-essentially having this decomposition nature. This paper also analyses the time complexity of the synthetic approach.