[发明专利]基于分散模式验证XML文档

说明书

技术领域

本发明涉及验证由诸如XML之类的标记语言标记的文档。

背景技术

本节中描述的方法是可以追随的方法，而不是已被先前构思或者追随的必然方法。因此，除非另有陈述，不假定本节中描述的方法中的任何一个仅仅由于它们包含在本节中而获得现有技术的承认。

用于构成并描述数据的层次标记语言的使用在计算机产业得到广泛承认。标记语言的示例是XML。

利用层次标记语言构成的数据由节点组成。节点通过一对对应的开始和结束标志划界，其不仅划界节点，而且指定节点的名称。例如，在下面的结构化数据片段中，

<A><B>5</B><D>10</D></A>

开始标志<A>和结束标志</A>划界具有名称A的节点。

对应的标志之间的数据被称为节点的内容。节点的内容可以或者是标量值（例如，整数、文本串），或是一个或多个其它节点。仅仅包含标量值的节点这里被称为标量节点。包含另一个节点的节点这里被称为结构化节点。被包含的节点这里被称为后代节点。

除了包含一个或多个节点之外，结构化节点的内容也可以包括标量值。在节点中的此类内容这里被称为混合内容。

结构化节点因此形成具有多级节点的分层结构，所述结构化节点在顶层。在每个级别处的节点链接到不同级别处的一个或多个节点。在顶层以下的级别处的每个节点是在子节点上面的级别处的父节点的子节点。具有相同的父节点的节点是同属节点。父节点可以具有多个子节点。没有链接到它的父节点的节点是根节点，并且没有链接到它的子节点的节点是叶节点。例如，在结构化节点A中，节点A是在顶层处的根节点。节点B和D是A的后代和子节点，并且相对于彼此，节点B和D是同属节点。节点B和D也是叶节点。

发明内容

文档是一个或多个结构化节点的任意序列。文档可以被以各种格式存储。例如，文档可以被存储为文本文件，或文档可以被存储在XML数据库中的行的大对象（LOB）列中，或存储为可访问为互联网上的资源的网页。

创建符合计算设备被配置为处理的结构和约束的文档非常重要。文档模式是限制文档的结构和内容的一组规则。符合文档模式的文档这里被称为有效文档和文档模式的实例。

一般说来，模式是用于数据单元的结构和约束的一组规则。这里使用术语模式既指代单个模式，即，用于数据单元的单个类型的规则，或指代模式的集合，每个定义不同类型的数据单元。例如，术语模式可以指代多个文档模式或指代单个文档模式。

这里的模式和规则可以利用模式声明来表达。模式声明是根据模式标准和/或语言定义模式规则的表达式。

用于XML文档的模式标准是XML模式。控制XML模式的标准包括:XML模式，2001年5月2日，W3C推荐的第0部分、第1部分、第2部分，其内容通过引用合并于此；XML模式第1部分:2004年10月28日，W3C推荐，结构，第二版，其内容通过引用合并于此；XML模式1.1第2部分：2006年2月17日，W3C工作草案，数据类型，其内容通过引用合并于此；以及XML模式第2部分：2004年10月28日，W3C推荐，数据类型，第二版，其内容通过引用合并于此。在此文档中所述的XML模式不局限于W3C XML模式，而是包括用于描述XML文档的结构的和/或类型信息的任何其它机制，例如，Relax NG。

XML模式提供这里称为文档集中模式的模式类型。在文档集中模式中，文档模式由明确地声明为文档模式的模式声明来定义。

验证是指确定文档或其部分是否符合模式的过程。已被确定符合文档模式的文档或其部分这里被称为被验证的。一般地，已经发展的验证机制擅长验证文档集中模式。但是，不是所有形式的模式是文档集中的，诸如在XAP专利申请中描述的分散形式。这里描述的是可以用来简化验证分散的文档模式的过程的技术。

基于上述，存在对用于根据分散文档模式高效地验证文档的技术和机制的需要。

附图说明

在附图中：

图1A和1B是描述根据本发明的实施例的具有类型和状态的元素的图。

图2是描述根据本发明实施例的包含作为元素的实例的节点的文档的图。

图3是描述根据实施例的用于收集规则以验证文档的文档规则收集数据结构的图。

图4是描述根据实施例的用于对文档的文档规则收集的技术的图。

图5是概述用于根据实施例的调度规则的技术的图。