19、典型 XML 视图更新详解

典型 XML 视图更新详解

1. 视图更新基础概念

在视图更新过程中，由于视图定义里基于上下文的生成机制，同一更新操作可能会多次应用于目标节点。例如，若 x 是一个绑定，基于上下文的生成产生了 < x(1), · · · > 和 < x(2), · · · > 两个元组，并且更新条件和目标都在 x 中，那么 x 会被相同的操作更新两次，每个元组触发一次操作。不过，我们假定仅考虑第一次应用的效果，其他应用的效果则被忽略。

基于目标路径 tp = v/e/Lt/θt 的结构，视图中不同类型的节点可能会发生更新：
- 当 Lt/θt ≠ φ 时，更新发生在 γ - 树内的节点。
- 当 tp = v/e 时，更新会添加或删除一个 γ - 树。
- 当 tp = v （此时， ¯ps = v ）时，更新会添加或删除一个 e - 树。

这里我们主要处理第一种情况，后两种情况留待后续研究。

2. 视图更新问题定义

• 精确翻译（Precise Translation） ：设 V 为视图定义， S 为 V 的源。 δV 是对