„Adatbázisok/ZH feladatok” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
aNincs szerkesztési összefoglaló |
||
| 117. sor: | 117. sor: | ||
a) π<sub>sör</sub>(Kapható) \ π<sub>sör</sub>(π<sub>személy,sör</sub>(Kapható ⋈ Látogat) \ Kedvel) | a) π<sub>sör</sub>(Kapható) \ π<sub>sör</sub>(π<sub>személy,sör</sub>(Kapható ⋈ Látogat) \ Kedvel) | ||
Magyarázat: π<sub>személy,sör</sub>(Kapható ⋈ Látogat) megadja azt, hogy az emberek milyen sörökhöz juthatnak hozzá, π<sub>személy,sör</sub>(Kapható ⋈ Látogat) \ Kedvel a "rossz" (személy, sör) párokat adja meg, azaz azokat az embereket és söröket, amely emberek megkaphatják kocsmájukban az adott sört, de nem szeretik. Ezen reláció sör-vetülete a "rossz" sörök halmaza, ezt kell kivonni az összes sör halmazából. Itt hallgatólagosan feltettük, hogy minden sör kapható valahol. Megjegyzés: Az olyan relációs algabrai kifejezések, melyekben csak , , , , | Magyarázat: π<sub>személy,sör</sub>(Kapható ⋈ Látogat) megadja azt, hogy az emberek milyen sörökhöz juthatnak hozzá, π<sub>személy,sör</sub>(Kapható ⋈ Látogat) \ Kedvel a "rossz" (személy, sör) párokat adja meg, azaz azokat az embereket és söröket, amely emberek megkaphatják kocsmájukban az adott sört, de nem szeretik. Ezen reláció sör-vetülete a "rossz" sörök halmaza, ezt kell kivonni az összes sör halmazából. Itt hallgatólagosan feltettük, hogy minden sör kapható valahol. Megjegyzés: Az olyan relációs algabrai kifejezések, melyekben csak ∪, ∩, ×, ⋈, π és σ műveletek fordulnak elő, szükségképpen monotonok, abban az értelemben, hogy ha a kifejezésekben szereplő alaprelációkat bővítjük, akkor az eredmény semmiképpen sem lesz szűkebb. Ez a monotonitás azonban nem igaz a feladatbeli relációra: például ha a Kapható relációt bővítjük egy olyan (Kocsma, Sör) párral, amely sörnek egy esküdt ellensége látogatja az adott kocsmát, akkor ezzel a "jó" sörök halmaza szűkül(het). Ezért biztosan nem jók azok a megoldások, melyekben csak a fenti műveletek szerepelnek. | ||
b) π<sub>személy</sub>(Látogat) \ π<sub>személy</sub>(π<sub>személy,sör</sub>(Kapható ⋈ Látogat) \ Kedvel) | b) π<sub>személy</sub>(Látogat) \ π<sub>személy</sub>(π<sub>személy,sör</sub>(Kapható ⋈ Látogat) \ Kedvel) | ||