Okładka kanoniczna

Pokrycie kanoniczne dla $($ zbiór zależności funkcjonalnych na schemacie relacji ) to zbiór zależności takich, że F logicznie implikuje wszystkie zależności w , fa do {\ displaystyle $}} , fa do {\ displaystyle F_ {c}$ } i logicznie implikuje wszystkie zależności w F. do {\ displaystyle $}}$

ma dwie ważne właściwości: fa do {\ displaystyle $}}$

1. $Żadna$ zależność funkcjonalna w obcego atrybutu.
2. $Każda$ lewa strona zależności funkcjonalnej w . Oznacza to, że nie ma dwóch zależności ${\ Displaystyle a \ do b}$${\ Displaystyle F_ {c}}$ do ${\ Displaystyle c \ do d}$ w takich, że ${\ displaystyle a=c}$ .

$do {\ displaystyle F_ {c}}$ unikalna dla danego zestawu zależności funkcjonalnych, dlatego jeden zestaw F może mieć wiele okładek .

Algorytm obliczania pokrycia kanonicznego

1. ${\ Displaystyle F_ {c} = F}$
2. Powtórz :
   1. Użyj reguły unii, aby zastąpić wszelkie zależności w postaci $Displaystyle$$a \ do b}$ i ${\ Displaystyle a \ do d$ z ${\ Displaystyle a \ do bd}$ ..
   2. Znajdź zależność funkcjonalną w z obcym atrybutem i usuń ją z $displaystyle$$F_ {c}}$
3. ... dopóki nie zmieni się fa do {\ displaystyle $}}$