Fórum studentů MFF UK

Pri dekompozici se mohou poztracet nejake funkcni zavislosti. Vysledkem dekompozice jsou schemata v BCNF. Budou v BCNF i schemata, ktera pridam za poztracene FZ?
Ja si myslim, ze budou. Mohl by mi to nekdo potvrdit ci vyvratit?

Diky!

Myslím, že to vyvrací příklad dekompozice tabulky Contracts, který má doc. Skopal na slidech.

ten priklad ze slidu jsem nenasel, ale vymyslel jsem vlastni, a pomerne jednoduchy:

mame FZ AB->C, AB->D, C->A.

dekompozici zacneme s ABCD, vadi C->A, dekomponujeme:
CA, ABD.

To je BCNF, ale schazi nam tam zavislost AB->C - pridat ABC tam ale nemuzeme, protoze tam zase bude vadit to C->A.