nobu-q https://blog.hatena.ne.jp/nobu-q/ nobu-qの日記 https://nobu-q.hatenadiary.org/ book 現在読んでるところ。6月末に読み終わるのを目標に頑張ってます。2章はこれからの議論の基本となる2つのモデル、page modelとobject modelの説明。Page modelではそれ以上分割できないreadとwriteのシーケンスを考える。この時、トランザクションはそれ以上分割できないread/writeの集合とread,readの順序を考慮しないpartial orderで定義される。これはreadとwrite、writeとwriteの順序関係さえ定義できれば結果に曖昧さが生じないから、partial orderで十分ということなんでしょうかね。Object modelではもう少し複… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnobu-q.hatenadiary.org%2Fentry%2F20090410%2F1239381005" title=" Transactional Information Systems 2章 - nobu-qの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-04-10 01:30:05 rich https://nobu-q.hatenadiary.org/entry/20090410/1239381005 1.0 100%