مفتاح فائق

في نموذج البيانات العلائقية ، يُعرَّف المفتاح الفائق بأنه أي مجموعة من السمات التي تُحدِّد كل صف في العلاقة بشكل فريد . ^{[ 1 ] [ 2 ]} ولأن قيم المفتاح الفائق فريدة، فإن الصفوف التي لها نفس قيمة المفتاح الفائق يجب أن يكون لها أيضًا نفس قيم السمات غير المفتاحية. أي أن السمات غير المفتاحية تعتمد وظيفيًا على المفتاح الفائق.

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

على سبيل المثال، في مخطط بيانات الموظفين الذي يحتوي على السمات employeeIDو nameو jobو و departmentID، إذا employeeIDكانت القيم فريدة، فإن employeeIDبالاقتران مع أي من السمات الأخرى أو جميعها، يمكن تحديد الصفوف في الجدول بشكل فريد. كل تركيبة، { employeeID}، { employeeID, name}، { employeeID, name, job}، وهكذا، تُعتبر مفتاحًا فائقًا. { employeeID} هو مفتاح مرشح، لأنه لا توجد مجموعة فرعية من سماته تُعتبر مفتاحًا فائقًا أيضًا. { employeeID, name, job, departmentID} هو المفتاح الفائق البسيط.

إذا كانت مجموعة السمات K مفتاحًا فائقًا للعلاقة R ، فإن إسقاط R على K يكون له نفس عدد العناصر مثل R نفسها في جميع الأوقات .

أولاً، قم بإدراج جميع مجموعات السمات:

• {}

• {اسم الملك} 

• {رقم الملك} 

• {البيت الملكي}

• {اسم الملك، رقم الملك}

• {اسم الملك، العائلة المالكة}

• {رقم الملك، البيت الملكي}

• {اسم الملك، رقم الملك، العائلة المالكة}

ثانيًا، احذف جميع المجموعات التي لا تستوفي شرط المفتاح الفائق. على سبيل المثال، لا يمكن أن تكون {اسم الملك، البيت الملكي} مفتاحًا فائقًا لأنه بالنسبة لنفس قيم السمة (إدوارد، بلانتاجنت)، يوجد صفان مختلفان:

• (إدوارد الثاني ، بلانتاجنت)
• (إدوارد الثالث ، بلانتاجنت)

وأخيرًا، بعد عملية الاستبعاد، فإن مجموعات السمات المتبقية هي المفاتيح الفائقة الوحيدة الممكنة في هذا المثال:

• {اسم الملك، رقم الملك} — هذا هو المفتاح المرشح أيضًا
• {اسم الملك، رقم الملك، البيت الملكي} — هذا هو المفتاح الفائق البسيط أيضًا.

في الواقع، لا يمكن تحديد المفاتيح الفائقة بمجرد فحص مجموعة واحدة من الصفوف في علاقة ما. يُعرّف المفتاح الفائق قيد تبعية وظيفية لمخطط العلاقة، ويجب أن يتحقق هذا القيد لجميع علاقات النسخ الممكنة في ذلك المخطط.

• مفتاح بديل
• مفتاح المرشح
• مفتاح مركب
• مفتاح خارجي
• المفتاح الأساسي

• سيلبيرشاتز، أبراهام (2011). مفاهيم نظام قاعدة البيانات (الطبعة السادسة) . ماكجرو هيل. ص 45 – 46. ISBN  978-0-07-352332-3.

• مصطلحات مرجعية لقواعد البيانات العلائقية، المفاتيح : نظرة عامة على الأنواع المختلفة للمفاتيح في نظام إدارة قواعد البيانات العلائقية