不完全信息下XML文档的函数依赖及推理规则研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-19页 |
| ·研究背景 | 第10-11页 |
| ·研究现状 | 第11-15页 |
| ·研究内容及意义 | 第15-17页 |
| ·本文研究的内容 | 第15-17页 |
| ·本文研究目的及理论和现实意义 | 第17页 |
| ·本文结构 | 第17-19页 |
| 第2章 不完全信息下XML 文档中的基本概念 | 第19-29页 |
| ·引言 | 第19页 |
| ·DTD 及XML 文档的简介 | 第19-21页 |
| ·不完全信息树下的基本概念 | 第21-27页 |
| ·不完全信息树的概念 | 第21-22页 |
| ·节点之间的关系 | 第22-24页 |
| ·树元组之间的关系 | 第24-27页 |
| ·本章小结 | 第27-29页 |
| 第3章 不完全信息树下的函数依赖 | 第29-46页 |
| ·引言 | 第29-30页 |
| ·函数依赖保持条件 | 第30-32页 |
| ·函数依赖强保持 | 第30-31页 |
| ·函数依赖亚强保持 | 第31页 |
| ·函数依赖弱保持 | 第31-32页 |
| ·函数依赖推理规则 | 第32-45页 |
| ·推理规则的正确性 | 第34-40页 |
| ·推理规则的完备性 | 第40-45页 |
| ·本章小结 | 第45-46页 |
| 第4章 完全函数依赖及不完全树的完全化 | 第46-54页 |
| ·引言 | 第46页 |
| ·完全函数依赖定义 | 第46-48页 |
| ·完全函数依赖弱保持 | 第47页 |
| ·完全函数依赖强保持 | 第47-48页 |
| ·不完全信息树的完全化 | 第48-52页 |
| ·强保持的完全化 | 第48-49页 |
| ·亚强保持和弱保持的完全化 | 第49-50页 |
| ·完全函数依赖保持条件的完全化 | 第50-52页 |
| ·算法 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第5章 不完全信息下XML 关键字 | 第54-60页 |
| ·引言 | 第54-55页 |
| ·候选关键字的定义 | 第55-57页 |
| ·候选关键字的求解 | 第57-59页 |
| ·本章小结 | 第59-60页 |
| 结论 | 第60-62页 |
| 参考文献 | 第62-66页 |
| 攻读学位期间发表的学术论文 | 第66-67页 |
| 致谢 | 第67页 |
