OleOleMGT,

Аномалия происходит из определения уровня изоляции serializable. Есть "слабое" определение (отсутствие фантомных чтений обычно, иногда - отсутствие еще каких-то аномалий). И есть "сильное" определение - результат выполнения аналогичен тому, как если бы все транзакции выполнялись строго последовательно (т.е. одна за другой). Пример (как минимум - третий) соответствует нарушению "сильного" определения (но подходит под "слабое").

Какой порядок транзакций может быть в "сильном" определении? Если Transaction 3 выполняется первой, она видит результат (0, 0). Если она же выполняется последней, результат будет (-10, 20) или (-11, 20). Остается два случая, когда Transaction 3 выполняется второй. Если порядок (Tx2, Tx 3, Tx 1), то Tx 3 прочитает (0, -11). Если же порядок (Tx 1, Tx 3, Tx 2), то Tx 3 прочитает (0, 20) но при этом конечный результат в базе будет (-10, 20) (а не (-11, 20)). В данном же случае получилось состояние, которое не соответствует ни одному из "строго последовательных" выполнений транзакции. Другими словами, аномалия. При этом аномалия не в том, что видит транзакция, а в комбинации прочитанного результата и конечного состояния базы.

Мне чем-то ваша аномалия напомнила write skew - тоже зависимости данных по чтению/записи.