前回のポストで、アプリケーションに対するゼロ知識モデルではトランザクション間に隠れた制約（hidden restrictions）があると考えざるを得ないと書きました。 本ポストでは、トランザクション間の隠れた制約（が限定的であること）をどのように表現してス…

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

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