前回のポストで書いた、アプリケーションに対するゼロ知識がどれくらい強い制限なのかについての補足です。 ちなみに、前回のポストのメインの主張（以下）には反例がありそうでした。こちらは後日まとめたいと思います。 アプリケーションプログラムに対す…

1行で アプリケーションプログラムに対する知識（前提）をスケジューラが持たない場合、アプリケーション（複数）が発行する各トランザクションを、直列化可能なスケジュールで並行にかつ常に成功裡に実行・完了させることはできない。 <追記 2020-04-29>反…