• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>ACM Transactions on Internet Technology >Impact of XML Schema Evolution
【24h】

Impact of XML Schema Evolution

机译：XML模式演变的影响

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We consider the problem of XML Schema evolution. In the ever-changing context of the web, XML schemas continuously change in order to cope with the natural evolution of the entities they describe. Schema changes have important consequences. First, existing documents valid with respect to the original schema are no longer guaranteed to fulfill the constraints described by the evolved schema. Second, the evolution also impacts programs, manipulating documents whose structure is described by the original schema. We propose a unifying framework for determining the effects of XML Schema evolution both on the validity of documents and on queries. The system is very powerful in analyzing various scenarios in which forward/backward compatibility of schemas is broken, and in which the result of a query may no longer be what was expected. Specifically, the system offers a predicate language that allows one to formulate properties related to schema evolution. The system then relies on exact reasoning techniques to perform a fine-grained analysis. This yields either a formal proof of the property or a counter-example that can be used for debugging purposes. The system has been fully implemented and tested with real-world use cases, in particular with the main standard document formats used on the web, as defined by W3C. The system precisely identifies compatibility relations between document formats. In case these relations do not hold, the system can identify queries that must be reformulated in order to produce the expected results across successive schema versions.
机译：我们考虑XML Schema演变的问题。在不断变化的网络环境中，XML模式不断变化，以应对它们描述的实体的自然发展。模式更改具有重要的后果。首先，不再保证相对于原始模式有效的现有文档满足由演化模式描述的约束。其次，演变还影响程序，处理程序的结构由原始模式描述的文档。我们提出了一个统一的框架，用于确定XML Schema演变对文档的有效性和查询的影响。该系统在分析各种方案时非常强大，在这些方案中，方案的向前/向后兼容性被破坏，并且查询结果可能不再是预期的结果。具体来说，该系统提供了一种谓语，该谓语允许人们制定与架构演变有关的属性。然后，系统依靠精确的推理技术来执行细粒度的分析。这将产生该属性的形式证明或一个可用于调试目的的反例。该系统已经完全实现并通过实际使用案例进行了测试，特别是使用了W3C定义的Web上使用的主要标准文档格式。该系统可精确识别文档格式之间的兼容性关系。如果这些关系不成立，则系统可以标识必须重新构造的查询，以便在连续的模式版本之间产生预期的结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号