yuyubu https://blog.hatena.ne.jp/yuyubu/ 誰にも見えないブログ https://yuyubu-sub.hateblo.jp/ database book 勉強会 transaction 今日はCSRの定義が3つもあることを知ることができた。雑なので後日結構手を入れてfixするかも。 connpass.com Conflicts and Commutativity(可換を使ったCSRの2つ目の定義) 定理2.9s~*s'が成り立つ ↔︎s とs'がConflict equivalentである 新しい定義を使ったuninterpretend modelのvalidation ConflictとProjectionsをつかったCSRの定義(3つ目) 新しい概念の定義 monotonicとVSR/CSRの関係性 定理2.10:sが任意のprojection でVSRである ↔︎ sが… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyuyubu-sub.hateblo.jp%2Fentry%2F2019%2F12%2F04%2Fpapa16" title="Papadimitriou - Theory of Database Concurrency Control読書会16回:CSRの様々な定義,monotonic等 - 誰にも見えないブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/y/yuyubu/20191204/20191204210408.jpg Hatena Blog https://hatena.blog 2019-12-04 19:02:34 rich https://yuyubu-sub.hateblo.jp/entry/2019/12/04/papa16 1.0 100%