BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Database Concurrency Control Papadimitriou 読会(43回)
X-WR-CALNAME:Database Concurrency Control Papadimitriou 読会(43回)
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:802977@techplay.jp
SUMMARY:Database Concurrency Control Papadimitriou 読会(43回)
DTSTART;TZID=Asia/Tokyo:20210210T190000
DTEND;TZID=Asia/Tokyo:20210210T210000
DTSTAMP:20260407T230625Z
CREATED:20201216T142522Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/80297
 7?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nTheory of Databa
 se Concurrency Control\nChristos Papadimitriou\nhttps://www.amazon.co.jp/
 Database-Concurrency-Control-Christos-Papadimitriou/dp/0881750271/ref=sr_
 1_1?ie=UTF8&qid=1552962178&sr=8-1&keywords=Papadimitriou\n<目的>\nTheor
 y of Database Concurrency Control（Christos Papadimitriou）以下Papa
 本を丁寧に読むことにより、トランザクション理論を
 できる限り厳密に理解し、今後のMVCC/メニーコア/大容
 量メモリー/低遅延分散での新しいDBの流れ/実装・理論
 について、周りの割と適当な雰囲気に流されるのでは
 なく、批判的に評価しかつ新しい理論・実装を行う基
 礎を習得することを目指す。\n<ご案内>\n現在、データ
 ベースのトランザクションを学ぶのであれば、まずTran
 sactional Information Systemsは基本になります。いわゆるWeiku
 m本とかTX本とか言われるものですね。\nhttps://www.amazon.c
 o.jp/Transactional-Information-Systems-Algorithms-Concurrency/dp/15586050
 88/ref=sr_1_1?ie=UTF8&qid=1552962116&sr=8-1&keywords=transactional+inform
 ation+systems\n確かにこの本は基礎からMVCC、リカバリーま
 ですべてを網羅して、その理論までしっかり解説して
 います。しかしながら、その一方でこの本は、特に「
 厳密性」という意味では多少適当に目をつぶっている
 嫌いがあります。これはそこまでやるとちょっとやり
 すぎという配慮もあると思われます。\n他方、実際の
 データベースの開発状況を見ると、現在データベース
 は、その成立以来の大幅な環境の変化、すなわちディ
 スクベースのアーキテクチャから、メモリーベースの
 アーキテキクチャへの変更を迫られており、その理論
 も大きなゆさぶりを受けています。ディスクベース/シ
 ングル（少数）コア/単一ノードの前提は、monoversion/CSR
 と表裏一体であり、また、メモリーベース/メニーコア
 /分散ノードは、multiverion/MVSRがその枠組みになります
 。基本のMVの理論は、monoversionからの延長でできており
 破綻気味になっています。本来であればmultiverionの制
 限版としてmonoversion/CSRが検討されるべきですが、その
 ようにはなっていないのが現状です。\nこのような状
 況で、仮に大幅な理論の改訂があるのであれば、すな
 わちTX本の大幅改訂レベルの理論の更新があるのであ
 れば、それは相応に厳密な考え方・表記に裏打ちされ
 、理解・整理されることが必要です。特にメモリーベ
 ースの考え方の表裏一体としての分散処理の立ち現れ
 があるのであれば、なおさら理論の厳密さが要求され
 ます。エンジニアリングでどうにかするという話は「
 そのあと」の話です。\nPapa本は、誤解/語弊出まくり前
 提でぶっちゃけていえば“数学的な厳密さを基本”に
 しています。（とくに数学関係者には比較的受けがよ
 い印象がある。・・・ということはそれ以外の人にと
 ってどういう印象になるかは推して知るべし）著者のP
 apadimitriouはcomputational complexity theoryの教科書でつとに有
 名で、むしろTxというよりもそっちの人です。この本
 も実態としては、Phil BernsteinのCC本の理論的土台の提供
 が目的でしょう。論文やいろいろ参照するに、MVCC系は
 P.B.とPapaの両者で作ったという方が解釈の方がよい気
 がします。\nということで、こいつを丁寧に読みます
 、というか丁寧に読まないとなにがなんだかわかりま
 せん。P.B.のCC本にしろ/WeikumのTX本にしろ、面倒な証明
 のところは全部Papaのパクリ（含む図まで＋なんかちょ
 っと間違ったというか、理解できないままでの引用っ
 ぽいのだが。まじか。）なので、そういう位置づけで
 す。\n基本隔週の水曜日に決め打ちでやりますが、多
 少事情でスキップがあります。\n来たい人来てくださ
 い。
LOCATION:ノーチラス 東京都品川区北品川1-19-5
URL:https://techplay.jp/event/802977?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR