Si nous considérons un arbre comme un ensemble ordonné partiel, il devient un cas particulier de jointure-semi-réseau. Pour un joint-semi-réseau, nous voulons être capables de calculer la limite supérieure (unique) la moins haute de deux éléments (plus ou moins) efficacement. Dans le cas d'un arbre, une structure de données qui permettrait cela serait de stocker pour chaque élément dans le nœud correspondant un pointeur vers le parent et une mesure de distance vers la racine. (En fait, un étiquetage basé sur un tri topologique habituellement utilisé pour "une mesure de distance à la racine", en fait tout ce qui est nécessaire est un ordre partiel compatible qui peut être évalué efficacement).
Chaque jointure-semi-réseau fini peut être représenté comme un ensemble de sous-ensembles d'un ensemble fini avec confinement dans l'ordre de telle sorte que la plus petite borne supérieure soit donnée par l'union des ensembles. Par conséquent, la représentation de chaque élément par un nombre fini d'étiquettes et le calcul de la limite inférieure la plus haute par l'union des étiquettes correspondantes seraient une structure de données possible. (En regardant le complément, on voit qu'il serait également possible de définir la borne inférieure la plus basse comme intersection des balises correspondantes.) Une structure de données beaucoup plus courante consiste simplement à utiliser une matrice pour stocker tous les résultats de "a <= b "ou même tous les résultats de" join (a, b) ".
Cependant, utiliser une telle structure de données pour représenter un arbre serait assez étrange. Existe-t-il plus de structures de données arborescentes pour les demi-réseaux de jointures, qui permettent toujours (plus ou moins) un calcul efficace de la limite la plus haute (unique) de deux éléments? (Peut-être une sorte de graphique acyclique dirigé avec des informations supplémentaires dans les nœuds, similaire à la mesure de la distance à la racine de l'arbre?)