Teorema CAP

En informàtica teòrica, el teorema CAP, també conegut com a teorema de Brewer, formula que és impossible garantir simultàniament les tres característiques següents en una aplicació distribuïda: [1][2][3]

  • Consistència (tots els nodes veuen la mateixa dada al mateix temps)
  • Disponibilitat (la garantia que cada petició a un node rep una resposta de si ha tingut èxit o a fallat)
  • Tolerància a la partició (el sistema continua operant malgrat la partició arbitrària a causa d'errors en la xarxa)

El 2012 Brewer va aclarir alguna de les seves posicions com que el concepte "dos de tres" ("two out of three") pot ser malentès o pot induir a error i també el perquè de la definició de consistència CAP divergeix respecte a la de ACID.[4]

  1. Seth Gilbert and Nancy Lynch, “Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services”, ACM SIGACT News, Volume 33 Issue 2 (2002), pg. 51-59.
  2. "Brewer's CAP Theorem", julianbrowne.com, Retrieved 02-Mar-2010
  3. "Brewers CAP theorem on distributed systems" Arxivat 2016-02-04 a Wayback Machine., royans.net
  4. Eric Brewer, “CAP twelve years later: How the "rules" have changed”, IEEE Explore, Volume 45, Issue 2 (2012), pg. 23-29.