definition von strict

documents/musterloesung-db-klausur-b/musterloesung-db-klausur-b.tex

@@ -116,7 +116,7 @@ Papier machen und ein Foto schicken?
     \end{tabular}
 
 \subsection{Teilaufgabe d)}
-TODO
+Eine History $H$ ist $ST \Leftrightarrow w_j(x) < o_i(x): i \neq j \Rightarrow a_j < o_i(x) \lor c_j < o_i(x)$, wobei $o_i(x) \in \Set{r_i(x), w_i(x)}$
 
 \subsection{Teilaufgabe e)}
 Es muss nichts geändert werden?!?