نظرية كاب

في علم الحاسوب النظري، تنص نظرية كاب، والتي سميت أيضًا بنظرية بروير على اسم عالم الحاسوب إريك بروير، على أن أي مخزن بيانات موزع يمكنه توفير مضمونين فقط من بين الضمانات الثلاثة التالية:

 الاتساق
يتمكن كل طلب قراءة من الحصول على أحدث عملية كتابة أو رسالة خطأ.
 التوافرية
يتلقى كل طلب استجابة (غير خاطئ)، دون ضمان أنها تحتوي على أحدث عملية كتابة.
 تحمّل التقسيم
يستمر النظام في العمل رغم وقوع عدد عشوائي من الرسائل (أو تأخيرها) في الشبكة بين العقد.

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

 تفسير 
لا يمكن أن يكون أي نظام موزع آمنًا تمامًا من فشل الشبكة، لذلك عادة يجب تحمل تقسيم الشبكة. عند وجود التقسيم، يتبقى لدينا اثنتين من الخيارات: الاتساق أو التوافرية.

 مراجع 

تصنيف:حوسبة موزعة
تصنيف:نظم إدارة قواعد البيانات