関係スキーマに関する冗長性の除去，つまり正規化のお話．というか，そこに至るまでの準備のお話．

デッドロックの解決に関する部分．グラフを作ってループしなければいい，というアルゴリズムはすぐに思いつく方法だけれど，タイムスタンプを使う方法は知らなかった．デッドロックって恐ろしい名前だけど，デッドロックフリーじゃないデータベースなんてデ…