O que é o teorema CAP em ciência da computação?
O teorema CAP, também chamado de teorema de Brewer em homenagem ao cientista da computação Eric Brewer, afirma que qualquer armazenamento de dados distribuídos pode fornecer apenas duas das três seguintes garantias: Consistência Cada leitura recebe a gravação mais recente ou um erro. Disponibilidade Cada solicitação recebe uma resposta (sem erro), sem a garantia de que contém a gravação mais recente. Tolerância de partição O sistema continua a operar apesar de um número arbitrário de mensagens sendo descartadas (ou atrasadas) pela rede entre nós. Quando ocorre uma falha de partição de rede, deve-se decidir se deve fazer uma das seguintes: cancelar a operação e, assim, diminuir a disponibilidade, mas garantir a consistência com a operação e, assim, fornecer disponibilidade, mas arriscar a inconsistência. Assim, se houver uma partição de rede, é preciso escolher entre a consistência ou o sacrifício da disponibilidade. Note que a consistência, como definida no teorema CAP, é bastante diferente da garantia de escrita mais recente.
O teorema CAP, também chamado de teorema de Brewer, afirma que os arquivos de dados distribuídos podem fornecer apenas duas de três garantias: consistência, disponibilidade e tolerância à partição.