これは自作DBMSアドベントカレンダー2020、5 日目の記事です。 こんにちは、starpoz です。DBMS を作る人が増えてきたかも!という状況を後押ししたいので、自作に必要な理論の話をしてみようと思います。 はじめに DBMS 自作したいですよね!私は元々トランザクション処理 (OLTP) に興味があり、2PL (Two Phase Locking) プロトロルにおける deadlock というものが嫌で、それをなんとかしたい、という動機から OLTP についての研究開発活動を始めました。その話はまたどこかでするとして、今日は serializability (直列化可能性) よくわかりません、という人のために、できるだけ簡潔だが正しい説明を試みます。え?DBMSの自作は???と思ったかも知れませんが、理論を知らないと作れないので遠回りですが仕方ないのです(半分くらい嘘)。 Ser
![Multiversion View Serializability の簡潔な定義 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/c267de9f9e56a8fb47ecf5e309a9de8dde4c0293/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9TXVsdGl2ZXJzaW9uJTIwVmlldyUyMFNlcmlhbGl6YWJpbGl0eSUyMCVFMyU4MSVBRSVFNyVCMCVBMSVFNiVCRCU5NCVFMyU4MSVBQSVFNSVBRSU5QSVFNyVCRSVBOSZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9OGJmZTVhOWQ1MDY4YTE3ZWRhNjM5Y2UxZGM2ZjEyNzc%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBzdGFycG96JnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz02MjhiOWQ5MjA1Y2FiYTE2YzdhNjk5ZTYyOGM0NTA1YQ%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3Daf34316f05f2029d0ca01452533cb03c)