... $r \subseteq_{B} s \Rightarrow r \cap_{B} s=r$¹

$r \subseteq_{B} s$ si $(\forall x \cdot x \in r \cdot \sharp_{x}(r)\leq \sharp_{x}(s))$.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... planificador²

En caso de que el planificador tenga que abortar una transacción, esta no se reiniciará.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.