Chase 过程的剖析

近年来，围绕 Chase 过程开展了大量研究活动，因其在数据集成、数据交换、查询优化、对等数据交换和数据对应等方面具有实用性。随着多个研究小组和作者对 Chase 进行深入调查和进一步发展，出现了多种 Chase 变体并获得了相关结果。由于该领域的异质性，经常难以核实每个结果的适用范围。在本文中，我们仔细审视了近期进展并提供了额外结果。我们的分析使我们能够建立 Chase 变体及其满足属性的分类体系。关于 Chase 的两个最核心问题是终止性，以及发现能保证 Chase 终止的受限依赖集类。寻找受限类的动机源于一个较新的结果，该结果表明判定给定依赖集在给定实例上是否终止是不可判定的。此处存在细微的不协调，因为此前的探索旨在寻找能保证 Chase 在所有实例上终止的依赖集类，尽管后者问题当时尚未被确认为不可判定。本文通过证明判定给定依赖集是否在所有实例上终止是 coRE-完全的，从而解决了这一不协调。我们的归约方法也顺带得出了上述依赖于实例的 RE-完全性结果。对于其中一个受限类（分层依赖集），我们提供了测试给定依赖集是否属于该类的新复杂度结果。这些结果修正了文献中出现的一些先前主张。