用于建立可扩展业务应用的类型系统

摘要

用于开发可扩展业务应用的平台(在此处被称为可扩展应用平台或XAP)。在一组实施例中，XAP可包括基于可扩展标记语言(XML)的应用模型，该模型被设计为支持高度的应用扩展性。例如，XAP应用模型可支持应用语义的声明性定义、应用数据和元数据的分离、以及允许数据对象实例(例如，XML文档)的约束和计算(例如，XQuery约束和计算)随时间改变的灵活的类型系统。在某些实施例中，可经由被配置成与类似电子表格的客户机侧用户接口互操作的服务器侧的数据库/应用引擎来实现该XAP应用模型。使用类似电子表格的UI，非编程人员可如传统业务应用一样建立、定制并运行在共享的数据库上工作的应用工作流。

主权项

一种用于关于存储的元素验证XML对象的计算机实施的方法，包括：存储描述能够出现在XML文档的集合中的元素实例的元素；其中，所述XML文档的集合中的每个XML文档包含文档元素实例，所述文档元素实例中的每个文档元素实例是所述元素中的一个元素的实例；其中，所述元素中的每个元素与各自的多个状态相关；其中，与所述元素中的一个元素相关的所述各自的多个状态中的每个状态在特定的时间点是激活的或未激活的，并且每个状态描述：一个或多个元素约束；或用于计算元素值的一个或多个公式；以及关于所述元素验证XML文档，其中验证XML文档包括：对于所述元素中的在所述XML文档中存在特定元素实例的特定元素，确定与所述特定元素相关的多个状态中的特定状态是激活的；以及响应于确定所述特定状态是激活的，根据与所述特定状态相关的任何约束和公式来验证所述特定元素实例。