背景 先日、CSR (Conflict Serializability)について説明しました。 今回は、CSRを満たすスケジューリングを動的に生成する方法について、整理してみます。 なお、ここで書くその方法とは、2PL (Two Phase Lock)なのですが、一応念のため書いておくと、2PC (…

背景 最近は、長期休暇を頂き、鬼怒川温泉に行っておりました。 旅館に来ると、学生の頃に旅館で合宿（仲良し研究室同士の研究会）がよくあったせいか、研究とか開発がしたくなります。 さて、前の記事でトランザクション理論を学習中と書きましたが、今回は…

背景 トランザクション理論の学習をしていて、「あるトランザクションスケジューリングが与えられた時に、それがView Serializableを満たすかを否かを明らかにするのは、NP完全問題」という一文が出てきて、そもそもNP完全問題って何だっけ？どれほど難しい…