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

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

基于XML Schema的知识描述与模式验证

设计一种基于XML的面向对象的知识表示方法,并完成其XML Schema设计。在XML Schema的约束规范下,开发相应的知识获取系统、验证查错系统和推理系统,从而构成一个完整专家系统开发平台。本文主要设计并实现其中的验证查错系统。通过JDOM对知识获取系统获得的XML知识库进行模式验证与错误处理,保证知识获取得到的知识的可用性。     

基于XML Schema的数据有效性验证

XML可作为行业内数据交换的标准表示。XML文档的有效性验证是检查该文档是否遵循行业规定的XML文档格式。在进行数据交换时,首先必须对XML文档表示的数据进行有效性验证。文中主要讨论.NET框架下利用XMLSchema对XML文档进行有效性验证的算法。     

XML数据类型验证算法的改进

介绍几种XML Schema类型验证算法,并对其中基于树自动机的算法进行研究,针对它在验证嵌套复杂类型XML文档过程中存在的问题,提出一种改进算法,为每个终结符增设一个处理状态标志,从而对以XML文档表示的数据类型进行验证。通过实验测试其性能,结果表明该算法是有效的。     

基于XML Schema的XML存储

文章介绍了一个在关系数据库中,基于XMLSchema的XML存储方案。描述了一个以树模型为模型,XMLSchema为模式的XML数据库的存储系统。首先给出了在关系数据库中存储XMLSchema的方法,在此基础上,又给出了存储XML文档的方法。与通常的XML分解存储方案不同之处在于,在该方案中,XMLSchema被保存到数据库中,未作模式映射,避免了模式映射通常会带来的数据丢失和数据要分散到多个关系表中的问题;对XML文档的存储和查询都是基于XMLSchema的;并且由于所有基于同一个模式的XML文档共享该模式的结构,不必对结构信息进行重复存储,减少了存储空间;最后,由于我们为每一个元素赋予了一个唯一ID值,在进行查询的时候,可以利用该ID值进行定位,具有和XPath表达式相同的作用,但是更为简便。     

对XML的模式DTD和Schema的探讨

介绍了XML的模式DTD和Schema，通过一个示例比较了两者的不同，说明了Schema的新特色，并对DTD和Schema的应用前景作了预测。     

XML Schema在EC的应用

本文在分析电子商务数据交换和XML功能基础上，探索正处发展中的XML Schema在EC的应用。     

XML DTD与XML Schema的对比

XML近来已成为Internet领域数据交换、数据表示的标准.而模式是应用XML进行数据交换的正确性的保证机制之一.本文介绍了XML的模式DTD和Schema,对XML DTD的局限性和XML Schema的优势进行了比较细致的分析.     

基于Schema的XML索引方法研究

针对XML文档路径查询中无效扫描量大、分支路径连接操作复杂等问题,提出一种基于Schema的XML索引方法。通过Schema与查询路径匹配,确定需要扫描的XML文档。利用编码方法减少结点连接次数。实验结果表明,该方法较已有索引方法有更高的查询效率,具有较好的实用性及可扩展性。     

一种XML Schema到关系模式的转换方法

随着互联网和信息技术的不断发展,异构数据交换技术已成为实现数据共享的主要方法,而其中的关键又是异构数据模式的统一.针对这种情况,通过对XML Schema和关系模式的集合定义,提出两集合间的双向映射规则,将关系模式转换为XML Schema的描述,以实现关系模式到XML Schema的转化.     

用UML为XML Schema建模

本文介绍了从HTML到XML的发展以及XML所用的DTD文法的不足。W3C正在制定新的文档类型说明语言XML Schema,基于目前的一个XML Schema建议版本SOX来描述UML与XML Schema之间的对应。并说明了一种用UML来设计XML Schema的图形方法。     

XML数据的结构化处理方法

越来越多的数据采用XML格式表示和交换，对XML数据的有效访问方法是目前需要解决的关键问题之一．对通过面向对象数据库系统访问XML数据的方法进行了讨论，提出了将XML数据映射到对象模型的规则以及建立XML数据的OODB模式的方法．为了建立高效地访问路径提出了一种XML数据的结构索引，并介绍了利用结构索引实现基本的数据操作的方法．实验结果表明，提出的方法具有较高的效率。     

基于XML Schema技术网页安全防护机制的研究

提出了一种基于XML Schema 技术的网页安全防护机制,可解决网页中用户输入数据缺乏验证机制而导致应用层级的安全攻击.该防护机制通过描述网页输入数据的特性,将输入数据转换为XML Document,判断有无应用层级的安全攻击并采取防护措施,为网站开发提供有效而又方便的安全保障.     

基于UML与XML的软件输出文档模型设计

软件开发中文字和数据的输出编码工作量大且烦琐,较好的解决方法是将软件中的文字和数据组织成具有相似结构的文档-软件输出文档,开发一个通用组件对其进行处理并实现输出.它设计了一种通用的软件输出文档结构,使用UML建立了文档结构可视模型,使用XML schema建立了文档格式,并对文档处理提供了参考方法.应用说明基于软件输出文档模型及其组件进行文字和数据的输出能够提高软件的开发效率和可移植性.     

MPI程序的Petri网模型及其验证

利用PVM程序中抽取Petri网的方法实现了MPI程序的部分功能语句的Petri网抽象,并分别针对MPI-1和MPI-2在通信方式上的新特性给出对应的Petri网模型抽象方法,使利用Pertri网模型对MPI程序正确性进行理论验证成为可能.     

基于黑板结构模式的XML解析器

以协同工作平台服务(CWPS)项目为研究背景,提出一种基于黑板结构模式的XML解析器的设计方案。分析传统编译器的缺陷,给出XML解析器的软件构架,阐述该构架的设计思想,探讨关键技术,包括DOM树生成算法、模式树对象模型、有效性验证算法和解析引擎等。工程应用验证,该解析器构架具有良好的解析效果。     

关系模式一种基于超图的全部候选关键字求法

本文详细讨论了基于超图的关系模式的有关候选关键字的某些理论,给出了相应的定理.圆满地解决了关系模式全部候选关键字的求解问题,具体地给出了以递归形式的求全部候选关键字的新算法.     

面向XML文档的BLP模型在档案管理系统中的应用

档案管理系统安全性的核心内容就是档案文件的访问控制,针对档案管理的特殊要求对BLP(Bell-LaPadula)模型进行改进,描述基于改进的BLP模型的XML文档细粒度访问控制策略,并给出了该策略在档案管理系统中的实现方法。该策略既保证了档案管理系统的机密性,又满足档案借阅和细粒度访问的要求,在档案管理领域中有着较高的使用价值。