加强信息安全风险评估工作的研究

针对目前异构数据库间通信的问题,提出了种基于XML的数据交换技术.在具本实现过程中,进一步研究了XML模式与关系模式相互转换的方法,并给出了转换算法和转换规则。同时对XML模式中的语义约束同关系模式中的完整性约束之间的相互转换方法进行了分析。     

基于XML的异构数据交换模型的研究

基于XML的异构数据交换系统通过XML提供通用数据格式,在异构数据源间信息交换的模型中使用XML文档作为中间文件.由于以往的交换系统只提取出了少部分用户自定义完整性约束,因此提出一种新的关系模式和XML模式相互转换的方法.在转换过程中,重新定义了关系模式的通用模型,从而保证了数据的完整性.通过实验证明了该转换方法的可行...     

DAPPIC：保持约束的发布规则生成机制

提出一种在数据映射方式下保持完整性约束的数据发布方法,设计了一套保持完整性约束的数据发布规则生成机制DAPPIC。简述DAPPIC机制中的关键技术和总体设计,并且通过CoXML系统的实现和应用验证了DAPPIC机制的有效性。     

XESYS——一个基于XML的异构数据交换系统

本文以一个基于XML的异构数据交换系统XESYS为例，对设计该类系统的一些关系技术如系统架构、数据转换方法、数据模型的选择、XML数据存储等做了相应的讨论和研究，运行的结果表明系统实现了相应的功能并具有较高的效率。     

基于规范化关系模式生成XML的键

现实应用需要从关系数据库中提取数据并以XML的形式进行发布，需要利用定义在XML文档上的键检测发布后的XML文档是否满足原先关系数据库的语义及完整性约束。文章提出了生成XML键的方法，该方法由关系数据库中的键、外键约束构造规范化关系模式的约束概念层次图，并保持语义映射为有效的、完全的XML键约束。     

基于规则的模型自动转换方法

为实现任务模型(TM)到抽象用户界面(AUI)模型的自动转换,提出一个基于规则的模型转换方法.构建并发任务树的TM元模型和AUI元模型,采用基于对象约束语言的规则表示方法定义TM到AUI的映射规则,使用可扩展标记语言(XML)描述TM和映射规则,得到AUI的XML文件.通过一个虚拟工作压力调查实例验证该方法的可行性和易...     

工控软件体系结构转换方案的探讨和应用

随着计算机网络的发展和企业规模的扩大,很多工控软件面临着系统的升级.从现实的需求出发,探讨了工控软件从原有的C/S结构向B/S结构转换的过渡方案,提出一种基于当下比较流行的异步JavaScript和XML(asynchronous JavaScript and XML,Ajax)技术的转换方法,并通过一个具体的横向项目＜B/S模式的工业S监控系统中心站软件》的实施,验证了该方案的可行性.     

基于语义约束的数据转换模式研究

XML是因特网中不同企业之间进行信息交流的一种标准的数据转换模式,为了加速数据之间的转换,企业组织通过定义公共数据文档接口来实现基于XML的应用。本文提出了一种新的将关系数据模式转换为XML模式的方法。在转换的过程中,不仅考虑关系模式的结构,而且考虑语义约束,比如内部函数依赖。该方法的输入模式是具有多值函数依赖的关系模式,输出模式是X-Schema。最后,通过实验对该转换方法进行了验证。     

XML文档DTD到关系模式的转换

随着XML技术的不断发展和成熟,如何有效的利用关系数据库技术存储和查询XML文档显得非常重要。提出了一种XML文档DTD到关系表格的两阶段转换法,先将DTD文件映射为XSchema模式,通过对XSchema模式的约束简化、内联、添加键约束、数据类型和属性转换得到能够在RDBMS中存储的关系模型,映射后XML文档信息不会发生丢失且能保持键约束。实例的成功转换表明了该方法的可行性。     

XML Schema语义约束在关系数据库中的实现

数据语义约束的完整保留是实现XML Schema向关系模式"无损"转换的关键问题.针对这一问题,本文简要分析XML Schema和关系模式的语义约束特征,较为详细地论述XML Schema语义约束与关系模式的完整性约束之间的转换方法.     

基于函数依赖的XML键的推理及其求解算法

键是数据库模式和概念设计的基础，是语义的一个重要组成部分。随着XML成为Web上一种通用的数据交换标准格式，将键的概念引入到XML领域就显得非常迫切。本文基于路径和树元组表达式，从数据库设计的角度出发，在XML函数依赖形式化定义的基础上给出XML键完整陆约束定义、XML绝对键和相对键的有效和完备的推理规则，并提出使用多项式时间求解XML候选键的算法，为XML数据库模式的规范化设计奠定了理论基础。     

