Anomaly
In-Formal:
Reads-Fromに異常があること．
異常とは，直列実行では起こりえないもののこと．
つまり，「直列実行では読みえないものを読んだ」こと．
Formal:
あるヒストリ$ Hについて，
$ Hと同じ要素からなる(順序性が異なり，同じ命令からなる)すべてのSerial Monoversion History $ mについて，
Reads-Fromが一致する組み合わせが存在しないこと．
$ \exists m (op(m) \equiv op(H) \land m \approx_{RF} H)
Oracle:
ANSI Isolation Level Standardで規定しているバグが発生すること．
転じて，ANSIの規定したバグがないことをANSI Serializableとでも呼びたい．