显微镜下的数据交换追逐
The data-exchange chase under the microscope
摘要：
在本文中，我们仔细看看最近的发展追逐程序，并提供额外的结果。我们的分析使我们能够创建一个分类的追逐变化和他们满足的属性。关于追逐的两个最核心的问题是终止，以及发现保证追逐终止的依赖集的受限类。搜索受限类的动机是最近的一个结果，该结果表明，确定具有给定依赖集的追逐是否会在给定实例上终止是不可判定的。这里有一个小的不协调，因为一直在寻求依赖集的类，保证在所有实例上的追逐的终止，即使后一个问题并不知道是不可判定的。我们在本文中解决的不和谐表明，确定是否与一组给定的依赖关系的追逐终止在所有的实例是核心完成。对于硬度的证明，我们使用的减少从字重写系统，从而也显示了密切的联系之间的追逐和字重写。同样的约简也给我们带来了前面提到的依赖实例的RE完备性结果作为副产品。对于保证终止所有实例的限制类之一，分层集依赖，我们提供了新的复杂性测试问题的结果是否一组给定的依赖属于it.These结果纠正了一些以前的索赔，已发生在文献中。
英文摘要：
In this paper we take closer look at recent developments for the chase procedure, and provide additional results. Our analysis allows us create a taxonomy of the chase variations and the properties they satisfy. Two of the most central problems regarding the chase is termination, and discovery of restricted classes of sets of dependencies that guarantee termination of the chase. The search for the restricted classes has been motivated by a fairly recent result that shows that it is undecidable to determine whether the chase with a given dependency set will terminate on a given instance. There is a small dissonance here, since the quest has been for classes of sets of dependencies guaranteeing termination of the chase on all instances, even though the latter problem was not known to be undecidable. We resolve the dissonance in this paper by showing that determining whether the chase with a given set of dependencies terminates on all instances is coRE-complete. For the hardness proof we use a reduction from word rewriting systems, thereby also showing the close connection between the chase and word rewriting. The same reduction also gives us the aforementioned instance-dependent RE-completeness result as a byproduct. For one of the restricted classes guaranteeing termination on all instances, the stratified sets dependencies, we provide new complexity results for the problem of testing whether a given set of dependencies belongs to it. These results rectify some previous claims that have occurred in the literature.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
