ぱと隊長日誌

ブログ運用もエンジニアとしての生き方も模索中

2018-03-31から1日間の記事一覧

エルブラン・セマンティクス(Herbrand Semantics)理解メモ

はじめに データベースのトランザクション(特にスケジュール)の理論を勉強しようとすると、エルブラン・セマンティクス(Herbrand Semantics)の理解が必要となります。Herbrand Semantics の解説は以下の本・章にあります。Transactional Information Syste…