| 【中文题名】 | XML多值依赖问题的研究 |
| 【英文题名】 | The Research on Multivalued Dependencies for XML |
| 【学科专业】 | 计算机应用技术 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-7-30 |
| 【中关键词】 | XML,DTD,多值依赖,推理规则,成员籍,规范化 |
| 【英关键词】 | XML,DTD,Multivalued dependency,Inference rules,Membership,Normalization, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机软件>> |
| 【论文摘要】 |
XML凭借着众多优势已经成为Web上数据表示与交换的标准。但XML模式所能表示的语义信息却相对有限。同关系数据库相似,设计不好的XML数据模式也会引起更新异常。而Internet的开放性使XML数据更新异常的危害性要远远大于关系数据。因此,完善XML数据库规范化理论已成为必要。本文在对国内外研究现状进行综合分析的基础上,基于DTD,在模式一级对XML中多值依赖进行规范化研究。主要内容如下。
首先,在分析XML文档DTD设计的基础上,对XML多值依赖约束进行研究,基于路径表达式和树元组提出了XML多值依赖的形式化定义。
其次,研究XML多值依赖的推理规则集问题。提出了XML路径集闭包、路径依赖基等基本概念,给出了XML多值依赖的一个有效且完备的推理规则集,并对其有效性和完备性进行了证明。
再次,对XML多值依赖的成员籍问题进行了研究。给出了求解路径依赖基的算法。并基于求解路径依赖基,给出了解决XML多值依赖成员籍问题的算法,并对两个算法的可终止性、正确性进行了证明,对时间复杂度进行了分析。
然后,对XML多值依赖下的范式及其规范化问题进行研究。提出了在XML多值依赖下的... |
| 【论文题纲】 |
|
摘要 |
5-6 |
|
ABSTRACT |
6-11 |
|
第1章 绪论 |
11-21 |
|
1.1 研究背景 |
11-12 |
|
1.2 研究现状 |
12-17 |
|
1.3 研究的理论和实际意义 |
17-18 |
|
1.4 本文主要研究内容 |
18-19 |
|
1.5 本文组织结构 |
19-21 |
|
第2章 基本定义及符号 |
21-33 |
|
2.1 引言 |
21 |
|
2.2 XML 简介 |
21-27 |
|
2.3 DTD |
27-28 |
|
2.4 XML 树和树元组 |
28-31 |
|
2.5 其它定义 |
31-32 |
|
2.5 本章小结 |
32-33 |
|
第3章 XML 多值依赖及其推理规则集 |
33-46 |
|
3.1 引言 |
33 |
|
3.2 关系数据库中的多值依赖 |
33-34 |
|
3.3 XML 多值依赖 |
34-39 |
|
3.4 XML 多值依赖推理规则集 |
39-45 |
|
3.5 本章小结 |
45-46 |
|
第4章 XML 多值依赖的成员籍问题 |
46-54 |
|
4.1 引言 |
46 |
|
4.2 XML 多值依赖的成员籍问题 |
46-47 |
|
4.3 路径依赖基求解算法 |
47-51 |
|
4.4 成员籍算法 |
51-53 |
|
4.5 本章小结 |
53-54 |
|
第5章 XML 多值依赖下的范式及其规范化 |
54-65 |
|
5.1 引言 |
54 |
|
5.2 XML 多值依赖下的范式 |
54-58 |
|
5.3 XML 文档规范化设计与算法 |
58-64 |
|
5.4 本章小结 |
64-65 |
|
第6章 XML 文档对多值依赖满足性的检测 |
65-71 |
|
6.1 引言 |
65 |
|
6.2 文档控制结构 |
65-67 |
|
6.3 文档分析 |
67-68 |
|
6.4 XMVD 检测 |
68-69 |
|
6.5 本章小结 |
69-71 |
|
结论 |
71-73 |
|
参考文献 |
73-79 |
|
攻读硕士学位期间承担的科研任务和主要成果 |
79-80 |
|
致谢 |
80-81 |
|
作者简介 |
81 |
|
| 【DOI】 | LunWen.ID:2.2008.359036 |
