"Albe Laurenz" <laurenz.albe@wien.gv.at> wrote:
> I read the example carefully, and it seems to me that it is
> necessary for the read-only transaction (T3) to be SERIALIZABLE so
> that T1 is aborted and the state that T3 saw remains valid.
Correct.
> If I understand right, I agree with your correction.
:-)
-Kevin