语义驱动的XML规范化研究

摘要	第1-4页
ABSTRACT	第4-7页
1 绪论	第7-10页
·研究背景	第7-8页
·国内外研究现状	第8页
·研究意义	第8-9页
·论文结构	第9-10页
2 XML 相关标准及定义	第10-22页
·XML 背景知识	第10-15页
·XML 发展与特点	第10-11页
·XML 语义约束的分析	第11-15页
·XML Schema	第15-20页
·XML Schema 语法	第15-18页
·XML Schema 形式化定义	第18-19页
·XML Schema 形式化定义	第19-20页
·XML 数据库	第20-21页
·本章小结	第21-22页
3 XML 函数依赖及范式	第22-40页
·XML 函数依赖	第22-26页
·路径表达式和树元组	第22-23页
·XML 函数依赖	第23-24页
·XML 函数依赖的推理规则集	第24-26页
·传递函数依赖与间接函数依赖集	第26-28页
·基于函数依赖的XML Schema 规范化规则	第28-35页
·函数依赖的蕴含与最小覆盖问题	第35-37页
·XML 范式级别	第37-38页
·XML 范式定义	第37-38页
·XML 模式分解	第38页
·本章小结	第38-40页
4 XML 文档冗余检测算法	第40-46页
·问题的提出和定义	第40-41页
·冗余检测的属性分解算法	第41-44页
·XML 数据的表示	第41-42页
·表内的数据依赖检测	第42-43页
·表间的数据依赖检测	第43-44页
·set 元素的处理	第44页
·算法复杂度分析	第44-45页
·本章小结	第45-46页
5 结论与展望	第46-48页
·小结	第46页
·展望	第46-48页
致谢	第48-49页
参考文献	第49-52页
附录	第52页