17、结构递归模式的数据建模及其解决方案

结构递归模式的数据建模及其解决方案

1. 简单情况的模式信息等价性

在特定的简单情况条件下，图4中的模式与图2中的模式是信息等价的。这里有如下设定：
- R1代表原始模式中的类型R。
- 模式暗示了自然键属性的继承，包括R1.r0中的键属性（如R1.r0.xR, R1.r0.yR），R1.sr0列表成员按特定顺序的键属性（R1.sr0[i].xR, R1.sr0[i].yR），以及R1.sl中的键属性（R1.sl.xL, R1.sl.yL）。
- 存在包含约束R1.sl ⊆ D.l。
- 迭代聚合定义如下（其中ρ ∈ R，n ∈ {0, 1, 2, …} 是列表ρ.sr0的长度）：
- (F_{R1}(\rho) = f_R(F_{RL}^n(\rho), \rho.r0.xR, \rho.r0.yR, \rho.r0.aR0, \rho.r0.rR0))；
- (F_{RL}^i(\rho) = f_R(F_{RL}^{i - 1}(\rho), \rho.sr0[i].xR, \rho.sr0[i].yR, \rho.sr0[i].aR0, \rho.sr0[i].rR0)) ，对于每个 (i \in {1, …, n})；
- (F_{RL}^0(\rho) = f_L(\rho.sl.xL, \rho.sl.yL, \rho.sl.aL, \rho.sl.rL)[= \rho.sl.cL])。

信息等价通过以下映射实现：
- 对于类型L和D：双向恒等映射（见D的条件）。
- 类型R映射到R1的对应关系如下：
- (\Pi_{aR1,rR1,cR}(R_{orig}) \equiv R1)