Achsen als Relationen (III)

was ist following (R) ? (großes R, wegen r $ \subseteq$ R)

Definition: alle Knoten, die nach dem End-Tag des Kontextknotens beginnen

R = (C-)*oroC*

das ergibt vollständige Fallunterscheidung: für beliebige Knoten (Positionen) x, y gilt genau eines von:

x = y,(x, y) $ \in$ C+,(x, y) $ \in$ (C-)+,(x, y) $ \in$ R,(x, y) $ \in$ R-



Johannes Waldmann 2006-02-02