24、设计全局数据仓库与流程模型结构冲突识别

设计全局数据仓库与流程模型结构冲突识别

在数据仓库（DW）设计和流程模型验证领域，有许多关键技术和算法值得深入探讨。下面将详细介绍数据仓库设计相关的内容，包括状态空间搜索建模、算法实现以及实验结果，还有流程模型中结构冲突识别的方法。

数据仓库设计

状态空间搜索建模

数据仓库设计问题可建模为状态空间搜索问题。一个状态 $s$ 是一个数据仓库配置 $C =< GV, QV >$，其中特定状态 $< GQ, QQ >$ 被称为初始状态，记为 $s_0$。每个状态 $s$ 都通过函数 $cost(s)$ 关联一个成本，即数据仓库配置 $C$ 的操作成本 $T (C)$；还通过函数 $size(s)$ 关联一个大小，也就是物化视图 $V$ 所需的空间 $S(V)$。

如果通过对 $< GV, QV >$ 应用五个转换规则中的任何一个可以得到 $< GV’, QV’ >$，则存在从状态 $s =< GV, QV >$ 到状态 $s’ =< GV’, QV’ >$ 的转换 $T (s, s’)$。若存在对视图 $V$ 的重命名，使得 $GV$ 和 $GV’$ 相同，并且对于每个 $QV_i \in QV$，$QV_i$ 和 $QV’_i$ 等价，则两个状态 $s$ 和 $s’$ 是等价的。

将状态视为节点，状态之间的转换视为有向边，搜索空间是一个由初始状态和通过所有可能转换方式从初始状态可达的状态所确定的有向图。等价状态在搜索空间中由同一个节点表示，显然搜索空间是以 $s_0$ 为根的有向无环图。状态的成本和大小在从一个状态转换到另一个状态时是增量计算的，通常转换规则只会影响 $