• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Intelligent Information Systems >A sound and complete chase procedure for constrained tuple-generating dependencies
【24h】

A sound and complete chase procedure for constrained tuple-generating dependencies

机译：可靠且完整的追赶程序，用于受约束的元组生成依赖性

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

摘要

We present a chase procedure for solving the implication problem of constrained tuple-generating dependencies (ctgds), a general class of database dependencies that is also able to handle data and predicates on interpreted domains. Current chase procedures for ctgds are sound but not complete, in the sense that they are unguaranteed to stop successfully whenever implication is true. The procedure we present is sound and complete, the first to our knowledge. It follows a linear reasoning over constraint domains that have the Independence of Negative Constraints property. We then soundly extend this procedure by a disjunctive reasoning over unrestricted constraint domains. To achieve these results, we used a different approach. Previous chases act like a closure operator, whereas we used a goal-directed design.
机译：我们提出了一个追逐程序，用于解决约束元组生成依赖项（ctgds）的隐含问题，ctgds是数据库依赖项的通用类，它也能够处理解释域上的数据和谓词。当前对ctgds的跟踪过程是合理的，但还不完善，从某种意义上讲，它们不保证成功时就成功停止。我们所介绍的过程是健全而完整的，这是我们所知的第一个过程。它遵循具有负约束独立性属性的约束域的线性推理。然后，我们通过对无限制约束域进行析取推理来合理地扩展此过程。为了获得这些结果，我们使用了不同的方法。先前的追赶就像一个闭包运算符，而我们使用的是目标导向的设计。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号