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