...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Information Systems >On the consistent rewriting of conjunctive queries under primary key constraints
【24h】

On the consistent rewriting of conjunctive queries under primary key constraints

机译：主键约束下的联合查询的一致重写

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This article deals with the computation of consistent answers to queries on relational databases that violate primary key constraints. A repair of such inconsistent database is obtained by selecting a maximal number of tuples from each relation without ever selecting two distinct tuples that agree on the primary key. We are interested in the following problem: Given a Boolean conjunctive query q, compute a Boolean first-order (FO) query ψ such that for every database db, ψ evaluates to true on db if and only if q evaluates to true on every repair of db. Such ψ is called a consistent FO rewriting of q. We use novel techniques to characterize classes of queries that have a consistent FO rewriting. In this way, we are able to extend previously known classes and discover new ones. Finally, we use an Ehrenfeucht-Fraisse game to show the non-existence of a consistent FO rewriting for 3x3y(R(x,y) ∧ R(y, c)), where c is a constant and the first coordinate of R is the primary key.
机译：本文涉及违反主键约束的关系数据库查询的一致答案的计算。通过从每个关系中选择最大数量的元组，而不必选择在主键上一致的两个不同的元组，可以修复这种不一致的数据库。我们对以下问题感兴趣：给定布尔联合查询q，计算布尔一阶（FO）查询ψ使得对于每个数据库db，当且仅当q在每次修复时对true求值，ψ对db的求值为true的数据库。这样的ψ称为q的一致FO重写。我们使用新颖的技术来描述具有一致的FO重写的查询类。这样，我们便可以扩展先前已知的类并发现新的类。最后，我们使用Ehrenfeucht-Fraisse博弈来证明不存在对3x3y（R（x，y）∧R（y，c））进行一致FO重写的情况，其中c为常数，R的第一个坐标为主键。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号