O que é o teorema CAP?

O teorema CAP afirma que um sistema distribuído não pode garantir simultaneamente as três propriedades:

• Consistência: todos os nós veem os mesmos dados ao mesmo tempo.
• Disponibilidade: cada pedido recebe uma resposta (bem-sucedida ou com erro).
• Tolerância a partições: o sistema continua a funcionar durante uma separação de rede entre os nós.

Devido às partições de rede, o sistema deve escolher entre consistência e disponibilidade. Por exemplo:

• Sistemas CP sacrificam disponibilidade por consistência.
• Sistemas AP sacrificam consistência por disponibilidade.

Esta é uma limitação fundamental no projeto de bases de dados distribuídas e serviços.