多分Polygraphについて書かれた２番目の日本語のエントリー。*1 polygraphとは compatible acyclic Pollygraph スケジュールをPolygraphに変換する方法 P(s)とcompatibleに必要なもう一つの制約 ScheduleからPolygraphを作成する具体例 ビジュアライズ 計算…

herbrand semanticsのメモです。主にFSRを理解するための準備です。このエントリはChristos Papadimitrioupapa:Theory of Database Concurrency Control(通称papa本)の5~9ページのまとめです。 transactionとreadとwrite interpretation 同じentityへの各dat…

人身事故の影響で開始時間が遅れたため、あまり進んでいません(まだ1章を読み切っていない) P8 SchedulesからP12 Proposition 1.1まで読みました。 Schedules interpretationの拡張 Schedulers graph directed graph orderdとcycleの関係 様々なCycle knot T…

現在5章を読む勉強会に参加していますが、 5章まで全部読めていません。最近読めていないところを見直すと、理解を曖昧にしていた用語の定義が前半の方に乗っていたので、この際全部調べて定義の掲載箇所を一覧できるものを作ってみました。 下表を参考にお…

TREE系のindexやODBの継承関係をもつテーブル等、木のデータ構造を持つオブジェクトをロックする方法としてTREE LOCKという方法がある 単純にオブジェクト全体をロックするよりも、このロックを使ったほうがパフォーマンスが良い場合がある。 TREE LOCKのプ…

Concurrency Control and Recovery in Database Systemsを読む勉強会です。 内容としてはロックのパフォーマンスに関してです。今回のポイントは競合の種類(Resource/Data)と競合を回避する手段(abort/block)がメインだと思います よくわからない箇所があっ…