കൂടാതെ അടിസ്ഥാനപരമായി, ഒരു പ്രവർത്തനപരമായ ആശ്രിതത്വം ഉണ്ടെങ്കിൽ, ഒരു ബന്ധം 4NF ൽ ആണെന്ന് പറയപ്പെടുന്നു. X Y നിസ്സാരമല്ലെങ്കിൽ, ഇത് നിസ്സാരമല്ലെങ്കിൽ, X ഒരു സൂപ്പർ കീ ആണ്.
ఒక రిలేషన్ లో ఫంక్షనల్ డిపెండెన్సీ ఉంటే. . X↠Y నాన్-ట్రివియల్ అయితే మరియు X ఒక సూపర్ కీ అయితే ఆ రిలేషన్ 4NF లో ఉంటుందని చెప్పబడింది.