41、数据仓库增量设计与UML类型规范构造型语义

数据仓库增量设计与UML类型规范构造型语义

1. 数据仓库增量设计的随机化方法

数据仓库是动态发展的，随着分析师需求的增长，需要满足新的查询，通常要物化新视图。从头重新实现数据仓库复杂且耗时，因此增量设计是更好的解决方案，其目标是最小化新查询的评估成本和新视图的维护成本之和。

1.1 模拟退火算法

模拟退火算法试图模拟晶体的退火过程，通过缓慢降低流体温度，使系统达到最小能量状态。在该算法中，状态的成本函数类似于晶体退火过程中的能量。模拟退火总是接受下坡移动（降低状态成本），也以一定概率接受上坡移动（增加状态成本），概率取决于多个参数。

模拟退火算法有两个嵌套循环：
- 内循环：温度保持恒定，下坡移动总是允许，上坡移动以依赖温度和新旧状态成本差的概率允许。当达到平衡条件时，内循环结束，然后降低温度，重新开始内循环。
- 外循环：当达到冻结条件时，外循环结束。

模拟退火算法的伪代码如下：

Input: initial state, initial temperature;
Output: minstate;
begin
    minstate := initial state; cost := Cost(initial state); mincost := cost;
    temp := initial temperature;
    repeat
        repeat
            newstate := state after random move; newcost := Cost(newstate);