شنو نظرية كاب في علوم الكمبيوتر؟
Context:في علوم الكمبيوتر النظرية، نظرية CAP، والتي اسمه ايضاً نظرية برور بعد عالم الكمبيوتر اريك برور، تنص على ان اي مخزن بيانات موزعة يمكن ان يوفر اثنين فقط من الثلاثة ضمانات التالية:  تَسَاوِي كل قراءة تتلقى اخر كتابة او خطأ. التوافر كل طلب يحصل على رد (غير خاطئ) بدون ضمانة انه يحتوي على اخر كتابة. تَحَمُّلِ القسمةِ النظام يواصل التشغيل بالرغم من عدد تعسفي من الرسائل تُسقط (أو تتأخر) من الشبكة بين العقد. عِندَمَا يَحْدُثُ فَشْلُ مُقَسِّمِ الشّبكةِ، لا بُدَّ مِنْ تَقْرِيرِ إمّا انْ تَعْمَلَ واحد مِنْ التَّالِي:  يلغي العملية وبالتالي يقلل من التوافر لكن يضمن الاتساق يواصل العملية وبالتالي يوفر التوافر لكن يخاطر بالتناقض.  ولهذا، اذا كان هناك قسم شبكة، واحد لازم يختار بين التوافق او التوافر. لاحظ ان التوافق كما هو محدد في نظرية CAP مختلف تماما عن التوافق المضمون في معاملات قاعدة بيانات ACID.  اريك بريوير يجادل ان المفهوم المستخدم "اثنين من ثلاثة" يمكن ان يكون مضللا لانه مصممي النظام يحتاجون فقط للتضحية بالاتساق او التوافر في وجود القسمات، لكن في العديد من النظم القسمات نادرة.
نظرية كاب، والتي تسمى ايضا نظرية براور، تنص على ان مخازن البيانات الموزعة يمكن ان توفر اثنين فقط من ثلاث ضمانات: الاتساق، التوافر، وتسامح التقسيم. عندما يفشل قسم الشبكة، لازم يقرر اذا ما يلغي العملية او يمضي بالعملية. اريك بريور يجادل ان مفهوم "اثنين من ثلاثة" يمكن ان يكون مضلل.