论文部分内容阅读
文中讨论了当某一个属于ＦＤ集Ｆ的最小归并依赖集具有某些性质时，属于ＦＤ集Ｆ的任意最小归并依赖集同样具有相同性质；还给出了广义左部冲突、广义右部冲突等概念。在此基础上给出并证明了无内部冲突的数据库模式分解为满足Ｐ３及无α环性质的充要条件，和有内部冲突的数据库模式分解为满足Ｐ３及无α环性质的必要条件。