„Adatbázisok - Relációs lekérdezések gyakorlat” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
aNincs szerkesztési összefoglaló |
||
| 95. sor: | 95. sor: | ||
** Azon x-ek halmaza, akikhez létezik y, akivel ((x, y) vagy (y, x) sorrendben) sort alkotnak H-ban, és létezik z, w, amikkel, és a 'tanár' konstanssal mint foglalkozással, sort alkotnak az M táblában: <math> \{x \mid (\exists y: (H(x, y)\vee H(y, x)))\wedge(\exists z, w: M(x, \text{'tanar'}, z, w))\} </math> | ** Azon x-ek halmaza, akikhez létezik y, akivel ((x, y) vagy (y, x) sorrendben) sort alkotnak H-ban, és létezik z, w, amikkel, és a 'tanár' konstanssal mint foglalkozással, sort alkotnak az M táblában: <math> \{x \mid (\exists y: (H(x, y)\vee H(y, x)))\wedge(\exists z, w: M(x, \text{'tanar'}, z, w))\} </math> | ||
* '''Kik a BjutiSzalonban dolgozó nők férjei?''' | * '''Kik a BjutiSzalonban dolgozó nők férjei?''' | ||
** Azon x-ek halmaza, akikhez van y, hogy (y | ** Azon x-ek halmaza, akikhez van y, hogy (x, y) házaspár, és van z, w, amik y-nnal és a 'BjutiSzalon' konstanssal szerepelnek M-ben. <math> \{x \mid (\exists y: H(x, y))\wedge(\exists z, w: M(y, z, \text{'BjutiSzalon'}, w))\} </math> | ||
* '''Melyek azok a foglalkozások, amiket csak egy-egy ember űz?''' | * '''Melyek azok a foglalkozások, amiket csak egy-egy ember űz?''' | ||
** Azon x-ek halmaza, amikhez létezik y, z, w, akikkel sort alkot M-ben (vagyis van ilyen foglalkozás), de nem létezik két különböző hármas (y, z, w, t, s, u), amikkel sort alkot (és a két sorban a nevek különböznek). <math> \{x \mid (\exists y, z, w: M(y, x, z, w))\wedge(\neg\exists y, z, w, t, s, u: (M(y, x, z, w)\wedge M(t, x, s, u)\wedge(y\neq t)))\} </math> | ** Azon x-ek halmaza, amikhez létezik y, z, w, akikkel sort alkot M-ben (vagyis van ilyen foglalkozás), de nem létezik két különböző hármas (y, z, w, t, s, u), amikkel sort alkot (és a két sorban a nevek különböznek). <math> \{x \mid (\exists y, z, w: M(y, x, z, w))\wedge(\neg\exists y, z, w, t, s, u: (M(y, x, z, w)\wedge M(t, x, s, u)\wedge(y\neq t)))\} </math> | ||