Básicos de Internet: Teorema de Brewer o CAP

El 19 de Julio de 2000, en el Simposio Principles of Distributed Computing, el Profesor Eric Brewer, de la Universidad de Berkeley, expuso en su charla una Conjetura que ha tenido y tiene un impacto fundamental en la historia de Internet. Según su conjetura, de los 3 requerimientos de un sistema distribuido, sólo es posible proporcionar 2 al mismo tiempo. Los 3 requerimientos son: 

• Consistencia. Todos los nodos ven los mismos datos al mismo tiempo.
• Disponibilidad. El fallo de uno o más nodos no impide a los demás seguir funcionando.
• Tolerancia a las Particiones. El sistema continúa funcionando a pesar de pérdidas en los mensajes.

En inglés, Consistency, Availability y Partition Tolerance, cuyas iniciales constituyen el otro nombre del teorema, CAP.

2 años más tarde, en el 2002, Seth Gilbert y Nancy Lynch del MIT, probaron formalmente que Brewer tenía razón, naciendo el Teorema de Brewer.

Todos los grandes negocios de Internet se inspiran en este enunciado; además de modelos tecnológicos como Big Table de Google, el movimiento NoSQL, o el concepto BASE (Basically Available, Soft-state, Eventually consistent) como contraposición al tradicional ACID (Atomicity, Consistency, Isolation y Durability).