面向对象数据库规范化理论中几个关键问题的研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-9页 |
| 第1章 绪论 | 第9-16页 |
| 1．1 研究目的及其义 | 第9-10页 |
| 1．2 传统数据库设计方法 | 第10-12页 |
| 1．3 面向对象模式设计 | 第12-13页 |
| 1．4 论文的主要工作 | 第13-14页 |
| 1．5 论文的组织 | 第14-16页 |
| 第2章 面向对象数据库规范化基础知识 | 第16-36页 |
| 2．1 数据模型和代数 | 第16-25页 |
| 2．1．1 数据模型 | 第16-20页 |
| 2．1．2 投影代数 | 第20-21页 |
| 2．1．3 路径 | 第21-22页 |
| 2．1．4 投影 | 第22-25页 |
| 2．2 依赖约束 | 第25-32页 |
| 2．2．1 路径依赖约束 | 第26-27页 |
| 2．2．2 局部依赖约束 | 第27-28页 |
| 2．2．3 全局依赖约束 | 第28-31页 |
| 2．2．4 关键字约束 | 第31-32页 |
| 2．3 推导公理 | 第32-34页 |
| 2．3．1 路径依赖约束推导公理 | 第32-33页 |
| 2．3．2 局部依赖约束推导公理 | 第33页 |
| 2．3．3 全局依赖约束推导公理 | 第33-34页 |
| 2．4 本章小结 | 第34-36页 |
| 第3章 对象规范化 | 第36-66页 |
| 3．1 一个简单的例子 | 第36-40页 |
| 3．2 对象模型 | 第40-45页 |
| 3．3 对象范式 | 第45-47页 |
| 3．4 规范化规则 | 第47-51页 |
| 3．5 完备性 | 第51-54页 |
| 3．6 对象规范化算法 | 第54-65页 |
| 3．6．1 通过结构调整方法产生对象范式 | 第54-55页 |
| 3．6．2 通过重建方法产生对象范式 | 第55-56页 |
| 3．6．3 分解和聚合算法 | 第56-62页 |
| 3．6．4 分解和聚合算法的正确性 | 第62-65页 |
| 3．7 本章小结 | 第65-66页 |
| 第4章 几个关键问题 | 第66-93页 |
| 4．1 对象候选关键字问题 | 第66-70页 |
| 4．1．1 问题的提出 | 第66页 |
| 4．1．2 定义和记号 | 第66-67页 |
| 4．1．3 引理和定理 | 第67-68页 |
| 4．1．4 算法 | 第68-69页 |
| 4．1．5 算法正确性证明及时间复杂性分析 | 第69-70页 |
| 4．2 GD—约束集最小覆盖求解问题 | 第70-77页 |
| 4．2．1 问题的提出 | 第70页 |
| 4．2．2 定义和推导 | 第70-71页 |
| 4．2．3 引理和定理 | 第71-74页 |
| 4．2．4 算法 | 第74-75页 |
| 4．2．5 算法正确性证明及时间复杂性分析 | 第75-77页 |
| 4．3 含有冲突用户解释特征的研究 | 第77-82页 |
| 4．3．1 问题的提出 | 第77页 |
| 4．3．2 定义和记号 | 第77-79页 |
| 4．4．3 含有冲突用户解释特征的研究 | 第79-82页 |
| 4．4 基于图的规范化算法 | 第82-92页 |
| 4．4．1 问题的提出 | 第82-83页 |
| 4．4．2 定义和记号 | 第83-84页 |
| 4．4．3 引理和定理 | 第84-88页 |
| 4．4．4 算法 | 第88-89页 |
| 4．4．5 算法正确性证明及时间复杂性分析 | 第89-92页 |
| 4．5 本章小结 | 第92-93页 |
| 结论 | 第93-94页 |
| 参考文献 | 第94-99页 |
| 攻读硕士学位期间所发表的论文 | 第99-100页 |
| 致谢 | 第100页 |
