第1章XML概述 1
1.1XML和DTD简介 1
1.2XML的优势与特点 3
1.2.1XML的优势 3
1.2.2XML的特点 4
1.2.3XML应用概述 5
1.3基于编码的XML数据库存储方法 6
1.4不完全信息下XML 7
1.4.1不完全信息下关系数据库数值理论 7
1.4.2不完全信息下XML数值理论 7
1.5概率XML数据 9
1.6本章小结 10
第2章基于编码的XML数据库存储方法 12
2.1DTD完全一致性判定的相关定理和算法 12
2.2基于编码的XML关系数据库存储方法 26
2.2.1编码方法 28
2.2.2模式映射 30
2.2.3路径查询的实现 31
2.3XML文档的重组与更新 35
2.3.1XML文档的重组 35
2.3.2XML文档的更新 38
2.3.3DTD的更新 39
2.3.4递归模式的处理 40
2.4本章小结 41
第3章不完全信息下XML强函数依赖推理规则 42
3.1基础知识 42
3.1.1不完全信息的语义分类 42
3.1.2不完全信息之间的关系 44
3.1.3不完全信息函数依赖的保持条件 46
3.2不完全信息下XML文档树相关基本概念 46
3.3不完全信息下XML强函数依赖的性质 49
3.4不完全信息下XML强函数依赖推理规则集 52
3.4.1XSFD推理规则集的正确性 52
3.4.2XSFD推理规则集的完备性 54
3.5本章小结 55
第4章不完全信息下XML数据依赖规范化 56
4.1不完全信息下XML强闭包依赖 56
4.1.1不完全信息下XML强闭包依赖的定义 56
4.1.2不完全信息下XML强闭包依赖的性质 59
4.2不完全信息下强闭包依赖的推理规则集 60
4.2.1不完全信息下强闭包依赖推理规则集的正确性 60
4.2.2不完全信息下强闭包依赖推理规则集的完备性 61
4.3XSIND范式 63
4.3.1XSFD和XSIND之间的关系 63
4.3.2XSIND产生数据冗余的原因 64
4.3.3XSFD和非循环XSIND互不影响的判定条件 64
4.3.4XSIND范式的判定条件 69
4.3.5规范S为XSIND范式的算法 72
4.4不完全信息下XML强多值依赖 76
4.5不完全信息XML文档树满足XSMVD范式的条件 77
4.6规范不完全信息XML文档树为XSMVD范式 82
4.7本章小结 87
第5章存在XSFD的XMLSchema规范化 88
5.1基本定义 88
5.2XSFD的推理规则集 93
5.3XSFD的成员籍问题 96
5.4不完全信息下规范XMLSchema为XSFD范式 99
5.4.1XML双类结点强函数依赖范式 99
5.4.2XML双类结点强函数依赖规范规则 100
5.4.3XMLSchema规范化算法 102
5.5存在XSMVD的性质 103
5.6XSMVD的推理规则集 106
5.6.1XSMVD推理规则集的正确性 106
5.6.2XSMVD推理规则集的完备性 109
5.7XSMVD弱范式 112
5.8规范XMLSchema为XSMVD弱范式 115
5.8.1规范XMLSchema为XSMVD弱范式规范规则 115
5.8.2规范XMLSchema为XSMVD弱范式算法 118
5.9本章小结 119
第6章概率数据模型分析和数据的转换 121
6.1概率XML数据管理简述 121
6.1.1概率XML数据模 121
6.1.2概率XML代数 124
6.1.3概率XML数据查询 125
6.1.4概率XML数据库系统 126
6.2概率数据模型分析 126
6.2.1概率关系数据模型 127
6.2.2概率XML数据模 128
6.2.3概率XML树的路径表达式的类型 129
6.2.4概率XML树的路径表达式的关系 133
6.2.5概率XML树的路径表达式中结点的关系 135
6.3概率关系数据与概率XML数据的转换 135
6.3.1概率关系模式转换为概率XML模式 136
6.3.2概率XML模式转换为概率关系模式的算法 141
6.3.3概率关系数据转换为概率XML数据树的算法 143
6.3.4概率关系数据转换为概率XML数据的算法 146
6.4本章小结 147
第7章概率XMLXQuery和XMLEXQuery 149
7.1以概率XML元素单元为操作对象的概率运算 149
7.1.1叶子结点概率运算 151
7.1.2概率阈截取运算 152
7.1.3平凡化运算 152
7.2概率XML树的基本运算 153
7.2.1并运算 153
7.2.2交运算 154
7.2.3差运算 156
7.2.4连接运算 157
7.3概率XML代数系统的相关特性 160
7.3.1概率XML代数系统的封闭性 160
7.3.2查询操作有效性和完备性 161
7.4EXQuery函数 161
7.4.1与路径表达式有关的函数 162
7.4.2与路径表达式转换有关的函数 164
7.4.3概率计算有关的函数 165
7.4.4路径表达式的划分有关的函数 166
7.4.5路径表达式关系判断的有关的函数 168
7.4.6结点关系判断有关的函数 172
7.4.7结点概率的计算函数 174
7.4.8与树类型的判断有关的函数 174
7.5本章小结 177
第8章概率XML树的结点概率查询算法 178
8.1子树个数的估计算法 178
8.2基于可能世界原理的结点概率查询算法 182
8.3基于路径表达式划分的结点概率查询算法 186
8.4本章小结 192
参考文献 193