التبعية المتعدية

التبعية المتعدية هي علاقة تبعية غير مباشرة بين مكونات البرنامج . وتنشأ هذه التبعية من خلال علاقة متعدية من مكون يعتمد عليه البرنامج بشكل مباشر.

في برنامج الحاسوب، تُعرَّف التبعية المباشرة بأنها وظيفة من مكتبة أو واجهة برمجة تطبيقات أو أي مكون برمجي يُشار إليه مباشرةً من قِبل البرنامج نفسه. أما التبعية المتعدية فهي أي تبعية ناتجة عن مكون آخر، يُشار إليه بدوره بشكل مباشر أو غير مباشر من قِبل البرنامج. على سبيل المثال، log()قد يؤدي استدعاء دالة ما إلى تبعية متعدية لمكتبة تُدير عمليات الإدخال والإخراج لكتابة رسالة إلى ملف سجل .

يمكن حلّ التبعيات والتبعيات المتعدية في أوقات مختلفة، وذلك بحسب كيفية تجميع برنامج الحاسوب و/أو تنفيذه: على سبيل المثال، قد يحتوي المترجم على مرحلة ربط يتم فيها حلّ التبعيات. وفي بعض الأحيان، يسمح نظام البناء بإدارة التبعيات المتعدية.

وبالمثل، عندما يستخدم الحاسوب خدمات ، قد يعتمد برنامج حاسوبي على خدمة يجب تشغيلها قبل تنفيذ البرنامج. في هذه الحالة، تُعرف التبعية المتعدية بأنها أي خدمة أخرى تعتمد عليها الخدمة التي نعتمد عليها مباشرةً، على سبيل المثال، يعتمد متصفح الويب على خدمة تحليل أسماء النطاقات لتحويل عنوان URL إلى عنوان IP ؛ ويعتمد نظام أسماء النطاقات (DNS) على خدمة الشبكات للوصول إلى خادم أسماء بعيد. يعتمد نظام الإقلاع systemd في لينكس على مجموعة من الإعدادات التي تُحدد تبعيات الوحدات المراد تشغيلها: عند بدء التشغيل، يُحلل systemd جميع التبعيات المتعدية لتحديد ترتيب تنفيذ كل وحدة.

لنفترض أن الكيانات A و B و C موجودة بحيث تتحقق العبارات التالية:

1. توجد علاقة تبعية مباشرة بين A و B.
2. لا توجد علاقة بين B و A.
3. توجد علاقة تبعية مباشرة بين B و C.

ثم إن التبعية الوظيفية A → C هي تبعية متعدية (والتي تتبع بديهية التعدي ).

في عملية تطبيع قواعد البيانات العلائقية ، تتمثل إحدى السمات المهمة للشكل الطبيعي الثالث في استبعاده لأنواع معينة من التبعيات المتعدية. وقد قدم إي إف كود ، مخترع النموذج العلائقي ، مفهومي التبعية المتعدية والشكل الطبيعي الثالث في عام 1971. ^{[ 1 ]}