Parlami del teorema di CAP.

Il teorema CAP afferma che un sistema distribuito non può garantire contemporaneamente tre proprietà:

• Consistenza — tutti i nodi vedono gli stessi dati nello stesso momento.
• Disponibilità — ogni richiesta riceve una risposta (riuscita o con errore), senza ritardi prolungati.
• Tolleranza alle partizioni — il sistema continua a funzionare nonostante la divisione della rete (perdita di connessione tra i nodi).

In condizioni di partizioni di rete, il sistema può garantire o la consistenza o la disponibilità, ma non entrambe contemporaneamente. Questo costringe i progettisti a scegliere tra sistemi CP (Consistenza + Tolleranza alle partizioni) e AP (Disponibilità + Tolleranza alle partizioni).

Esempio:

• Sistema CP: in caso di partizione di rete, blocca alcuni nodi per mantenere la consistenza, ma può diventare inaccessibile.
• Sistema AP: continua a rispondere alle richieste, ma i dati possono essere temporaneamente incoerenti.

Il teorema CAP aiuta a comprendere i compromessi nel progettare database distribuiti e servizi.