摘要： 数据流分析可以归结为求数据流方程组的最小解。我们引进"影响"的概念,并证明数据流方程组的最小解可以由影响的迭加得到。我们将证明:为了求到影响的迭加,只需要求出一系列显式Boole方程组的解。本文还将给出构造这种显式Boole方程组的一个方法。