CAP定理

ネットワーク分断のある分散システムでは、Consistency(一貫性)とAvailability(可用性)を同時には完全に満たせず、どちらかを優先せざるを得ない、という有名な命題。実務ではPACELC等の精緻化や、結果整合性とのトレードオフが議論される。