جدول المحتويات:
التعريف - ماذا تعني التبعية الوظيفية؟
التبعية الوظيفية هي علاقة موجودة عندما تحدد إحدى السمات بشكل فريد سمة أخرى.
إذا كانت R مرتبطة بسمتي X و Y ، فإن التبعية الوظيفية بين السمات يتم تمثيلها كـ X-> Y ، والتي تحدد Y وهي تعتمد وظيفيًا على X. وهنا X هي مجموعة محددة و Y هي سمة تابعة. ترتبط كل قيمة X بقيمة Y واحدة بالضبط.
تعمل التبعية الوظيفية في قاعدة البيانات كقيد بين مجموعتين من السمات. يعد تعريف التبعية الوظيفية جزءًا مهمًا من تصميم قاعدة البيانات الترابطية ويساهم في تطبيع الجوانب.
تيكوبيديا تشرح التبعية الوظيفية
التبعية الوظيفية تافهة إذا كانت Y عبارة عن مجموعة فرعية من X. في جدول به سمات اسم الموظف ورقم الضمان الاجتماعي (SSN) ، يعتمد اسم الموظف وظيفيًا على SSN لأن SSN فريد للأسماء الفردية. تحدد SSN الموظف على وجه التحديد ، لكن لا يمكن أن يميز اسم الموظف SSN لأن أكثر من موظف يمكن أن يحمل نفس الاسم.
تعرف التبعية الوظيفية الشكل العادي لـ Boyce-Codd والشكل العادي الثالث. هذا يحافظ على التبعية بين السمات ، مما يلغي تكرار المعلومات. ترتبط التبعية الوظيفية بمفتاح المرشح ، الذي يحدد بشكل فريد tuple ويحدد قيمة جميع السمات الأخرى في العلاقة. في بعض الحالات ، تكون المجموعات المعتمدة وظيفيًا غير قابلة للاختزال إذا:
- تحتوي المجموعة اليمنى من التبعية الوظيفية على سمة واحدة فقط
- لا يمكن تقليل مجموعة التبعية الوظيفية اليسرى ، لأن هذا قد يغير محتوى المجموعة بالكامل
- قد يؤدي تقليل أي من التبعية الوظيفية الحالية إلى تغيير محتوى المجموعة
خاصية مهمة من التبعية الوظيفية هي بديهية Armstrong ، والتي تستخدم في تطبيع قاعدة البيانات. في علاقة ، R ، مع ثلاث سمات (X ، Y ، Z) من بديهية Armstrong صحيحة إذا تم استيفاء الشروط التالية:
- Axiom of Transivity: إذا كانت X-> Y و Y-> Z ، ثم X-> Z
- Axiom of Reflexivity (Property Subset): إذا كانت Y هي مجموعة فرعية من X ، فإن X-> Y
- اكسيوم من تكبير: إذا X-> Y ، ثم XZ-> YZ
