the CAP theorem
termonuvemprogramação
Um sistema distribuído diante de uma partição de rede precisa escolher entre consistência e disponibilidade; não pode manter as duas.
Eric Brewer o conjecturou numa palestra de 2000 e Gilbert e Lynch o provaram em 2002: quando os nós não conseguem se falar, o sistema ou recusa respostas (consistente, indisponível) ou responde com dados possivelmente velhos (disponível, inconsistente). Partições não são opcionais em redes reais, então o teorema é, na verdade, sobre qual modo de falha você pré-seleciona. A página de marketing de todo banco de dados é um artigo de posição sobre CAP, diga isso ou não.
Também conhecido como: Brewer's theorem