13、数据仓库在维护连接视图时的独立性及启发式算法设计

数据仓库在维护连接视图时的独立性及启发式算法设计

1. 连接差异文件（JDF）相关概念及算法

1.1 JDF 时间戳与去重

JDF 中的元组会附加时间戳 $TS_j$，其中上标 $j$ 代表 JDF。为简化处理，通常假设 $TS_j = TS$。在维护 JDF 时，需要消除重复元组。筛选重复元组有多种方法，这里采用特定方法。

1.2 算法介绍

1.2.1 AppendJDF 算法

该算法用于向 JDF 追加元组，具体步骤如下：
1. 检查 $dR_i$ 中是否存在 RI 触发器。
2. 若触发器为插入操作，则执行下一步；否则，跳到步骤 5。
3. 将触发器指示的元组追加到 $jR_j$ 中。
4. 执行 DeleteJDF 算法。
5. 结束。

Algorithm AppendJDF
Input: jRj, the RI trigger in dRi
Output: Consistent jRj
Method:
[1] If there is an RI trigger in dRi, do
[2] If the trigger is an insert, else [5]
[3] Append the tuple that the trigger indicates in the jRj.
[4] Do the DeleteJDF
[5] End

1.2.2 DeleteJDF 算法

此算法用于消除重复元组，防止 JDF 不断增大