Kompüter elmində pap teorem nədir?
Nəzəri kompüter elmində, kompüter alimi Eric Brewer-dən sonra Pivəye teoremi də pivə teoremi, hər hansı bir paylanmış məlumat mağazasının yalnız iki zəmanətdən yalnız ikisini təmin edə biləcəyini bildirir:

Ardıcıllıq
Hər oxu ən son yazma və ya bir səhv alır.
Mövcudluq
Hər bir sorğu, ən son yazını ehtiva edən zəmanət olmadan (səhvsiz) cavab alır.
Bölmə tolerantlığı
Sistem, şəbəkə arasındakı şəbəkə tərəfindən şəbəkə tərəfindən ayrılmış (və ya gecikmiş) mesajların ixtiyari sayına (və ya təxirə salınmasına) baxılmasına davam edir.
Şəbəkə bölməsinin çatışmazlığı baş verdikdə, aşağıdakılardan birini etməyiniz barədə qərar verilməlidir:

Əməliyyatı ləğv edin və bununla da mövcudluğu azaldır, lakin ardıcıllığı təmin edir
Əməliyyata davam edin və beləliklə mövcudluğu təmin edir, lakin uyğunsuzluğa risk edir.

Beləliklə, bir şəbəkə bölməsi varsa, ardıcıllıq və ya mövcudluq arasında seçim etmək lazımdır.Qeyd edək ki, qapaq teoremində müəyyən edilmiş ardıcıllıq turşu verilənlər bazası əməliyyatlarında zəmanətli olan ardıcıllıqdan tamamilə fərqlidir.

Eric Brewer, tez-tez istifadə olunan "üçdən ikisi" konsepsiyanın bir qədər yanlış ola biləcəyini iddia edir, çünki sistem dizaynerləri yalnız arakəsmələrin mövcudluğunda ardıcıllığı və ya mövcudluğuna ehtiyac duyur, lakin bir çox sistem arakəsmələrində nadirdir.
Pivə teoremi də adlandırılan, məlumat mağazalarının paylandığı piştaxt teoremi, yalnız üç zəmanətdən yalnız iki təmin edə bilər: ardıcıllıq, mövcudluq və bölmə tolerantlığı təmin edə bilər.Şəbəkə bölməsi uğursuz olduqda, əməliyyatı ləğv edib əməliyyata davam etmək qərarına gəlməlidir.Eric Brewer, "üçdən ikisindən ikisi" anlayışının yanlış ola biləcəyini iddia edir.