Kanonický kryt - Canonical cover

A kanonický obal ${ displaystyle F_ {c}}$ pro F (sada funkční závislosti na relační schéma ) je sada závislostí, ze kterých F logicky implikuje všechny závislosti ${ displaystyle F_ {c}}$, a ${ displaystyle F_ {c}}$ logicky implikuje všechny závislosti v F.

Sada ${ displaystyle F_ {c}}$ má dvě důležité vlastnosti:

1. Žádná funkční závislost v ${ displaystyle F_ {c}}$ obsahuje cizí atribut.
2. Každá levá strana funkční závislosti v ${ displaystyle F_ {c}}$ je jedinečný. To znamená, že neexistují žádné dvě závislosti ${ displaystyle a to b}$ a ${ displaystyle c až d}$ v ${ displaystyle F_ {c}}$ takhle ${ displaystyle a = c}$.

Kanonický obal není pro danou sadu funkčních závislostí jedinečný, proto může mít jedna sada F více obalů ${ displaystyle F_ {c}}$.

Algoritmus pro výpočet kanonické obálky ^[1]

1. ${ displaystyle F_ {c} = F}$
2. Opakovat:
   1. Pomocí pravidla sjednocení nahraďte všechny závislosti v ${ displaystyle F_ {c}}$ formuláře ${ displaystyle a to b}$ a ${ displaystyle a to d}$ s ${ displaystyle a to bd}$ ..
   2. Najít funkční závislost v ${ displaystyle F_ {c}}$ s cizím atributem a odstranit jej z ${ displaystyle F_ {c}}$
3. ... dokud ${ displaystyle F_ {c}}$ se nemění

Reference