The two rules ensure that one-copy serializability is maintained.
2つのルールにより単一コピー直列化可能性が維持されることが保証される。