分離性

同時に実行しても、それぞれのトランザクションを重なりなく順番に実行した場合と同じ結果になることを直列可能（serializable）であると呼びます。
分離性は、この直列可能性を保証するものです。