Data dependence graph

Data dependence graph --- граф зависимости по данным.

By the data dependence graph of the program we mean a digraph, where the vertices correspond to the (assignment) statements in the program, and there is an arc from a vertex [math]\displaystyle{ S }[/math] to a vertex [math]\displaystyle{ T }[/math] iff [math]\displaystyle{ T }[/math] depends on [math]\displaystyle{ S }[/math]; i.e. [math]\displaystyle{ S \delta T }[/math], [math]\displaystyle{ S \bar{\delta} T }[/math] or [math]\displaystyle{ S \delta^{o} T }[/math]. Each arc may be labeled with information about the type of dependence and other information.