Serializablitiyとは? 1. Final State Serializabilityについてポエムトランザクション Serializableとは何か 複数のトランザクションの実行スケジュールが渡された時、その挙動について論じる際の基準の1つがSerializabilityである。と、単純に一言で片付けば良いのだけれど実際にはこの中にも複数の階層と紆余曲折がある。それらについて追っていく。 Final State Equivalency さて、Writeする値はそのトランザクションがそれまでにReadしてきた値から算出された値なので、Write操作は「そこまでのReadを引数に取る多引数関数」と見なす事ができる。説明上、トランザクションの数字と関数に付ける識別子を揃えて表記する。例えばTx1が実行する操作を多引数関数で表す時はF1を用いる。そしてReadは「その前に行われたWr
![Serializablitiyとは? 1. Final State Serializabilityについて - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/cf6a0776b172bb7e854c53f028b829a7f062b01c/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9U2VyaWFsaXphYmxpdGl5JUUzJTgxJUE4JUUzJTgxJUFGJUVGJUJDJTlGJTIwJUVGJUJDJTkxLiUyMEZpbmFsJTIwU3RhdGUlMjBTZXJpYWxpemFiaWxpdHklRTMlODElQUIlRTMlODElQTQlRTMlODElODQlRTMlODElQTYmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPWJhZGUzY2VkOWU1MmQwYTRkYTQ0ZThiMWJhMjM5N2Nm%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDBrdW1hZ2kmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTg3YzA4OWRmOGJmMjU5MjljNWUzYzQ4ZmYyNGZhOGM0%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3D42e4866ae66b61281fbd070f6c636467)