Теоремаи CAP-ро ба ман нақл кун.

CAP теоремаси, тақсимланган тизим бир вақтнинг ўзида учта хусусиятни кафолатлай олмайди:

• Мослик (Consistency) — барча узеллар бир вақтда бир хил маълумотни кўради.
• Мавжудлик (Availability) — ҳар бир сўров муваффақиятли ёки хато билан жавоб олади, узоқ кечикмаларсиз.
• Тармоқ бўлинишига тўғри келиши (Partition tolerance) — тизим тармоқ бўлинишига қарамай ишлай беришда давом этади (узеллар ўртасидаги боғланиш йўқолиши).

Тармоқ бўлиниши шартларида, тизим ё мосликни ёки мавжудликни таъминлай олади, лекин иккаласини бир вақтда эмас. Бу дизайнчиларни CP (Мослик + Бўлинишга тўғри келиши) ва AP (Мавжудлик + Бўлинишга тўғри келиши) тизимлари орасида танлов қилишга мажбур қилади.

misol:

• CP тизими: тармоқ бўлинишида, баъзи узелларни блоклайди, мосликни сақлаш учун, аммо қолиши мумкин.
• AP тизими: сўровларга жавоб беришда давом этади, аммо маълумотлар вақтинча номувофиқ бўлиши мумкин.

CAP теоремаси, тақсимланган маълумотлар базалари ва хизматларнинг лойиҳасида компромиссларни тушунишга ёрдам беради.