r）则是使用联集，而他的分析则是正向流动。定义可达性被使用在计算UD链以及DU链。资料流方程式，给定一个基本区块 formula_1在定义可达性：换句话说，定义可达性的集合为formula_1，formula_5为formula_1的前身，在控制流程图（Control flow graph）中，formula_5包含所有在formula_1区块前的基本区块。定义可达性出来的formula_1，为所有定义可达性自己前身减掉那些被formula_1剃除掉的变数，再加上formula_1产生的新的定义。