トランザクションを並行に実行した結果が、トランザクションを直列実行した結果と等価になるスケジュール（のセット） 参考 - [http://www.bailis.org/blog/linearizability-versus-serializability/](http://www.bailis.org/blog/linearizability-versus-serializability/)