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