13、数据与模式演化及 XML 机器相关研究

数据与模式演化及 XML 机器相关研究

1. 数据与模式演化

在流系统中，数据和模式的演化是一个重要的研究方向。为了支持这种演化，引入了带重音流的概念。

1.1 带重音流的处理

对于操作符 Op，存在一个交换图（如图 3 所示）。在图中，顶部是对带重音的输入流 $\tilde{S}_i$ 进行 Op 操作，输出带重音的流 $\tilde{T}_i$；底部是对输入流的规范版本 $S_i$ 进行操作，得到规范的输出流 $T_i$。可以通过对带重音流两端进行规范化来证明其等价性。

具体的操作规则如下：对于 $[[d, \varpropto(X, \alpha, \beta)]]$，如果 $X \in E$，则不输出重音；若 $d$ 引用了 $E$ 中的属性，则操作失败。由于正在计算部分聚合，需要维护包含部分聚合的窗口，并为这些窗口输出 $\beta(X)$。否则，传播一个新的 Alter Data 重音，该重音描述了数据变更演化后形成的组，且不应用 $\beta$。

1.2 正确性的概念

设 $s = (s_1, s_2, \ldots, s_n)$ 表示带重音流 $\tilde{S}$ 中相邻项的有限子流。该子流的替换是另一个有限子流 $t = (t_1, t_2, \ldots, t_n)$，使得在 $\tilde{S}$ 中用 $t$ 替换 $s$ 不会影响流的信息内容。例如，对于任何不匹配描述 $d$ 的元组 $t$，$([[d, e]], t)$ 是 $(t, [[d, e]])$ 的替换。

如果可以使用替换将一个带重音流的有限子流 $\tilde{S}$ 转换为另一个带重音流的有限子流