0. はじめに 過去の投稿の以下の主張の条件付き証明と条件を満たさない場合の反例の存在の証明です。 以下の4つの性質のうち、最大3つまでしか同時に満たせない、という主張。 スケジュールの直列化可能性 トランザクションの実行の並行性 トランザクション…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。