一种基于DTD的XML索引方法

路径查询是XML查询的一个主要特征,现已提出了多种XML索引方法．DTD的结构信息对于XML索引的建立及查询效率的提高很重要,但现有的大部分索引方法没有利用DTD这一有效资源,提出一种利用DTD的XML索引方法——DBXI(DTD-based XML indexing),该方法采用了新的编码方法,可使路径查询具备如下特征：对于由N个元素／属性组成的具有1个谓词约束的路径表达式,DBXI处理每个XML文档仅需0次或1次元素／属性结点集的结构连接操作;对于在XML文档中不存在匹配结构的路径查询,DBXI能够在比现有的XML索引方法较短的时间内给出无查询结果的判断．实验表明,与Lore,SphinX和XISS等索引方法相比,DBXI能够缩短路径查询的响应时间．     

XML结构完整性约束的研究

XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现的语法和语义,研究了它们的性质以及它们与DTD的关系,在此基础上,给出了将不能用DTD表达的结构完整性约束添加到DTD中的方法。     

基于模式的XML路径表达式查询处理技术

为了有效地利用文档类型定义(DTD)中的路径信息、减少结构连接次数,使用二元前缀码对DTD的元素或属性编码,并将DTD编码引入到XML节点编码中.在此基础上,将路径表达式查询分解成若干查询片段,利用二元前缀码的"位"操作高效地计算每个查询片段的结果,最后使用结构连接将这些查询结果组合起来.实验结果表明该方法是正确的和高效的.     

基于上下文的异构文档类型定义匹配

XML文档的模式匹配是许多应用中的重要步骤．提出一种匹配算法来发现不同DTD中对应的元素和属性，通过转化规则将DTD转化成一个有向图模型，先给出了两个DTD树之间的匹配算法，然后将其推广一般的DTD图匹配的情形．匹配算法中在考察DTD节点的相似性时，除考虑标签语义和基数约束之外，研究了上下文语义对节点相似性的影响．     

基于有色Petri网的SysML序列图的分析与验证

针对SysML序列图本身缺乏分析和验证手段的问题,提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则,重点是把序列图的常用结构如可选结构、条件结构、并行结构以及循环结构等映射为有色Petri网。这当中既包含结构元素,如库所、变迁、输入/输出弧,又包含逻辑元素,如全局声明中的颜色集和变量、颜色集与库所、弧表达式以及初始标志。应用这些规则可以将序列图转换为有色Petri网模型,进而对其进行仿真分析,并可通过有色Petri网工具验证模型的无死锁性、可达性、有界性和活性。最后通过数字证书更新的实例分析了映射前后两种模型的语义,验证了映射的正确性。     

用JavaCC和JJTree构造扩展模式文档解析器

XML正成为互联网中数据表示和数据交换的标准.扩展DTD支持面向XML的查询,但结构复杂,现有工具无法解析扩展DTD,获取元素之间的面向对象信息.利用JavaCC和JJTree设计解析器,包括构造语法和语义分析器,设计扩展DTD的语法规则和解析器的类结构,从而解析扩展DTD,利用解析后的扩展DTD的语法树获取面向对象信息,方便高效,不仅支持XML存储建立,而且支持面向对象XML查询方式,使得查询方式更为灵活多样.     

用JavaCC和JJTree构造扩展模式文档解析器

XML正成为互联网中数据表示和数据交换的标准。扩展DTD支持面向XML的查询,但结构复杂,现有工具无法解析扩展DID,获取元素之间的面向对象信息。利用JavaCC和JJTree设计解析器,包括构造语法和语义分析器,设计扩展DTD的语法规则和解析器的类结构,从而解析扩展DTD,利用解析后的扩展DTD的语法树获取面向对象信息,方便高效,不仅支持XML存储建立,而且支持面向对象XML查询方式,使得查询方式更为灵活多样。     

一种基于Petri网的工作流元模型研究

Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。     

Web服务组合的Petri网自动生成方法

