 கணினி அறிவியலில் CAP தேற்றம் என்றால் என்ன?
கோட்பாட்டு கணினி அறிவியலில், CAP தேற்றம், கணினி விஞ்ஞானி எரிக் ப்ரூவரின் பெயரால் ப்ரூவரின் தேற்றம் என்றும் பெயரிடப்பட்டது, எந்தவொரு விநியோகிக்கப்பட்ட தரவுக் கடையும் பின்வரும் மூன்று உத்தரவாதங்களில் இரண்டை மட்டுமே வழங்க முடியும் என்று கூறுகிறது: நிலைத்தன்மை ஒவ்வொரு வாசிப்பும் மிக சமீபத்திய எழுத்து அல்லது பிழையைப் பெறுகிறது. கிடைக்கும் தன்மை ஒவ்வொரு கோரிக்கையும் (பிழை இல்லாத) பதிலைப் பெறுகிறது, அதில் மிகச் சமீபத்திய எழுத்து உள்ளது என்ற உத்தரவாதம் இல்லாமல். பகிர்வு சகிப்புத்தன்மை கணுக்களுக்கு இடையே நெட்வொர்க் மூலம் தன்னிச்சையான எண்ணிக்கையிலான செய்திகள் கைவிடப்பட்டாலும் (அல்லது தாமதமாகிவிட்டாலும்) கணினி தொடர்ந்து இயங்குகிறது. நெட்வொர்க் பகிர்வு தோல்வி ஏற்பட்டால், பின்வருவனவற்றில் ஒன்றைச் செய்ய வேண்டுமா என்பதைத் தீர்மானிக்க வேண்டும்: செயல்பாட்டை ரத்துசெய்து, இதனால் கிடைக்கும் தன்மையைக் குறைக்கவும், ஆனால் செயல்பாட்டின் சீரான தன்மையை உறுதிப்படுத்தவும், இதனால் கிடைக்கும் தன்மையை வழங்கவும், ஆனால் அபாயகரமான முரண்பாடுகளை வழங்கவும். எனவே, பிணைய பகிர்வு இருந்தால், நிலைத்தன்மை அல்லது கிடைக்கும் தன்மைக்கு இடையே தேர்வு செய்ய வேண்டும். CAP தேற்றத்தில் வரையறுக்கப்பட்டுள்ள நிலைத்தன்மை ACID தரவுத்தள பரிவர்த்தனைகளில் உத்தரவாதம் அளிக்கப்பட்ட நிலைத்தன்மையிலிருந்து முற்றிலும் வேறுபட்டது என்பதை நினைவில் கொள்ளவும். எரிக் ப்ரூவர் வாதிடுகையில், அடிக்கடி பயன்படுத்தப்படும் "மூன்றில் இரண்டு" கருத்து ஓரளவு தவறாக இருக்கலாம், ஏனெனில் கணினி வடிவமைப்பாளர்கள் பகிர்வுகளின் முன்னிலையில் நிலைத்தன்மை அல்லது கிடைக்கும் தன்மையை தியாகம் செய்ய வேண்டும், ஆனால் பல கணினிகளில் பகிர்வுகள் அரிதானவை.
CAP தேற்றம், ப்ரூவரின் தேற்றம் என்றும் பெயரிடப்பட்டது, விநியோகிக்கப்பட்ட தரவுக் கடைகள் இரண்டு மூன்று உத்தரவாதங்களை மட்டுமே வழங்க முடியும் என்று கூறுகிறது: நிலைத்தன்மை, கிடைக்கும் தன்மை மற்றும் பகிர்வு சகிப்புத்தன்மை. நெட்வொர்க் பகிர்வு தோல்வியுற்றால், செயல்பாட்டை ரத்து செய்யலாமா அல்லது செயல்பாட்டைத் தொடரலாமா என்பதை தீர்மானிக்க வேண்டும். எரிக் ப்ரூவர் "மூன்றில் இரண்டு" கருத்து தவறாக வழிநடத்தும் என்று வாதிடுகிறார்.