• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Database and Expert Systems Applications; Lecture Notes in Computer Science; 4080 >A Prototype of a Schema-Based XPath Satisfiability Tester
【24h】

A Prototype of a Schema-Based XPath Satisfiability Tester

机译：基于模式的XPath可满足性测试器的原型

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

摘要

The satisfiability test of queries can be used in query optimization for avoiding submission and computation of unsatisfiable queries. Thus, applying the satisfiability test before executing a query can save evaluation time and transportation costs in distributed scenarios. Therefore, we propose a schema-based approach to the satisfiability test of XPath queries, which checks whether or not an XPath query conforms to the constraints in a given schema. If an XPath query does not conform to the constraints given in the schema, the evaluation of the query will return an empty result for every XML document. Thus, the XPath query is unsatisfiable. We present a complexity analysis of our approach, which proves that our approach is efficient at typical cases. We present an experimental analysis of our developed prototype, which shows the optimization potential of avoiding the evaluation of unsatisfiable queries.
机译：查询的可满足性测试可用于查询优化中，以避免提交和计算不满意的查询。因此，在执行查询之前应用可满足性测试可以节省分布式方案中的评估时间和运输成本。因此，我们为XPath查询的可满足性测试提出了一种基于模式的方法，该方法检查XPath查询是否符合给定模式中的约束。如果XPath查询不符合架构中给出的约束，则查询的评估将为每个XML文档返回空结果。因此，XPath查询是无法满足的。我们介绍了我们的方法的复杂性分析，这证明了我们的方法在典型情况下是有效的。我们对我们开发的原型进行了实验分析，显示了避免评估不满意查询的优化潜力。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号