针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(Ontology Web Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.     

软件配置信息的DTD描述与关系模式映射方法

结合XML具有可扩展性、灵活性和自描述性特点以及DTD能够为XML文档中的元素属性、元素的拓扑结构等创建规则的能力，提出了利用DTD描述软件配置信息的方法，通过DTD描述实现关系存储的途径，达到了有效地管理软件配置信息的目的。     

XML文档在关系数据库中的存储研究

XML目前正在成为各种数据库特别是文档的首选格式,然而由于数据模型的差异.利用关系数据库查询处理XML数据给传统数据库技术带来新的挑战.通过一种基于DTD的XML关系数据库存储方法.该方法分别针对DTD和XML文档建立独立的表结构和索引,从而提高查询效率.     

面向对象XML数据库的逻辑基础

XML正在成为Internet上数据描述和交换的标准．面向对象的方法具有很强的建模能力，例如继承、非单调继承、多态性、复杂数据结构等．将面向对象的特征引入到XML中，可以提高XML语言的建模能力．用继承扩展XML的模式语言DTD支持元素继承、非单调多重继承、重载、阻断、多态和冲突处理机制．XML，RL是基于高级数据模型的以规则为基础的XML查询语言，用面向对象的特征扩展XML-RL支持多态元素、包含元素．系统地给出面向对象的XML数据库的基于逻辑的语法和语义．     

DVQ: Towards Visual Query Processing of XML Database Systems

XML has been recognized as a promising language for data exchange over the Internet. A number of query languages have been proposed for querying XML data. Most of those languages are path-expression based. One difficulty in forming path-expression based queries is that users have to know the structure of XML data against which the queries were issued. In this paper, we describe a DTD-driven visual query interface for XML database systems. With such an interface, a user can easily form path-expression based queries by clicking elements in the DTD tree displayed on the screen and supplying conditions if necessary. The interface and the query generation process are described in detail.     

Mapping the XML data model into the object model of the SYNTHESIS language

In this paper, a mapping of the XML document structure into the canonical data model is studied [5]. The XML document structure is specified by the Document Type Definition (DTD). DTD serves as a basis for a specification in the SYNTHESIS language; each DTD element declaration is mapped into some data type of SYNTHESIS.     

XML模式到关系范式的映射

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

基于倒排表与B+树的联合索引技术

为提高XML文档的查询效率,提出一种基于倒排表与B+树的联合索引技术。DTD结构索引和内容索引采用倒排表作为索引单位,XML文档索引使用B+树作为索引基本组织。在DTD结构索引的结点编码中设置标识信息,便于确定需要查询的文档。通过建立DTD结构索引、XML文档索引和内容索引,实现混合型XML文档的查询。理论分析与实验结果表明,该技术具有较小的空间开销和较高的查询效率。     

XML环的定义、分类、判定和消除

在关系数据库中,无环数据库模式设计是数据库理论与图论相结合而产生的一个新的研究领域.这里的环指的是在关系数据库中由于某些属性存在二义性,使得在查询这些属性的时候存在两条或两条以上的路径,这就形成了环.同样的,在XML文档中也存在着环.为了研究XML文档中的环,基于DTD提出了XML环的概念,分析了存在环结构的DTD,并对XML环进行了分类,给出XML环的判定算法,最后提出了消除XML环的方法.     

面向对象的XML查询系统的设计与实现

设计和开发了面向对象的XML数据查询系统原型OOX(object-oriented XML).OOX系统中包括了面向对象XML数据查询系统的一些核心功能,如存储、索引、查询等.其最大的特点是:它是一个可以实现对富含面向对象XML数据进行查询的XML查询系统;支持用继承扩展的XML模式语言DTD的解析,支持用继承扩展的XML查询语言XML-RL;采用了先进的路经仓索引模式以及高效的查询处理技术,可以实现高效的查询处理.     

A Semantic Cache Framework for Secure XML Queries

Secure XML query answering to protect data privacy and semantic cache to speed up XML query answering are two hot spots in current research areas of XML database systems. While both issues are explored respectively in depth,they have not been studied together,that is,the problem of semantic cache for secure XML query answering has not been addressed yet. In this paper,we present an interesting joint of these two aspects and propose an efficient framework of semantic cache for secure XML query answering,which can improve the performance of XML database systems under secure circumstances. Our framework combines access control,user privilege management over XML data and the state-of-the-art semantic XML query cache techniques,to ensure that data are presented only to authorized users in an efficient way. To the best of our knowledge,the approach we propose here is among the first beneficial efforts in a novel perspective of combining caching and security for XML database to improve system performance. The efficiency of our framework is verified by comprehensive experiments.