The methods described in this section calculate a spanning
tree for each NC replica graph and
create corresponding nTDSConnectionobjects
that "imply" the corresponding spanning tree edges.
This pseudocode utilizes a type SEQUENCE<X>, which is
a sequence of values of a given type X. Values of type X can be appended to and
removed from the sequence. If s is a value of type SEQUENCE<X>, s[i]
is the i'th value in s, such that 0 ≤ i < |s|.