Context: Dalam ilmu komputer teoritis, teorema CAP, juga bernama teorema Brewer setelah ilmuwan komputer Eric Brewer, menyatakan bahwa setiap penyimpanan data terdistribusi hanya dapat memberikan dua dari tiga jaminan berikut: Konsistensi Setiap membaca menerima tulisan terbaru atau kesalahan. Ketersediaan Setiap permintaan menerima (non-error) tanggapan, tanpa jaminan bahwa ia berisi tulisan terbaru. Toleransi partisi Sistem terus beroperasi meskipun sejumlah pesan yang dijatuhkan (atau tertunda) oleh jaringan antara node. Ketika kegagalan partisi jaringan terjadi, harus diputuskan apakah akan melakukan salah satu dari hal berikut: membatalkan operasi dan dengan demikian mengurangi ketersediaan tetapi memastikan konsistensi melanjutkan operasi dan dengan demikian memberikan ketersediaan tetapi risiko inkonsistensi. Jadi, jika ada partisi jaringan, seseorang harus memilih antara konsistensi atau ketersediaan. Perhatikan bahwa konsistensi seperti yang didefinisikan dalam teorema CAP cukup berbeda dari yang dijamin dari ketersediaan tiga transaksi dalam sistem pemisahan ACID, tetapi Eric Brewer sering berpendapat bahwa konsep ini dapat digunakan untuk menyesatkan karena hanya ada "dua atau tiga partisi" yang jarang digunakan dalam desain sistem, tetapi konsep ini dapat digunakan untuk membuat beberapa transaksi.

Apa teorema CAP dalam ilmu komputer?

Teorema CAP, juga disebut teorema Brewer, menyatakan bahwa penyimpanan data terdistribusi hanya dapat memberikan dua dari tiga jaminan: konsistensi, ketersediaan, dan toleransi partisi.