Fórum studentů MFF UK

Otázka je:
[quote]Určete:
- redundantní atributy a závislosti
- minimální pokrytí[/quote]
Moje interpretace je, že pro každou závilost mám říct, jestli je vzhledem ke kanonickému pokrytí redundantní, a potom z tohoto pokrytí některé redundantní závislosti vyškrtat tak, abych měl minimální pokrytí.

Nemám nejmenší potuchy, jestli je to opravdu to co se chce, ale dává mi to smysl, protože jinak jsou to otázky na to samé. Když si to zkusím v tom programu, co ho Skopal na stránkách odkazuje, tak taky určí všechny red. atributy vzhledem ke kanonické, a potom při vyškrtání upozorní na ty, co přestanou být redundantní a v min. pokrytí budou, takže bych to udělal stejně...

[quote="hkvm"]
Kde jsou tam vidět ty redundatní závislosti? Jestli tím myslíš ty, co zmizely mezi a) a c), resp. b) a c), tak to si myslím, že nejsou všechny, protože třeba F->Z je v tom kanonickém pokrytí redundatní taky (můžu jít F->D, D->Z a mám F->Z). Neredundantní se stane teprve když odstraníš F->D (které je redundantní taky). Ta redundance FZ a minimální pokrytí spolu nesouvisí až tak přímo, pro každý redundantní atribut je potřeba tu redundanci kontrolovat znovu při konstrukci min. pokrytí.
[/quote]

Je otázka, co po Tobě v testu chce. Jako v lineární algebře je důležité, co začneš vyškrtávat, a podle toho Ti zbude jedna z ekvivalentních „bazí“. Podle mého není otázka situována na to, najít všechny „báze“ (možné větve výpočtu), ale pouze jedna stačí - nebo ne? Záleží to na interpretaci, takže se rád nechám přesvědčit o opaku.

CFK není klíč, je třeba ještě použít pravidlo K->C, čímž dostaneme opravdový klíč FK. Toto pravidlo už se potom nepoužije při hledání druhého klíče.
U stromu a pořadí bych měl stejnou připomínku, jako u varianty A (tak se tam kdažtak mrkněte).
U dotazu B) si opět myslím, že není třeba vypisovat nedůležité proměnné.
Souhlasím s hkvm.

[quote="kukmuk"]
[list][*][b]Klice[/b]
Na hledani klicu potrebujeme minimalni pokryti, tedy
a)Kanonicke pokryti
F->D, F->U, F->Z, FK->R, FR->C, FR->D, FR->K, FR->U, FR->Z, K->C, D->Z, Z->D, Z->U
b)Redukovane atributy u zavislosti (ty uz jsou redukovane v zadani), tedy:
F->D, F->U, F->Z, FK->R, FR->C, FR->K, K->C, D->Z, Z->D, Z->U
c)Odstraneni redundatnich zavislost:
F->Z, FK->R, FR->K, K->C, D->Z, Z->D, Z->U[/quote]
ad b) Jak to, že jsou atributy redukované už v zadání? Když vezmu to kanonické pokrytí, tak v závislostech FR->D, FR->U, FR->Z je redundantní atribut R, protože {F}[sup]+[/sup] = {D,U,Z} (a taky jsi je odebral).

[quote="kukmuk"]
[*][b]Redundantni atributy a zavislost[/b]
Viz "Klice".[/list][/quote]
Kde jsou tam vidět ty redundatní závislosti? Jestli tím myslíš ty, co zmizely mezi a) a c), resp. b) a c), tak to si myslím, že nejsou všechny, protože třeba F->Z je v tom kanonickém pokrytí redundatní taky (můžu jít F->D, D->Z a mám F->Z). Neredundantní se stane teprve když odstraníš F->D (které je redundantní taky). Ta redundance FZ a minimální pokrytí spolu nesouvisí až tak přímo, pro každý redundantní atribut je potřeba tu redundanci kontrolovat znovu při konstrukci min. pokrytí.

Se zbytkem řešení souhlasím. Díky, že to sem dáváš.

