XML模式中隐式冗余不存在的充分条件

XML数据库模式规范化设计是产生一组相关联的、能很好地表示数据间依赖关系、而且消除了冗余的XML模式或DTD,以更好地进行信息检索.XML数据库模式中某些数据依赖是冗余存在的原因.因此在XML数据库模式中数据依赖与冗余的性质以及关联是其规范化设计要解决的关键问题.XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖.在以往的工作中,已经给出XML数据库模式中元素间的数据依赖及其所关联的显式冗余的有关性质,并基于此实现和验证相应的XML数据库模式规范化设计算法.分析XML数据库模式中属性间的数据依赖、元素间的数据依赖及其关联,定义XML数据库模式数据依赖及其相关联的隐式冗余,并论证XML数据库模式中隐式冗余不存在的充分条件.     

XML数据库模式中的数据依赖和结构冗余

现代社会,是经济迅速发展的社会,而随着经济基础的迅速发展,信息技术也快速的发展和广泛的应用,计算机技术正向着微型化和专业还的趋势发展着。而数据库技术的利用也是计算机应用技术中比较常用的一种,数据库技术中比较常用的有XML、SQL等等。该文基于XML数据库模式中数据依赖和机构冗余方面做了简单阐述。     

消除数据冗余的XML模式设计方法

分析当前流行的XML-Schema设计方法。针对XML文档存在数据冗余的现象,改进了设计方法,提出基于E-R模型的实体加权算法。该方法使数据类型定义基准量化,进而在保证XML树结构的前提下最小化数据冗余。     

XML数据库模式中的数据依赖、结构冗余和不规则

XML数据库模式规范化设计是产生一组相关联的、能表示数据间依赖关系、而且消除了冗余的XML模式或DTD,其目的是为了互联网上的信息检索能够避免异常. XML数据库模式中某些数据依赖的存在是冗余存在的原因,因此在XML数据库模式中数据依赖与冗余的关联是其规范化设计研究的关键问题. XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖,与之关联的结构冗余和不规则是指在XML模式的结构上存在冗余和不规则的情况.给出综合了属性间和元素间数据依赖的XML数据库模式数据依赖的定义,分析与之关联的结构冗余以及不规则的情况,基于此定义消除结构冗余和不规则的规范的XML模式森林作为范式,给出并验证其规范化设计算法.     

消除结构冗余的XML数据库模式规范化设计

XML数据库模式规范化设计是给出一个能很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合．目前这一领域的研究并没有对XML数据库模式中的数据依赖和冗余进行专门的分析．引人标识符分别表示XML模式中的元素和属性,分析XML数据库模式的结构冗余：局部冗余、传递冗余和不规则;并在此基础上,定义XML数据库模式第3范式(3NF),给出并验证其规范化设计算法．     

基于函数依赖的XML冗余检测算法

XML保持语义下的冗余检测问题对于防止XML文档的更新异常和减少XML冗余信息的存储具有很大意义,是XML规范化理论的关键问题之一。对XML schema、树元组、XML键、XML范式等进行研究,定义基于schema的XML函数依赖形式化模型,并基于该定义模型设计一种新的XAP算法,可有效发现XML文档中的函数依赖和冗余,并对算法的复杂性进行分析。     

XML数据存储模式的研究

比较和分析了XML数据的逻辑结构以及现有的XML数据存储方式,重点突出了XML数据在数据库中的存储,并分析了这种存储模式的优缺点。     

不完全信息环境下存在XML强多值依赖的XML文档规范化研究

不完全信息环境下XML文档中的数据存在多值依赖时,为了避免在没有约束条件下XML文档数据出现冗余及更新异常,引入XML强多值依赖的概念和理论对XML文档的规范化进行了系统研究.基于节点信息等价、节点信息相容的概念给出了XML强多值依赖的定义;基于层次化的XML强多值依赖,提出了不完全XML文档树满足XML强多值依赖范式的条件;给出了满足该条件的不完全XML文档树无数据冗余的判定定理;提出了不完全XML文档树的规范化算法,对其时间复杂性进行了分析.理论研究和实例分析表明：研究成果较好地解决了在不完全信息环境下XML文档中存在层次化的XML强多值依赖引起的数据冗余问题.     

基于OEM的XML半结构数据的模式描述方法

