分散型制御システムにおいて、ネットワークの分断(ネットワークパーティション)が発生した際の挙動を定義する理論はどれか。

CAP定理は、分散システムにおいて「一貫性」「可用性」「分断耐性」の3つのうち2つまでしか同時に満たせないことを示しています。