Kanonik kapak - Canonical cover

Bir kanonik kapak ${ displaystyle F_ {c}}$ F için (bir dizi işlevsel bağımlılıklar bir ilişki şeması ), F'nin mantıksal olarak tüm bağımlılıkları ifade ettiği bir bağımlılıklar kümesidir. ${ displaystyle F_ {c}}$, ve ${ displaystyle F_ {c}}$ mantıksal olarak F'deki tüm bağımlılıkları ima eder.

Set ${ displaystyle F_ {c}}$ iki önemli özelliğe sahiptir:

1. İşlevsel bağımlılık yok ${ displaystyle F_ {c}}$ yabancı bir öznitelik içerir.
2. İşlevsel bir bağımlılığın her sol tarafı ${ displaystyle F_ {c}}$ benzersiz. Yani, iki bağımlılık yok ${ displaystyle a ila b}$ ve ${ displaystyle c ila d}$ içinde ${ displaystyle F_ {c}}$ öyle ki ${ displaystyle a = c}$.

Kanonik bir kapak, belirli bir işlevsel bağımlılıklar kümesi için benzersiz değildir, bu nedenle bir F kümesi birden çok kapağa sahip olabilir ${ displaystyle F_ {c}}$.

Kanonik bir kapağı hesaplamak için algoritma ^[1]

1. ${ displaystyle F_ {c} = F}$
2. Tekrar et:
   1. İçindeki herhangi bir bağımlılığı değiştirmek için birleşim kuralını kullanın ${ displaystyle F_ {c}}$ şeklinde ${ displaystyle a ila b}$ ve ${ displaystyle a ila d}$ ile ${ displaystyle a ila bd}$ ..
   2. İşlevsel bir bağımlılık bulun ${ displaystyle F_ {c}}$ yabancı bir öznitelikle ve buradan silin ${ displaystyle F_ {c}}$
3. ... a kadar ${ displaystyle F_ {c}}$ değişmez

Referanslar