停止追逐
摘要：用于修复数据库实例中的约束违规的追踪过程（chase procedure）算法于25多年前提出，并已成功应用于各种情况，如查询优化、数据交换和数据集成。然而，其可行性受限于一个事实，即对于任意一组约束条件，可能无法终止；更糟糕的是，一般情况下无法决定追踪终止问题。作为回应，数据库界提出了足够的限制条件来保证在任何数据库实例上追踪终止。在本文中，我们提出了一种新的足够终止条件，称为归纳约束（inductive restriction），它严格推广了以前的条件，但可以高效地进行检查。此外，我们阐述和研究了数据相关的追踪终止问题，并作为一个关键结果，提出了相对于固定实例的足够终止条件。它们比归纳约束更为通用，可能能够保证终止，即使在一般情况下追踪不能终止。
作者：Michael Meier and Michael Schmidt and Georg Lausen
论文ID：0901.3984
分类：Databases
分类简称：cs.DB
提交时间：2009-05-06