کمپیوٹر سائنس میں CAP تھیوریم کیا ہے؟
نظریاتی کمپیوٹر سائنس میں، سی اے پی تھیوریم، جسے کمپیوٹر سائنسدان ایرک بریور کے نام پر بریور کا نظریہ بھی کہا جاتا ہے، کہتا ہے کہ کوئی بھی تقسیم شدہ ڈیٹا اسٹور درج ذیل تین میں سے صرف دو ضمانتیں فراہم کر سکتا ہے: مستقل مزاجی ہر پڑھنے کو تازہ ترین تحریر یا غلطی موصول ہوتی   ہے  ۔  دستیابی  ہر درخواست کو ایک (بغیر غلطی) جواب ملتا ہے، اس ضمانت کے بغیر کہ اس میں حالیہ تحریر شامل ہے۔  تقسیم رواداری  نوڈس کے درمیان نیٹ ورک کی طرف سے من مانی تعداد میں پیغامات گرائے جانے (یا تاخیر) کے باوجود نظام کام کرتا رہتا ہے۔  جب نیٹ ورک پارٹیشن کی ناکامی ہوتی ہے تو، یہ فیصلہ کرنا ضروری ہے کہ آیا درج ذیل میں سے کوئی ایک کرنا ہے:   آپریشن کو منسوخ کریں اور اس طرح دستیابی کو کم کریں لیکن اس بات کو یقینی بنائیں کہ  آپریشن کے ساتھ تسلسل برقرار رہے اور اس طرح دستیابی فراہم کریں لیکن عدم مطابقت کا خطرہ۔   اس طرح، اگر نیٹ ورک کی تقسیم ہے، تو کسی کو مستقل مزاجی یا دستیابی کے درمیان انتخاب کرنا ہوگا۔ نوٹ کریں کہ مستقل مزاجی جیسا کہ CAP تھیوریم میں بیان کیا گیا ہے ACID ڈیٹا بیس کے لین دین میں ضمانت دی گئی مستقل مزاجی سے بالکل مختلف ہے۔   ایرک بریور کا استدلال ہے کہ اکثر استعمال ہونے والا "تین میں سے دو" کا تصور کسی حد تک گمراہ کن ہوسکتا ہے کیونکہ سسٹم ڈیزائنرز کو صرف پارٹیشنز کی موجودگی میں مستقل مزاجی یا دستیابی کی قربانی دینے کی ضرورت ہوتی ہے، لیکن یہ کہ بہت سے سسٹمز میں پارٹیشنز نایاب ہیں۔
CAP نظریہ، جسے Brewer's theorem بھی کہا جاتا ہے، یہ بتاتا ہے کہ تقسیم شدہ ڈیٹا اسٹور تین میں سے صرف دو ضمانتیں فراہم کر سکتے ہیں: مستقل مزاجی، دستیابی، اور تقسیم رواداری۔ جب نیٹ ورک پارٹیشن ناکام ہو جاتا ہے، تو یہ فیصلہ کرنا ضروری ہے کہ آپریشن کو منسوخ کرنا ہے یا آپریشن کو آگے بڑھانا ہے۔ ایرک بریور کا استدلال ہے کہ "تین میں سے دو" کا تصور گمراہ کن ہو سکتا ہے۔