„Adatbázisok/Vizsga feladatok” változatai közötti eltérés
Új oldal, tartalma: „<!-- {{Rejtett|mutatott='''Megoldás'''|szöveg= TODO. }} -->Ezen az oldalon néhány feladatot találsz témakörönként az új (VITMAB04) Adatbázisok|Adatbázisok…” |
Nincs szerkesztési összefoglaló |
||
3. sor: | 3. sor: | ||
TODO. | TODO. | ||
}} | }} | ||
-->Ezen az oldalon néhány feladatot találsz témakörönként az új (VITMAB04) [[Adatbázisok|Adatbázisokhoz]], amik a régi tárgy 1996-2007 közötti ZH feladatsoraiból lettek kiválogatva. Ezek a feladatok az új tárgyban a ZH után kerülnek leadásra, így alapvetően a vizsgán találkozhatsz ezekhez hasonló feladatokat. | -->Ezen az oldalon néhány feladatot találsz témakörönként az új (VITMAB04) [[Adatbázisok|Adatbázisokhoz]], amik a régi tárgy 1996-2007 közötti ZH feladatsoraiból lettek kiválogatva. Ezek a feladatok az új tárgyban a ZH után kerülnek leadásra, így alapvetően a vizsgán találkozhatsz ezekhez hasonló feladatokat. Az eredeti feladatlapokat megtalálod a [[Adatbázisok_(régi)#Zh|régi tárgy]] oldalán. | ||
== Normalizálás== | == Normalizálás== | ||
34. sor: | 34. sor: | ||
* B2. X → YZ és Z → C-ből következik X → YZC | * B2. X → YZ és Z → C-ből következik X → YZC | ||
* B3. X → YZ-ből következik X → Y | * B3. X → YZ-ből következik X → Y | ||
{{Rejtett|mutatott='''Megoldás'''|szöveg= | |||
* A reflexivitás: X → Y(X \ Y) igaz B1 miatt, ha Y ⊆ X, innen pedig B3-mal jön, hogy ekkor X → Y is fennáll. | |||
* A kiegészítés: Legyen A → B igaz és legyen F egy tetszőleges attribútumhalmaz. B1 miatt AF → AF is igaz. Erre a függésre és az A → B-re alkalmazva B2-t (X = AF, Z = A, Y = F, illetve C = B szereposztással) kapjuk, hogy AF → AFB igaz. Innen B3-mal jön, hogy AF → BF. | |||
* A tranzitivitás: Tegyük fel, hogy A → B és B → D igazak. B2-t használva (X = A, Z = B, Y = ∅ és C = D szereposztással), kapjuk A → BD-t, ahonnan B3-mal jön A → D. | |||
}} | |||