半结构数据的类型和模式是提高半结构数据处理效率的关键技术，首先对半结构数据的特点及半结构数据的模式的特点进行了论述，然后对基于XML的模式描述形式进行了研究，提出了一种基于OEM的XMLDTD模式的定义和形式化描述方法。     

XML查询模式发掘

随着XML的广泛应用，如何高效地处理XML查询受到越来越多的关注．发掘频繁使用的查询模式，并缓存其查询结果是提高查询效率的有效手段之一．由于XML查询可以表示为树，因而可以使用频繁结构挖掘(Frequent Structure Mining)的技术来发掘频繁查询模式．提出一种高效的频繁查询模式发掘方法,同以前的类似工作相比,所做工作是严格地基于XML查询语义的，因而发掘结果曼为准确，也更易于使用．     

VXMLR系统存储模式的自适应调整

XML管理系统的查询处理效率很大程度上取决于系统中XML数据的存储模式．在用户查询已知或可预测的情况下,根据用户查询设计存储模式可以改善系统的查询处理效率．该文介绍VXMLR系统存储模式的自适应调整机制,根据历史查询信息,VXMLR系统对其存储模式进行自适应调整,从而提高查询处理效率,其基本思路是：首先根据历史查询,推导出适当的映射规则,得到XML文档在关系数据库中的存储模式;然后,在给定的空间约束下,根据历史查询使用背包问题求解算法选择关系表进行垂直分割或冗余存储相关数据,使查询所访问的无关数据尽可能少,VXMLR系统提供四种存储模式调整策略,其中两种策略可以实现自适应的存储模式调整,实验结果表明文中提出的方法是有效的。     

The XML Tree Model – toward an XML conceptual schema reversed from XML Schema Definition

XML Schema Definition (XSD) is the logical schemas of an XML model, but there is no standard format for the conceptual schema of an XML model. Therefore, we propose an XML Tree Model (XTM) as an XML conceptual schema for representing data semantics in a diagram, and also as an XML data model validator for confirming the data semantics required by users. An XTM consists of hierarchical nodes representing all the elements, and the data relationships among elements within the XSD. A rule-based algorithm and an information capacity with pre- and post-conditions are developed as the methodology for reverse engineering. The proposed algorithm consists of two rules: General Information Transformation and Data Semantic Recovering to construct an XTM. Users can draw an XTM with data relationships among elements as a result of the reverse engineering.     

用于XML模式和DTD设计的层次分解

对于XML模式和DTD规范化设计,现在开展的研究不多,而且才刚起步。W.Provost提出将关系数据库理论应用于XML模式规范化设计的思想,这一思想还没有付诸实施。该文给出表示XML模式和DTD的层次模式和用于XML模式和DTD规范化设计的层次分解过程,并对产生的层次模式进行分析。在算法产生的层次模式中,完全MVD和嵌入MVD的集合由给出的MVD集合导出。     

数据集成中XML Schema到关系模式的转换方法

根据XML Schema中组件的定义及组件之间的嵌套关系,建立一系列从XML Schema转换成关系模式的结构映射规则和语义映射规则。基于这些规则实现一种转换算法,从Schema中提取出关系模式,并且证明映射得到的关系模式满足4NF。结果表明得到的关系模式不仅包含了XML Schema中所有的结构和内容信息,还能保留大部分语义约束信息,减少存储冗余。     

虫孔寻径无死锁充要条件分析

采用虫孔切换技术容易造成互连网络寻径的死锁。本文通过三个虫孔寻径无死锁的具体实例 ,深入阐述、分析了虫孔寻径无死锁充要条件的研究进展。应用这些充要条件能较好地解决采用虫孔寻径带来的死锁问题     

XML多值依赖的推理规则集问题

XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础,是XML规范化理论的关键问题之一。该文对XML树、树元组等进行了重新定义,与Vincent等人不同,提出了基于DTD的XML多值依赖的概念,通过对XML的关系化表示给出了其形式化定义,定义了XML多值依赖集的闭包、XML多值依赖路径依赖基以及XML多值依赖路径集的闭包等概念,给出了一个有效且完备的推理规则集,并对其有效性及完备性进行了证明。     

XML数字签名技术的研究与实现

通过XML Schema讨论了XML数字签名规范，说明了XML数字签名特点及其优越性，描述了利用XML对文档进行数字签名和对签名进行校验的过程，给出了一个在Microsoft．Net环境下的XML数字签名的具体实现。