Canonical cover
એફ માટે કેનોનિકલ કવર (સંબંધ યોજના પર કાર્યાત્મક નિર્ભરતાનો સમૂહ) એ નિર્ભરતાનો સમૂહ છે જેમ કે એફ તાર્કિક રીતે એફમાં તમામ નિર્ભરતાને સૂચવે છે, અને તાર્કિક રીતે એફમાં તમામ નિર્ભરતાને સૂચવે છે. કાર્યાત્મક નિર્ભરતાની દરેક ડાબી બાજુ અનન્ય છે. એટલે કે તેમાં કોઈ બે અવલંબન નથી. કાર્યાત્મક અવલંબનના આપેલ સમૂહ માટે કેનોનિકલ કવર અનન્ય નથી, તેથી એક સમૂહ F માં બહુવિધ કવર હોઈ શકે છે. કેનોનિકલ કવરની ગણતરી કરવા માટે અલ્ગોરિધમ પુનરાવર્તનઃ ફોર્મ અને સાથે કોઈપણ અવલંબનને બદલવા માટે યુનિયન નિયમનો ઉપયોગ કરો. એક બાહ્ય લક્ષણ સાથે કાર્યાત્મક અવલંબન શોધો અને તેને કાઢી નાખો. જ્યાં સુધી કેનોનિકલ કવર ઉદાહરણમાં ફેરફાર ન થાય ત્યાં સુધી. નીચેના ઉદાહરણમાં, Fc એ F નું કેનોનિકલ કવર છે. નીચે આપેલા ઉદાહરણમાં, આપણે કેનોનિકલ કવર શોધી શકીએ છીએઃ R = (A, B, C, G, H, I) F = {A → BC, B → C, A → B, AB → C} {A → BC, B → C, A → B, AB → C કાર્યાત્મક અવલંબનોનો સમૂહ અને કાર્યાત્મક અવલંબનને જોતાં, આ લક્ષણ બાહ્ય છે અને તેમાંની કોઈપણ કાર્યાત્મક અવલંબનને આર્મસ્ટ્રોંગના સ્વયંસિદ્ધ સિદ્ધાંતોનો ઉપયોગ કરીને ગર્ભિત કરી શકાય છે. વૈકલ્પિક પદ્ધતિનો ઉપયોગ કરીને, કાર્યાત્મક નિર્ભરતાનો સમૂહ અને કાર્યાત્મક નિર્ભરતા X → A in આપવામાં આવે તો, લક્ષણ Y એ X માં બાહ્ય છે જો, અને. ઉદાહરણ તરીકેઃ જો F = {A → C, AB → C} હોય, તો B એ AB → C માં બાહ્ય છે કારણ કે A → C ને B ને કાઢી નાખ્યા પછી પણ અનુમાન કરી શકાય છે. આ સાચું છે કારણ કે જો A કાર્યાત્મક રીતે C ને નિર્ધારિત કરે છે, તો AB પણ કાર્યાત્મક રીતે C ને નિર્ધારિત કરે છે. જો F = {A → D, D → C, AB → C}, B એ AB → C માં બાહ્ય છે કારણ કે {A → D, D → C, AB → C} તાર્કિક રીતે A → C સૂચવે છે. બાહ્ય આશ્રિત લક્ષણો કાર્યાત્મક નિર્ભરતાનો સમૂહ અને કાર્યાત્મક નિર્ભરતામાં, લક્ષણ બાહ્ય છે જો અને કોઈપણ કાર્યાત્મક નિર્ભરતામાં આર્મસ્ટ્રોંગની સ્વયંસિદ્ધતાનો ઉપયોગ કરીને ગર્ભિત કરી શકાય છે. જો આપણે તે કાર્યાત્મક નિર્ભરતામાં નિર્ધારક વિશેષતાઓના સમૂહને બંધ કર્યા વિના તેને દૂર કરી શકીએ તો કાર્યાત્મક નિર્ભરતાનું આશ્રિત લક્ષણ બાહ્ય છે. ઉદાહરણ તરીકેઃ જો F = {A → C, AB → CD}, તો C એ AB → CD માં બાહ્ય છે કારણ કે C ને દૂર કર્યા પછી પણ AB → C નું અનુમાન કરી શકાય છે. જો F = {A → BC, B → C}, તો C એ A → BC માં બાહ્ય છે કારણ કે C ને દૂર કર્યા પછી પણ A → C નું અનુમાન કરી શકાય છે.