无内部冲突满足P_3的无α环的数据库模式分解 (Ⅱ):分解的算法及分析

THE DECOMPOSITION OF A DATABASE SCHEMA WITHOUT INSIDE CONFLICT AND α CYCLE AND MEETING P 3 (Ⅱ): THE DECOMPO SITION ALGORITHM AND ITS ANALYSIS

文中在文献［１］、［２］、［３］、［４］讨论的基础上给出了数据库模式无内部冲突时，满足Ｐ３且为无α环的分解算法、正确性证明和分析．

A decomposition algorithm and its correctness proof and analysis are given based on ,, and ,when a database schema without inside conflict and α cycle meets P 3 .