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