אין אַ נישטיק פאַנגקשאַנאַל דעפּענדענסי איינער אַטריביוט איז אַ סובסעט פון אנדערן
אין דער וועלט פון ריליישאַנאַל דייטאַבייס טעאָריע, אַ פאַנגקשאַנאַל דעפּענדענסי יגזיסץ ווען איינער אַטריביוט דיטערמאַנינג אנדערן אַטריביוט יוניקלי אין אַ דייטאַבייס. א נישטיק פאַנגקשאַנאַל דעפּענדענסי איז אַ דאַטאַבאַסע דעפּענדענסי וואָס אַקערז ווען דיסקרייבינג אַ פאַנגקשאַנאַל אַבילענדאַנס פון אַן אַטריביוט אָדער אַ זאַמלונג פון אַטריביוץ וואָס כולל די אָריגינעל אַטריביוט.
ביישפילן פון טריוויאַל פונקטיאָנאַל דעפּענדענסיעס
דעם מין פון דעפּענדענסי איז גערופן נישטיק, ווייַל עס קענען זיין דערייווד פון סייכל. אויב איינער "זייַט" איז אַ סובסעט פון די אנדערע, עס ס געהאלטן טריוויאַל. די לינקס זייַט איז געהאלטן די דיטערמאַנאַנט און די רעכט די אָפענגיק .
- {A, B} -> B איז אַ נישטיק פאַנגקשאַנאַל אָפענגיק ווייַל ב איז אַ סאַבסעט פון א, ב . זינט { א, ב} -> ב כולל ב , די ווערט פון ב קענען זיין באשלאסן. עס איז אַ נישטיק פאַנגקשאַנאַל אַבילאַנסי ווייַל די באדערפענישן פון B איז צופֿרידן דורך זייַן שייכות צו א, ב. זינט די וואַלועס פון ב זענען באשלאסן דורך די וואַלועס פון א , קיין אנדערע סיקוואַנס אַז שאַרעס די וואַלועס פון א וועט האָבן די פּינטלעך זעלביקער וואַלועס ווי ב . אן אנדער וועג צו לייגן עס איז אַז אַלע פון B איז אַרייַנגערעכנט אין א , וואָס איז וואָס עס איז א סאַבסעט.
- {Employee_ID, Employee_Name} -> Employee_ID איז אויך אַ נישטיק פאַנגקשאַנאַל אָפענגיק זינט עמפּלויעע_יד איז אַ סובסעט פון {Employee_ID, Employee_Name} .
- דער זעלביקער איז אמת פֿאַר א -> א אָדער עמפּלויעע_יד -> עמפּלויעע_יד, און עמפּלויעע_נאַמע -> עמפּלויעע_נאַמע . דאס זענען אַלע נישטיק פאַנגקשאַנאַל אַבילענדיז.
- אויב אַ פאַנגקשאַנאַל דעפּענדענסי X-> י, און י איז אַ סאַבסעט פון X, דאָס איז אַ נישטיק פאַנגקשאַנאַל דעפּענדענסי. אויב י איז נישט אַ סאַבסעט פון רענטגענ, דאָס איז נישט אַ נישטיק פאַנגקשאַנאַל אַבילאַנסי.