chase算法

chase是一种简单的定点算法测试测试，它强制执行数据库系统中数据依赖关系。它在数据库理论和实践中都起着重要作用。设计数据库的人员每天都直接或间接使用它，并且在商业系统中使用它来推理数据设计的一致性和正确性。chase在元数据管理和数据交换中的新应用仍在被发现。

例子、令R（A，B，C，D）是一个已知的关系图，它服从功能依赖集F = { A → B，B → C，CD→A }。假设R分解为三个关系模式S1 = { A，D }，S 2 = { A，C }并且S 3 = { B，C，D}。可以通过执行如下所示的chase来确定此分解是否无损。

此分解的初始表格为：

第一行代表S1。属性A和D的分量未下标，属性B和C的分量下标 i =1。第二行和第三行分别以相同的方式用S2和S3填充。

该测试的目标是使用给定的F证明t =（a，b，c，d）确实在R中。为此，可以通过应用F中的FD来等同于画面中的符号来跟踪画面。具有与t 相同的行的最终画面表示投影连接中的任何元组t 实际上都是R的元组。

要执行跟踪测试，首先分解F中的所有FD ，以便每个FD在“箭头”的右侧具有单个属性。（在此示例中，F保持不变，因为其所有FD都已经在右侧具有单个属性：F = { A → B，B → C，CD → A }。）

等号两个符号时，如果其中一个未下标，则使另一个符号相同，以便最终的表可以具有与t =（a，b，c，d）完全相同的行。如果两个都有自己的下标，则将其中一个更改为另一个。但是，为避免混淆，应更改所有情况。

首先，将A → B应用于画面。第一行是（a，b 1，c 1，d），其中a是未下标的，而b 1下标为1。将第一行与第二行进行比较，将b 2更改为b 1。由于第三行具有3，因此第三行中的 b保持不变。产生的画面为：

然后考虑B → C。第一行和第二行都具有b 1，请注意，第二行具有未下标的c。因此，第一行变为（a，b 1，c，d）。然后产生的画面是：

现在考虑CD → A。第一行具有未下标的c和未下标d，与第三行相同。这意味着第一行和第三行的A值也必须相同。因此，改变一个3在第三行中，以一个。产生的画面为：

此时，请注意第三行是（a，b，c，d），它与t相同。因此，这是在给定R和F的情况下进行追赶测试的最终画面。因此，无论何时将R投影到S 1，S 2和S 3上并重新结合，结果都在R中。特别是，生成的元组与投影到{ B，C，D }上的R的元组相同。