Каноническая обложка - Canonical cover

А каноническая обложка ${ displaystyle F_ {c}}$ для F (набор функциональные зависимости на схема отношений ) представляет собой набор зависимостей такой, что F логически подразумевает все зависимости в ${ displaystyle F_ {c}}$, и ${ displaystyle F_ {c}}$ логически подразумевает все зависимости в F.

Набор ${ displaystyle F_ {c}}$ имеет два важных свойства:

1. Нет функциональной зависимости в ${ displaystyle F_ {c}}$ содержит посторонний атрибут.
2. Каждая левая сторона функциональной зависимости в ${ displaystyle F_ {c}}$ уникален. То есть нет двух зависимостей ${ displaystyle от до b}$ и ${ displaystyle c to d}$ в ${ displaystyle F_ {c}}$ такой, что ${ displaystyle a = c}$.

Каноническое покрытие не является уникальным для данного набора функциональных зависимостей, поэтому один набор F может иметь несколько покрытий. ${ displaystyle F_ {c}}$.

Алгоритм вычисления канонического покрытия ^[1]

1. ${ displaystyle F_ {c} = F}$
2. Повторение:
   1. Используйте правило объединения, чтобы заменить любые зависимости в ${ displaystyle F_ {c}}$ формы ${ displaystyle от до b}$ и ${ Displaystyle от до d}$ с ${ displaystyle a to bd}$ ..
   2. Найдите функциональную зависимость в ${ displaystyle F_ {c}}$ с посторонним атрибутом и удалите его из ${ displaystyle F_ {c}}$
3. ... до того как ${ displaystyle F_ {c}}$ не меняется

Рекомендации