ＸＭＬ弱函数依赖及其推理规则.docVIP

ＸＭＬ弱函数依赖及其推理规则 　　摘要：XML函数依赖问题是进行XML数据库后续研究的基础。首先基于M.Arenas等人给定的XML中DTD和XML树的定义，提出空值、不完全树元组、数据值偏序、最小扩展树等概念，在此基础上，给出弱函数依赖及其满足性的定义；其次研究了XML弱函数依赖的逻辑蕴含问题，提出一组适合XML空值模型的函数依赖推理规则集；最后给出推理规则集的正确性和完备性证明。 　　关键词：XML；空值；不完全树元组；弱函数依赖；完备性 　　中图分类号： TP311.131 　　文献标识码：A 　　 　　0引言?? 　　 　　XML已经成为Internet上主要的数据表示和交换标准之一。有关XML数据模式的研究已取得了一些成果，但是还没有形成一个完备的体系。XML函依赖是进行XML数据模式研究的基础，因此也就具有十分重要的研究价值。目前，对于XML函依赖的研究比较有代表性的是M.W. Vincent和Marcelo Arenas的观点。M.W. Vincent基于路径、路径表达式[1]的方法，在不存在DTD的情况下，给出函数依赖的定义，提出一组推理规则，并证明是正确的，并在一元函数依赖的前提下证明是完备的。Marcelo Arenas在存在DTD的情况下，通过将XML文档映射到关系模式，给出函数依赖的定义，但没有定义函数依赖的满足性，也没有讨论函数依赖的推理。谈子敬等人在M.Arenas定义的函数依赖思想上，利用树元组[2]的方法定义了函数依赖，给出满足性定义，并在此基础上提出一组正确完备的推理规则集[3]。但是这些研究都是在强函数依赖的定义下进行的。在关系数据库理论的空值关系模型[4]中，对于函数依赖有强函数依赖和弱函数依赖两种。?? 　　本文在DTD模式下研究了XML的弱函数依赖的问题。首先在第二节简单介绍XML空值模型及其弱函数依赖的形式。第三节给出XML弱函数依赖及其满足性的形式化定义。第四节给出一组XML弱函数依赖的推理规则集。第五节全文总结。 　　 　　1XML中的空值模型?? 　　 　　在关系数据库中，不完全关系是指包含空值的关系，即某些值到目前为止还不知道。同样，对于XML数据，它的树型结构特点决定它存在空值的可能性，它的直观体现就是对于一棵给定的XML树［2］，它的某些路径是不完全的，用空值表示那些不完全的路径值可以形成一棵扩展树，XML扩展树中的空值都用允许取的实际值取代后就成为一棵完全树。设树T是一棵不完全树，T中的空值用各种可能值代替后所形成的完全树的集合称为这棵树的可能世界，并将其记做Poss(T)。众所周知，函数依赖在XML数据库设计及应用中起着重要作用。那么，函数依赖在不完全树中怎样体现呢？这里有以下定义：给定一个DTD D，设树T是D上的一棵不完全树，S1,S2??paths(D)，S1→S2是一个函数依赖。如果存在一个完全树T′∈Poss(T)，而T′适合（弱满足［5］）函数依赖S1→S2，则称T适合函数依赖S1→S2。下面来举例说明。?? 　　例1给定一个简单的DTD D，与D相容的XML树T如图1。D上的函数依赖集合??={db.G.@A→db.G.@B, db. 　　G.@B→db.G.@C}。显然T适合db.G.@A→db.G.@B（将 　　两条路径上B属性的两个(换成两个相等的值），T也适合db.G.@B→db.G.@ C（将两条路径上B属性的两个⊥换成两个不等的值）。?? 　　可以看出，在不完全关系中强函数依赖需要在任意T′∈Poss(T)上成立，而弱函数依赖只要存在一个关系T′∈Poss(T)满足此函数依赖即可。?? 　　上面所举示例只是当叶子节点存在空值时的情况，当非叶子节点存在空值时的情况类似。?? 　　 　　2XML弱函数依赖?? 　　 　　关于DTD、XML树路径以及树元组的定义请参考文献［2］。为了把空值关系模型的思想应用到XML中，下面先给出几个定义。首先给出一个XML树的定义，本定义是文献［2］中定义的扩展。?? 　　定义1XML树T为满足如下条件的六元组(V, lab, ele, att, val, root)。?? 　　(1) V??Vert，是有限节点集合；?? 　　(2) lab: V→El∪Att∪Str；?? 　　(3) ele: V→Str∪V*；?? 　　(4) att是V×Att→V的部分映射。对每个v∈V和l∈Att，如果att(v, l)= v1那么lab(v)∈El，lab(v1)=l；?? 　　(5) val是一个函数，对于任意节点v∈V，如果lab(v)∈El，val(v)=v；如果lab(v)∈Att或lab(v)= Str,val(v)∈Str；?? 　　(6) root