[发明专利]用于建立可扩展业务应用的类型系统

权利要求书

1.一种方法，包括：

由计算机系统存储XML文档的一组XQuery状态；

由所述计算机系统在第一时间点确定该组XQuery状态的第一子集；以及

由所述计算机系统在第一时间点关于所述第一子集验证XML文档的实例，而不关于不在第一子集中的XQuery状态验证该实例。

2.如权利要求1所述的方法，进一步包括：

在第二时间点确定该组XQuery状态的第二子集，所述第二子集与第一子集不同；以及

在第二时间点关于所述第二子集验证该实例，而不关于不在第二子集中的XQuery状态验证该实例。

3.如权利要求2所述的方法，进一步包括：

存储XML文档的类型；以及

自动地在第一时间点和第二时间点关于该类型验证该实例。

4.如权利要求1所述的方法，其中，该组XQuery状态中的每个XQuery状态被存储为单独的可扩展标记语言(XML)文档。

5.如权利要求1所述的方法，其中，该组XQuery状态中的每个XQuery状态定义一组XQuery约束。

6.如权利要求5所述的方法，其中，该组XQuery约束中的每个XQuery约束是无副作用的布尔表达式。

7.如权利要求5所述的方法，其中，该组XQuery状态中的至少一个XQuery状态是层级中另一个XQuery状态的子状态，并且其中，由所述至少一个XQuery状态定义的该组XQuery约束包括从所述另一个XQuery状态继承的XQuery约束。

8.如权利要求5所述的方法，其中，关于第一子集验证该实例包括：关于由该第一子集定义的多组XQuery约束检查该实例。

9.如权利要求5所述的方法，其中，该组XQuery状态中的至少一个XQuery状态进一步定义一组XQuery计算。

10.如权利要求9所述的方法，其中，关于所述第一子集验证该实例包括：进行由该第一子集定义的多组XQuery计算。

11.如权利要求10所述的方法，其中，所述多组XQuery计算的结果存储在该实例的一个或多个域中。

12.如权利要求1所述的方法，其中，如果在第一时间点成功地验证了该实例，则以指示该实例关于第一子集有效的信息来标记该实例。

13.一种计算机可读存储介质，其上存储有可由计算机系统执行的程序代码，所述程序代码包括：

使所述计算机系统存储XML文档的一组XQuery状态的代码；

使所述计算机系统在第一时间点确定该组XQuery状态的第一子集，以验证所述XML文档的实例的代码；以及

使所述计算机系统在第一时间点关于该所述第一子集验证所述实例，而不关于不在第一子集中的XQuery状态验证该实例的代码。

14.如权利要求13所述的计算机可读存储介质，其中，所述程序代码进一步包括：

使所述计算机系统在第二时间点确定该组XQuery状态的第二子集以验证该实例的代码，所述第二子集与第一子集不同；以及

使所述计算机系统在第二时间点关于该第二子集验证该实例，而不关于不在第二子集中的XQuery状态验证该实例的代码。

15.一种系统，包括：

处理组件，被配置成：

存储XML文档的一组XQuery状态；

在第一时间点确定该组XQuery状态的第一子集以验证该

XML文档的实例；以及

在第一时间点关于该第一子集验证该实例，而不关于不在

第一子集中的XQuery状态验证该实例。

16.如权利要求15所述的系统，其中，所述处理组件进一步被配置成：

在第二时间点确定该组XQuery状态的第二子集以验证该实例，所述第二子集与第一子集不同；以及

在第二时间点关于该第二子集验证该实例，而不关于不在第二子集中的XQuery状态验证该实例。