超越正向查询的数据交换设置查询
摘要：数据交换是将数据从源模式转移到目标模式的问题，已经研究了好几年。早期的工作中已经定义了对于目标模式上的正查询的语义，但更一般的查询却受到了很少关注。有一些关于更一般查询的语义的提议存在，但它们要么没有适当地扩展在正查询下的标准语义，从而导致反直觉的答案，要么使得查询回答在最重要的数据交换设置（例如，具有弱无环依赖）下不可判定。本文的目标是为数据交换提供一种能够处理一般查询的新语义。同时，我们希望我们的语义在关注正查询时与经典语义相一致，并且在查询回答的复杂性方面不做太多的交换。我们证明了在新语义下一般情况下查询回答是不可判定的，但在依赖项是弱无环时是$coNPcomplete$的。此外，在后一种情况下，我们证明了在我们的语义下精确答案可以通过具有选择的逻辑程序计算得出，从而利用现有的高效系统。为了更高效地计算，我们还证明了我们的语义允许构建一个代表性的目标实例，类似于通用解，可以在多项式时间内用于计算近似答案。在逻辑编程的理论与实践(TPLP)中考虑中。
作者：Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna
论文ID：2307.03071
分类：Databases
分类简称：cs.DB
提交时间：2023-07-07