„Adatbázisok/Vizsga feladatok” változatai közötti eltérés

Nagy Marcell (vitalap | szerkesztései)
Ú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…”
 
Nagy Marcell (vitalap | szerkesztései)
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.
}}