Τι είναι το θεώρημα CAP;

Ο Θεώρημα CAP δηλώνει ότι ένα κατανεμημένο σύστημα δεν μπορεί να εγγυηθεί ταυτόχρονα και τις τρεις ιδιότητες:

• Συνεκτικότητα (Consistency): όλοι οι κόμβοι βλέπουν τα ίδια δεδομένα την ίδια στιγμή.
• Διαθεσιμότητα (Availability): κάθε αίτημα λαμβάνει μια απάντηση (επιτυχία ή σφάλμα).
• Αντοχή σε διαχωρισμούς (Partition tolerance): το σύστημα συνεχίζει να λειτουργεί κατά τη διάρκεια διαχωρισμού δικτύου μεταξύ των κόμβων.

Λόγω των διαχωρισμών δικτύου, το σύστημα πρέπει να επιλέξει μεταξύ συνεκτικότητας και διαθεσιμότητας. Για παράδειγμα:

• Τα συστήματα CP θυσιάζουν τη διαθεσιμότητα για την συνεκτικότητα.
• Τα συστήματα AP θυσιάζουν τη συνεκτικότητα για τη διαθεσιμότητα.

Αυτό αποτελεί θεμελιώ τον περιορισμό στον σχεδιασμό κατανεμημένων βάσεων δεδομένων και υπηρεσιών.