CAP theorem

בתאוריה של מדעי המחשב, CAP theorem (נקראת גם התאוריה של ברואר על שמו של המדען אריק ברואר) קובעת כי עבור מאגר נתונים מבוזר אי אפשר להבטיח יותר משתיים מבין שלוש התכונות הבאות:

  • עקביות – בכל קריאה מבסיס הנתונים מתקבל המידע העדכני ביותר שנכתב או שגיאה.
  • זמינות – בכל קריאה מבסיס הנתונים מתקבלת תשובה (אך לא בהכרח של המידע העדכני ביותר).
  • יכולת חלוקה – המערכת ממשיכה לתפקד גם במקרים בהם נאבדות או מתעכבות מספר הודעות בין מאגרי הנתונים בגלל בעיות תקשורת.

כאשר יש בעיה בהעברת הנתונים בין מאגרי המידע ישנן שתי אופציות כיצד להגיב לקריאה מהמערכת

  1. אישור הבקשה מה שמבטיח זמינות אבל פוגע בעקביות.
  2. דחיית הבקשה על מנת לשמור על עקביות אך גורם לפגיעה בזמינות.

התאוריה קובעת שבעת שימוש במאגר מידע מבוזר יש לבחור בין עקביות וזמינות ואי אפשר להבטיח את שניהם.


P Computer-science.svg ערך זה הוא קצרמר בנושא מדעי המחשב. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.