XML数据库类型系统研究
| 摘 要 | 第1-4页 |
| Abstract | 第4-7页 |
| 1 绪论 | 第7-14页 |
| ·课题研究背景、目的及意义 | 第7-8页 |
| ·国内外研究概况 | 第8-12页 |
| ·课题主要研究工作 | 第12-14页 |
| 2 XML数据库类型系统形式化建模 | 第14-24页 |
| ·XML 模式语言对XML类型系统的扩展 | 第14-15页 |
| ·类型系统形式化建模技术 | 第15-16页 |
| ·XML类型系统的形式化建模 | 第16-20页 |
| ·形式化模型的扩展 | 第20-23页 |
| ·本章小结 | 第23-24页 |
| 3 XML类型系统的类型验证问题研究 | 第24-38页 |
| ·XML类型验证问题的提出 | 第24-27页 |
| ·几种XML类型验证方法的分析与比较 | 第27-28页 |
| ·基于树自动机的类型验证算法及其改进 | 第28-37页 |
| ·本章小结 | 第37-38页 |
| 4 XML类型系统的类型检验问题研究 | 第38-49页 |
| ·XML类型检验问题的提出 | 第38-41页 |
| ·XML类型检验问题的可确定性分析 | 第41-47页 |
| ·XML类型检验算法 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 5 XDM类型处理系统的设计与实现 | 第49-53页 |
| ·概述 | 第49页 |
| ·体系结构图 | 第49-50页 |
| ·实验结果分析 | 第50-52页 |
| ·本章小结 | 第52-53页 |
| 6 结束语 | 第53-55页 |
| 致谢 | 第55-56页 |
| 参考文献 | 第56-60页 |
| 附录 攻读学位期间发表和已录用的论文目录 | 第60页 |
