| 内容提要 | 第1-8页 |
| 1 绪论 | 第8-13页 |
| ·研究背景及国内外发展概况 | 第8-9页 |
| ·课题研究的目的和意义 | 第9-10页 |
| ·课题指导思想 | 第10页 |
| ·课题应解决的主要问题 | 第10-11页 |
| ·主要工作 | 第11页 |
| ·论文的组织结构 | 第11-13页 |
| 2 关系数据库范式分解理论 | 第13-31页 |
| ·数据库介绍 | 第13-18页 |
| ·数据、信息与数据处理 | 第13-14页 |
| ·数据管理技术的发展过程 | 第14-17页 |
| ·数据库的特点 | 第17-18页 |
| ·数据库与文件存储的比较 | 第18页 |
| ·关系数据库介绍 | 第18-22页 |
| ·什么是关系数据库 | 第19页 |
| ·关系数据库的发展 | 第19页 |
| ·关系数据模型 | 第19-20页 |
| ·关系数据库相关概念和术语 | 第20-22页 |
| ·范式分解相关理论 | 第22-31页 |
| ·函数依赖 | 第22-23页 |
| ·函数依赖集的闭包 | 第23-24页 |
| ·属性集的闭包 | 第24-25页 |
| ·正则覆盖 | 第25-26页 |
| ·模式分解 | 第26-27页 |
| ·Boyce-Codd范式 | 第27-28页 |
| ·第三范式 | 第28页 |
| ·BCNF和3NF的比较 | 第28-30页 |
| ·其它范式介绍 | 第30页 |
| ·范式应用及研究现状 | 第30-31页 |
| 3 相关知识和技术 | 第31-38页 |
| ·相关算法 | 第31-36页 |
| ·求幂集合算法 | 第31-32页 |
| ·属性集闭包求解算法 | 第32-33页 |
| ·函数依赖集闭包求解算法 | 第33-34页 |
| ·正则覆盖求解算法 | 第34页 |
| ·BCNF分解算法 | 第34-35页 |
| ·超码及候选码求解算法 | 第35页 |
| ·第三范式分解算法 | 第35-36页 |
| ·Visual C++简介 | 第36-37页 |
| ·面向对象程序设计技术 | 第37-38页 |
| 4 范式分解程序的设计与实现 | 第38-58页 |
| ·程序的整体设计 | 第38页 |
| ·CArithmeticKernel类的实现 | 第38-51页 |
| ·幂集计算函数 | 第41-42页 |
| ·属性集闭包计算函数 | 第42-43页 |
| ·函数依赖集闭包计算函数 | 第43-44页 |
| ·BCNF分解函数 | 第44-46页 |
| ·正则覆盖求解函数 | 第46-47页 |
| ·超码求解函数 | 第47-48页 |
| ·候选码求解函数 | 第48-49页 |
| ·第三范式分解函数 | 第49-51页 |
| ·CBcnfDecompDialog类的实现 | 第51-54页 |
| ·其余类的实现 | 第54-58页 |
| ·CPropertyCloserDialog类的实现 | 第54页 |
| ·CFuncDepenCloserDialog类的实现 | 第54-55页 |
| ·CBcnfResultDialog类的实现 | 第55页 |
| ·CAnonicalCoverDialog类的实现 | 第55页 |
| ·CSuperKeyDialog类的实现 | 第55-56页 |
| ·ComputCandidateKey类的实现 | 第56页 |
| ·CThirdNFDecompDialog类的实现 | 第56页 |
| ·CThirdNFDecompDialog类的实现 | 第56-58页 |
| 5 结论与展望 | 第58-59页 |
| ·结论 | 第58页 |
| ·展望 | 第58-59页 |
| 参考文献 | 第59-60页 |
| 摘要 | 第60-63页 |
| Abstract | 第63-67页 |
| 致谢 | 第67页 |
