تبعية الانضمام

في نظرية قواعد البيانات ، يُعدّ التبعية الربطية قيدًا على مجموعة العلاقات القانونية في مخطط قاعدة البيانات. جدولتي{\displaystyle T}يخضع لتبعية الربط إذاتي{\displaystyle T}يمكن دائمًا إعادة إنشائها عن طريق ضم جداول متعددة، يحتوي كل منها على مجموعة فرعية من سماتتي{\displaystyle T}إذا كان أحد الجداول في عملية الربط يحتوي على جميع سمات الجدولتي{\displaystyle T}، وتسمى تبعية الربط بالبسيطة.

يلعب التبعية في الربط دورًا مهمًا في الشكل الطبيعي الخامس (5NF)، والمعروف أيضًا باسم الشكل الطبيعي للربط الإسقاطي ، لأنه يمكن إثبات أنه إذا كان المخططR{\displaystyle R}يتم تقسيمها إلى جداولR1{\displaystyle R_{1}}لRن{\displaystyle R_{n}}، سيكون التفكيك تفكيكًا بدون فقدان للروابط إذا كانت العلاقات القانونية علىR{\displaystyle R}يقتصر الأمر على تبعية الانضمام علىR{\displaystyle R}مُسَمًّى*(R1،R2،...،Rن){\displaystyle *(R_{1},R_{2},\ldots ,R_{n})}.

هناك طريقة أخرى لوصف تبعية الربط وهي القول بأن العلاقات في تبعية الربط مستقلة عن بعضها البعض.

على عكس التبعيات الوظيفية ، لا توجد بديهيات سليمة وكاملة لتبعيات الربط، [ 1 ] على الرغم من وجود بديهيات للغات التبعية الأكثر تعبيرًا مثل التبعيات المكتوبة بالكامل . [ 2 ] : الفصل 8. ومع ذلك، فإن استلزام تبعيات الربط قابل للتقرير. [ 2 ] : النظرية 8.4.12

التعريف الرسمي

يتركR{\displaystyle R}ليكن مخطط علاقة وليكنR1،R2،...،Rن{\displaystyle R_{1},R_{2},\ldots ,R_{n}}أن يكون تفكيكًا لـR{\displaystyle R}.

العلاقةر(R){\displaystyle r(R)}يلبي متطلبات الربط

*(R1،R2،...،Rن){\displaystyle *(R_{1},R_{2},\ldots ,R_{n})}لوأنا=1نΠRأنا(ر)=ر.{\displaystyle \bowtie _{i=1}^{n}\Pi _{R_{i}}(r)=r.}

تكون تبعية الربط بسيطة إذا كان أحدRأنا{\displaystyle R_{i}}يكونR{\displaystyle R}[ 3 ]

تُسمى التبعيات الثنائية بالتبعية متعددة القيم، وذلك نتيجةً لدراستها قبل الحالة العامة. وبشكلٍ أدق، إذا كانت U مجموعة من السمات و R علاقةً عليها، فإن R تحقق الشرط التالي:XY{\displaystyle X\twoheadrightarrow Y}إذا وفقط إذا كان R يحقق*(XY،X(يو-Y)).{\displaystyle *(X\cup Y,X\cup (UY)).}

مثال

بافتراض وجود سلسلة مطاعم بيتزا تُمثل عمليات الشراء في جدول Order = {رقم الطلب، اسم العميل، اسم البيتزا، شركة التوصيل}. يمكن استخلاص العلاقات التالية:

  • يعتمد اسم العميل على رقم الطلب
  • يعتمد اسم البيتزا على رقم الطلب
  • تعتمد شركة الشحن على رقم الطلب.

بما أن العلاقات مستقلة، فهناك تبعية ربط على النحو التالي: *((رقم الطلب، اسم العميل)، (رقم الطلب، اسم البيتزا)، (رقم الطلب، شركة التوصيل)).

إذا كان لكل عميل مندوب توصيل خاص به، فقد يكون هناك ارتباط بين الجداول كالتالي: *((رقم الطلب، اسم العميل)، (رقم الطلب، اسم البيتزا)، (رقم الطلب، مندوب التوصيل)، (اسم العميل، مندوب التوصيل))، ولكن *((رقم الطلب، اسم العميل، مندوب التوصيل)، (رقم الطلب، اسم البيتزا)) سيكون صحيحًا أيضًا. هذا يُظهر بوضوح أن مجرد وجود ارتباط بين الجداول لا يكفي لتطبيع مخطط قاعدة البيانات.

انظر أيضاً

مراجع

  1. بيتروف، إس. في. (1989). "التحديد البديهي المحدود للغات لتمثيل خصائص النظام". علوم المعلومات . 47 : 339-372 . doi : 10.1016/0020-0255(89)90006-6 .
  2. 1 2 أبيتبول؛ هال؛ فيانو (1995). أسس قواعد البيانات . أديسون-ويسلي. ISBN 9780201537710.
  3. سيلبرشاتز، كورث. مفاهيم نظام قواعد البيانات ( الطبعة الأولى).