現在5章を読む勉強会に参加していますが、 5章まで全部読めていません。最近読めていないところを見直すと、理解を曖昧にしていた用語の定義が前半の方に乗っていたので、この際全部調べて定義の掲載箇所を一覧できるものを作ってみました。 下表を参考におっ、こんな定義も乗ってたか!という感じで使ってもらえると嬉しいです。*1 DEFINITION page 2.1 Partial Order 46 2.2 Page Model Transaction 46 2.3 Object Model Transaction 51 3.1 Schedules and Histories 66 3.2 Serial History 67 3.3 Herbrand Semantics of Steps 74 3.4 Herbrand Universe 75 3.5 Schedule Semantics 76 3.6
![weikum本に記載されている全定義の一覧リスト - Yabu.log](https://cdn-ak-scissors.b.st-hatena.com/image/square/cecdffa5d2be5227245e6255f0b2d79ec853b714/height=288;version=1;width=512/https%3A%2F%2Fimages-fe.ssl-images-amazon.com%2Fimages%2FI%2F51YKqV6P5BL._SL160_.jpg)