Is CAP Theorem Still Relevant?

• What Is CAP Theorem?
• CAP Theorem Examples
• CAP Theorem and NoSQL
• CAP Theorem and MongoDB
• Is CAP Theorem System Design Still Relevant?
• Final Thoughts

What Is CAP Theorem?

In theoretical computer science, the CAP theorem, also named Brewer's theorem after computer scientist Eric Brewer, states that it is impossible for a distributed data store to simultaneously provide the following three desirable functions:

• Consistency
• Availability
• Partition Tolerance

CAP theorem was further solidified by the work of two MIT researchers, Seth Gilbert and Nancy Lynch, when they published their proof of this theorem, called ‘Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services’:

CAP theorem system design will take into account that, even today, no database system can truly offer all three features in their pure form. These databases are described by using any two of the three CAP letters. So, for instance, a “CA” database offers consistency and availability across all nodes but cannot guarantee valid responses in cases where nodes of that database have been horizontally partitioned. 

C: Consistency

Arguably the easiest way to understand consistency is to think about transactions against the database as single, atomic and non-changeable actions. In a distributed database, this means at its simplest, that any time a user reads a record from that database which was recently written to by any user, that user is reading the record that was most recently written atomic object, and not one written previous to the time at which the query is taking place.

A: Availability

Availability has specific implications as well. In a fully available system, a client connected to the database will always receive a valid request from the database system, regardless of whether some of the nodes of the system are unavailable, for any reason. A valid request means one with consistent, non-stale data, and one free of exceptions or errors.

P: Partition Tolerance

It's important to remember that we’re talking the “verb” partition, in other words, we are talking about separating a set of data. In this case, it refers to a database engine being tolerant of having a data set split between multiple nodes in a cluster, even if those nodes lose network connectivity to one another. In heavily distributed database systems, it’s often necessary to split data across multiple nodes to achieve better horizontal scale, a process known as “sharding” or “horizontal partitioning.”

CAP Theorem Examples

Consider a database with two clients and two nodes, where a single set of data is horizontally partitioned or sharded across those two nodes, and where either client can fail over to either node. 

In this horizontally partitioned system, we have partition tolerance, and we have consistency – but if we lose availability in any node, we lose consistency. 
 

CAP Theorem and NoSQL

How does CAP theorem apply to NoSQL?

Horizontal scale is especially important for NoSQL database systems, and so the ability to horizontally shard can offer invaluable performance benefits to a NoSQL cluster.

That said, NoSQL databases also tend to be highly distributed with many clients, and aggressive SLA requirements, and so availability and consistency are key.

When exercising system design of a big data platform, a business should fully consider their priorities for the system, as no system will be able to deliver on all three at all times.

CAP Theorem and MongoDB

How does CAP theorem apply to MongoDB?

MongoDB is a single-write system, meaning that it can offer consistency and partition tolerance, but not availability across all nodes. If a primary node becomes unavailable, a secondary node is elected based on which node received updates most recently.

This centralizes the responsibility of whatever makes updates to the system, which guarantees consistency, and even allows for sharding, since a central database can proxy reads from sharded nodes.

However, not all nodes can guarantee availability, because during times of leader election, the newly elected central node must take time to synchronize from other replicants in the system, and it is necessarily unavailable during that time.

CAP Theorem System Design: Is it Still Relevant?

Despite advancements and rethought algorithms such as partially-synchronous models, CAP theorem remains relevant today.

We are, however, in a better spot in terms of dealing with the problem than we used to be.

Partially-Synchronous Model

In this model, a central database node does two important things:

First, it maintains the state of the other database nodes in the system. When a node makes an update or requests data, it lets the central node know about the action first.

Second, it mediates the validity of responses to the other nodes. After sending the update to the central node, if that central node doesn’t respond with an acknowledgement after a certain amount of time, the node that made the update assumes that the message has been lost, and lets the client know that.

This model improves overall consistency in a highly available and partition-tolerant database system, and it will always return a valid response to a client as long as a central node is available. That response, however, may contain no data or stale data, which still violates atomic consistency.

Weak or Eventual Consistency

The partially synchronous model will lead to an “eventually-consistent” or Delayed-t consistent system as long as availability is maintained along the nodes, and a system can then decide on the level of staleness that is acceptable in favor of system availability. In a system like this, the data is ultimately replicated to enough available nodes that, once all bits of data are delivered to each node, the system does reach consistency. There will just be gaps of time where the system is inconsistent, and the business must agree on how wide these gaps are allowed to be.