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