Propagating XML constraints to relations

We present a technique for refining the design of relational storage for XML data. The technique is based on XML key propagation: given a set of keys on XML data and a mapping (transformation) from the XML data to relations, what functional dependencies must hold on the relations produced by the mapping? With the functional dependencies one can then convert the relational design into, e.g. 3NF, BCNF, and thus develop efficient relational storage for XML data. We provide several algorithms for computing XML key propagation. One algorithm is to check whether a functional dependency is propagated from a set of XML keys via a predefined mapping; this allows one to determine whether or not the relational design is in a normal form. The others are to compute a minimum cover for all functional dependencies that are propagated from a set of XML keys and hold on a universal relation; these provide guidance for how to design a relational schema for storing XML data. These algorithms show that XML key propagation and its associated minimum cover can be computed in polynomial time. Our experimental results verify that these algorithms are efficient in practice. We also investigate the complexity of propagating other XML constraints to relations. The ability to compute XML key propagation is a first step toward establishing a connection between XML data and its relational representation at the semantic level.     

面向半结构化数据的Key约束研究

由于传统的Key约束理论难以适应XML的需求，XML Key约束已成为当前的研究热点。本文从XML文档变化检测的问题入手，提出基于多实例的Key约束概念，并以此作为构建高效XML文档变化检测算法的基础。     

用Xerces-J进行基于XML Schema的XML局部验证

XML验证，特别是局部验证，是XML应用中的一个关键问题．调研分析了Xerces—J2工具包中的基于XML Schema的XML解析、验证体系，它是一种延迟的整体验证．利用Xerces—J2，设计实现了基于XML Schema的XML局部验证接口，包括类型检查和ID约束检查等．     

XML模式到关系范式的映射

虽然新一代的数据库技术如对象数据库、XML数据库等已经开始迅速发腱,但这些新技术在现阶段仍然很不成熟,因而目前对Java复杂对象以及XML数据的普遍处理办法是将其转换成关系格式以便利用目前成熟的关系数据库技术进行存储和查询。该文介绍了如何实现XML模式(DTD)到关系数据库范式的映射,由该映射得到的关系模式必须保持XML DTD的语义信息,同时是满足某种规范化约束的关系范式。     

在带OCL约束的状态图下测试线索的自动生成*

保证软件质量的前提下如何减少测试用例规模是测试设计的关键技术之一。提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对-事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。     

基于约束的可能性XML条件计算

将约束引入到可能性XML时,因分布节点值的不确定性,XML文档无法检验对涉及分布节点的约束的合法性。在一些场景中,要返回给用户符合约束的查询结果和概率,通常没有考虑去除不可能域分布来做条件计算,得出的并不是准确概率。为此,提出一种可能性XML的概念,给出可能性XML中可能域和约束的有效表达,通过提出的方案解决条件计算和准确概率计算的问题。实验结果表明,该算法的效率较高,条件计算后的结果更能被用户接受。     

Numerical constraints on XML data

Boundaries occur naturally in everyday life. This paper introduces numerical constraints into the framework of XML to take advantage of the benefits that result from the explicit specification of such boundaries. Roughly speaking, numerical constraints restrict the number of elements in an XML data fragment based on the data values of selected subelements. Efficient reasoning about numerical constraints provides effective means for predicting the number of answers to XQuery and XPath queries, the number of updates when using the XQuery update facility, and the number of encryptions or decryptions when using XML encryption. Moreover, numerical constraints can help to optimise XQuery and XPath queries, to exclude certain choices of indices from the index selection problem, and to generate views for efficient processing of common queries and updates.We investigate decision problems associated with numerical constraints in order to capitalise on the range of applications in XML data processing. To begin with we demonstrate that the implication problem is strongly coNP-hard for several classes of numerical constraints. These sources of potential intractability direct our attention towards the class of numerical keys that permit the specification of positive upper bounds. Numerical keys are of interest as they are reminiscent of cardinality constraints that are widely used in conceptual data modelling. At the same time, they form a natural generalisation of XML keys that are popular in XML theory and practice. We show that numerical keys are finitely satisfiable and establish a finite axiomatisation for their implication problem. Finally, we propose an algorithm that decides numerical key implication in quadratic time using shortest path methods.