32、XML 基于视图的树语言重写与 EHC 编辑算法

XML 基于视图的树语言重写与 EHC 编辑算法

XML 基于视图的树语言重写

在处理 XML 数据时，查询重写是一个重要的问题。这里主要围绕基于视图的树语言重写展开讨论。

首先定义了一些集合和操作。设 $\Phi_{k,b,m,r}$ 是 $\Sigma \cup \Sigma_b \cup \Sigma_r$ 上所有 k - 森林的集合，需满足以下条件：
1. 森林中所有模式的根节点为蓝色。
2. 总共有恰好 m 个节点为红色。
3. 其他所有节点为黑色。

从 $\star$ 操作的定义可知，$K \subseteq \Xi_{k,m,r} \setminus \Phi_{k,m,r}$。同时定义了操作符 $(.) {\neg b}$ 和 $(.) {\neg r}$，用于模式、模式集合、森林和森林集合，其定义方式与第 5 节类似。

辅助项

在构建过程中，需要用到以下几个集合：
- $B_L = {p \in \Upsilon_{k,b,m,r} : p_{\neg b} \in L}$，其中 $L \subseteq \Upsilon_{m,r}$。
- $B’ L = {p \in \Upsilon {k,b,m,r} : p_{\neg r} \in L}$，其中 $L \subseteq \Upsilon_{k,b}$。
- $C_L = {q \in \Phi_{k,b,m,r} : q_{\neg b} \in L}$，其中 $L \subseteq \Xi_{k,m,r} \setminus \Phi_{k,m,r}