Pr-1st-1.1-m04-Slajd20

Relacje na etykietach wektorowych

Zdefiniujmy teraz relacje na zmiennych wektorowych $vClock_{i}[i]$ i $vClock_{i}[i]$, reprezentujących tablice [1.. n], w następujący sposób: $vClock_{i}=vClock_{j}\Leftrightarrow \forall kvClock_{i}[k]=vClock_{j}[k]$

$vClock_{i}\neq vClock_{j}\Leftrightarrow \exists kvClock_{i}[k]\neq vClock_{j}[k]$

$vClock_{i}\leq vClock_{j}\Leftrightarrow \forall kvClock_{i}[k]\leq vClock_{j}[k]$

$vClock_{i}\nleq vClock_{j}\Leftrightarrow \exists kvClock_{i}[k]\geq vClock_{j}[k]$

$vClock_{i}<vClock_{j}\Leftrightarrow \forall kvClock_{i}[k]\leq vClock_{j}[k]\land vClock_{i}\neq vClock_{j}$

$vClock_{i}\nless vClock_{j}\Leftrightarrow \neg (\forall kvClock_{i}[k]\leq vClock_{j}[k]\land vClock_{i}\neq vClock_{j})$

$vClock_{i}||vClock_{j}\Leftrightarrow vClock_{i}\nless vClock_{j}\land vClock_{j}\nless vClock_{i}$

<< Poprzedni slajd | Spis treści | Następny slajd >>