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