難しいけどなんとか付いていく感じです 前提 用語の定義等 entity read write transaction state integrity constraint consistent interpretation(Herbrand Semantics) classicalなconncurrency controlとの違い 議論 他 enumerable setとcounterble setの…