直列化可能性ってUPDATEとSELECTのトランザクションがあったら分離レベル関係なく成り立たなくない？