For a rule r having n variables be the variables appearing in antecedent A i , and V(C) be the variables appearing in the consequent.
the dependency graph representation of the rule is we have a vertex for each variable in the rule, and connect any two vertices that appear together in the same antecedent, or that appear together in the consequent.