((TvKanal*Vysilani)*Porad)[Nazev, Kategorie]  %  Porad[Kategorie]

TvKanal
        prirozene spojeni
Vysilani
                       prirozene spojeni
        Porad
                                               projekce (nazev, kategorie)
                                                                                    deleni
Porad
       projekce (kategorie)

{(o) | Ex minutaz Ex kategorie ( Porad(o, minutaz, kategorie) & non ( Ex n ( (Ex vlastnik TvKanal(n, vlastnik)) & (Ex datum Vysilani(n, o, datum))  ))) }

Reseni zadani B z 2008-05-21, [url]http://siret.ms.mff.cuni.cz/skopal/databaze/pis210508/B.pdf[/url].
[b]1.Navrh relacnich schemat[/b]
[list]
[*][b]Klice[/b][/*]
Na hledani klicu potrebujeme minimalni pokryti, tedy
a)Kanonicke pokryti
F->D, F->U, F->Z, FK->R, FR->C, FR->D, FR->K, FR->U, FR->Z, K->C, D->Z, Z->D, Z->U
b)Redukovane atributy u zavislosti, tedy:
F->D, F->U, F->Z, FK->R, FR->C, FR->K, K->C, D->Z, Z->D, Z->U
c)Odstraneni redundatnich zavislost:
F->Z, FK->R, FR->K, K->C, D->Z, Z->D, Z->U

Zavislosti z "c)" tvori minimalni pokryti.

Dale nalezneme prvni klic:
[code]
CDFKRUZ->all /F->DUZ
CFKR->all /FK->R
CFK->all /K->C
FK->all
[/code]
Tedy mame prvni klic "FK"

Nalezneme zavislost FR->K, ktera nema prazdny prunik prave strany a prvniho klice. Redukujeme:
[code]
FR->all
[/code]
Druhy klic je FR.
Zadne dalsi klice nejsou.

[*][b]Redundantni atributy a zavislost[/b][/*]
Viz "Klice".
[*][b]Minimalni pokryti[/b][/*]
Viz "Klice".
[*][b]Synteza[/b][/*]

Nejprve sloucime FZ z minimalniho pokryti podle levych stran, tedy:
F->Z, FK->R, FR->K, K->C, D->Z, Z->DU
Nyni tabulky podle FZ:
[b]F[/b]Z, [b]FK[/b]R, [b]FR[/b]K, [b]K[/b]C, [b]D[/b]Z, [b]Z[/b]DU

Synteza prevedla do 3NF (BCNF vadi ve FRK, ze FK->R), pokryti zavislosti synteza zachovava. Bezztratovost zachovana diky tabulce obsahujici klic.

[/list]
[b]2.Dotazovani[/b]
[b]A)[/b]
Dotaz:
[code]
((TvKanal*Vysilani)*Porad)[Nazev, Kategorie] % Porad[Kategorie]
[/code]
Vrati Nazev pro vsechny TvKanaly vysilajici vsechny kategorie poradu.
Strom:
[code]
TvKanal
prirozene spojeni
Vysilani
prirozene spojeni
Porad
projekce (nazev, kategorie)
deleni
Porad
projekce (kategorie)
[/code]
Poradi:
[list]
[*]prirozene spojeni (TvKanal, Vysilani)[/*]
[*]prirozene spojeni (Porad)[/*]
[*]projekce (nazev, kategorie)[/*]
[*]projekce (kategorie)[/*]
[*]deleni[/*]
[/list]

[b]B)[/b]
Porady, ktere se vysilaji na kanalech, ktere nejsou v relaci TvKanal nebo se na kanalech z relace TvKanal nevysilaji (nejsou v relaci Vysilani).

Dotaz neni bezpecny - obsahuje neomezene ohodnoceni promennych kvuli FA (vyskyt symbolu "pro vsechny").

Bezpecny dotaz je:
[code]
{(o) | Ex minutaz Ex kategorie ( Porad(o, minutaz, kategorie) & non ( Ex n ( (Ex vlastnik TvKanal(n, vlastnik)) & (Ex datum Vysilani(n, o, datum)) ))) }
[/code]