CPA定理

CPA定理は、次の3つの性質は、同時に3つとも満たすことは、できない

というもの。

1.一貫性(Consisitency)

システムにあるオペレーションを行った後に

一貫性が保たれているか

分散システムで、一貫性を担保するためには

あるノードでupdateが発生すると、他のノードにも

その結果を反映しなければならない

2.可用性(Availability)

ノードの一部が故障しても

システムとしては、稼動し続けなければならない

3.分断耐性(Partition Tolerance)

ネットワークが分断しても、システムとしては

稼動し続けなければならない



NoSQLは、3つのうち、1つを諦め、残りの2つを満たすように設計されている

どの2つを満たすか、により、NoSQLも分類できる。