| 摘要 | 第1-7页 |
| ABSTRACT | 第7-19页 |
| 第1章 绪论 | 第19-33页 |
| ·本文研究的背景及目的和意义 | 第19-20页 |
| ·国内外无环数据库模式研究的现状 | 第20-30页 |
| ·数据库数据规范化设计理论的研究现状 | 第20-23页 |
| ·连接超图的有关理论 | 第23-24页 |
| ·无环数据库 | 第24-29页 |
| ·关系数据库数据组织的无环性问题的研究现状 | 第29-30页 |
| ·学位论文的主要研究内容与结构 | 第30-33页 |
| 第2章 函数依赖集的归并依赖集的研究 | 第33-59页 |
| ·引言 | 第33-34页 |
| ·FD 集F 的归并依赖集的相关概念 | 第34-41页 |
| ·FD 集F 的归并依赖集 | 第34-38页 |
| ·FD 集F 的归并依赖集嵌入 | 第38-41页 |
| ·归并FD 超图的研究 | 第41-48页 |
| ·超边、准路和准环 | 第41-46页 |
| ·归并FD 超图构造算法 | 第46-48页 |
| ·最小归并依赖集的求解算法 | 第48-51页 |
| ·FD 集F 的一个归并依赖集D 的求解 | 第48-49页 |
| ·归并依赖集D 的最小归并依赖集求解 | 第49-51页 |
| ·归并依赖集的二元组集合闭包的求解算法 | 第51-54页 |
| ·归并依赖集D 的完全函数决定属性集的求解 | 第51-52页 |
| ·归并依赖集D 二元组集合B 求解 | 第52-54页 |
| ·归并依赖集的各种左部集 | 第54-58页 |
| ·归并依赖的扩展左部集的求解算法 | 第54-55页 |
| ·归并依赖的蕴涵左部集D 的求解算法 | 第55-56页 |
| ·归并依赖集D 的所有对称左部集的求解算法 | 第56-58页 |
| ·本章小结 | 第58-59页 |
| 第3章 数据库函数依赖集内部冲突的研究 | 第59-91页 |
| ·引言 | 第59-65页 |
| ·存在冲突的函数归并超图 | 第59-62页 |
| ·函数依赖集中存在的各种冲突的的定义 | 第62-65页 |
| ·满足P_3 分解的R〈W，F〉的F 内部冲突的判定 | 第65-68页 |
| ·F 存在内部冲突的特征和条件 | 第65-67页 |
| ·内部冲突的判定算法分析 | 第67-68页 |
| ·满足P_3 分解的R〈W，F〉的F 广义左、右部冲突 | 第68-75页 |
| ·F 存在广义左、右部冲突的特征和条件 | 第69-73页 |
| ·广义左、右部冲突判定算法 | 第73-75页 |
| ·几种冲突检测算法 | 第75-85页 |
| ·F 有内部冲突保持FD、BCNF 无Α环模式分解 | 第85-90页 |
| ·P_2 且无α环的模式分解的相关概念 | 第85-86页 |
| ·满足P_2 且无α环模式分解理论 | 第86-88页 |
| ·F 有内部冲突满足P_2 且无α环的分解算法 | 第88-90页 |
| ·本章小结 | 第90-91页 |
| 第4章 FD 无内部冲突时满足P_(EK)且无Α环模式分解问题研究 | 第91-102页 |
| ·引言 | 第91页 |
| ·初等关键字范式（EKNF）相关理论 | 第91-93页 |
| ·满足P_(EK) 且无Α环分解的理论 | 第93-98页 |
| ·满足EKNF 的无环分解算法 | 第98-101页 |
| ·本章小结 | 第101-102页 |
| 第5章 FD环境下满足P_s及无Α环模式分解问题研究 | 第102-116页 |
| ·引言 | 第102页 |
| ·简单范式（SNF）相关理论 | 第102-105页 |
| ·简单范式SNF 的基本概念 | 第102-104页 |
| ·满足SNF 且保持FD 的分解算法 | 第104-105页 |
| ·满足P_s 和无Α环的分解的相关理论 | 第105-112页 |
| ·简单范式（SNF）满足P_s 和无α环的分解相关概念 | 第105-106页 |
| ·满足P_s 和无α环的分解条件 | 第106-112页 |
| ·满足P_s 和无Α环的判定与分解算法 | 第112-114页 |
| ·本章小结 | 第114-116页 |
| 结论 | 第116-118页 |
| 参考文献 | 第118-128页 |
| 攻读学位期间发表的学术论文 | 第128-129页 |
| 致谢 | 第129页 |
