الاتساق (أنظمة قواعد البيانات)

في أنظمة قواعد البيانات ، تشير الاتساق (أو الصحة ) إلى شرط أن أي عملية في قاعدة البيانات يجب أن تُغير البيانات المتأثرة فقط بالطرق المسموح بها. يجب أن تكون أي بيانات تُكتب إلى قاعدة البيانات صالحة وفقًا لجميع القواعد المُحددة، بما في ذلك القيود ، والتسلسلات ، والمحفزات ، وأي مزيج منها. هذا لا يضمن صحة العملية بكل الطرق التي قد يرغب بها مبرمج التطبيق (فهذه مسؤولية كود التطبيق)، ولكنه يضمن فقط ألا تؤدي أي أخطاء برمجية إلى انتهاك أي من قيود قاعدة البيانات المُحددة. ^{[ 1 ]}

في النظام الموزع، وبالإشارة إلى نظرية CAP ، يمكن فهم الاتساق أيضًا على أنه بعد عملية كتابة أو تحديث أو حذف ناجحة لسجل، يتلقى أي طلب قراءة على الفور أحدث قيمة للسجل.

يُعدّ الاتساق أحد الضمانات الأربعة التي تُعرّف معاملات ACID ؛ ومع ذلك، يوجد غموض كبير حول طبيعة هذا الضمان. ويُعرّف بأشكال مختلفة على النحو التالي:

• ضمان عدم انتهاك قيود قاعدة البيانات ، لا سيما بعد إتمام المعاملة. ^{[ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ]}
• يضمن هذا النظام أن أي معاملات تبدأ في المستقبل ستتأثر بالضرورة بآثار المعاملات الأخرى التي تمت في الماضي. ^{[ 7 ] [ 8 ]}

وبما أن هذه التعريفات المختلفة ليست حصرية متبادلة، فمن الممكن تصميم نظام يضمن "الاتساق" بكل معنى الكلمة، كما تفعل معظم أنظمة إدارة قواعد البيانات العلائقية الشائعة الاستخدام اليوم.

تستند نظرية CAP إلى ثلاثة مفاضلات، إحداها هي "الاتساق الذري" (المختصر إلى "الاتساق" في الاختصار)، والتي يشير إليها المؤلفون قائلين: "يختلف الحديث عن الاتساق الذري نوعًا ما عن الحديث عن قاعدة بيانات ACID، إذ يشير اتساق قاعدة البيانات إلى المعاملات، بينما يشير الاتساق الذري إلى خاصية واحدة فقط من تسلسل عمليات الطلب/الاستجابة. وله معنى مختلف عن معنى "الذري" في ACID، لأنه يشمل مفهومي قاعدة البيانات لكل من "الذري" و"الاتساق". ^{[ 7 ]} في نظرية CAP، لا يمكنك الحصول إلا على خاصيتين من الخصائص الثلاث التالية: الاتساق، أو التوافر، أو تحمل التقسيم. لذلك، قد يكون من الضروري التضحية بالاتساق في بعض أنظمة قواعد البيانات.

• نموذج الاتساق
• سلامة المرجع
• الاتساق النهائي