„Adatbázisok - Relációs lekérdezések gyakorlat” változatai közötti eltérés
a Ferrero átnevezte a(z) Adatbázisok 3. gyakorlatbrRelációs lekérdezések lapot a következő névre: Adatbázisok 3. gyakorlat - Relációs lekérdezések |
|||
| 101. sor: | 101. sor: | ||
==Biztonságosak-e az alábbi kifejezések? A választ indokoljuk!== | ==Biztonságosak-e az alábbi kifejezések? A választ indokoljuk!== | ||
* A biztonságos sorkalkulust azért találták ki, mert a sorkalkulust nem mindig lehet véges sok lépésben kiértékelni. Pl. egy olyan kifejezést, hogy <math> s^{(m)}[1] | * A biztonságos sorkalkulust azért találták ki, mert a sorkalkulust nem mindig lehet véges sok lépésben kiértékelni. Pl. egy olyan kifejezést, hogy <math> s^{(m)}[1] < 3 </math> végtelen sokféle sor kielégíthet, ezért előfordulhat, hogy nem fog véges sok lépésben lefutni a kiértékelése. Ezt úgy küszöbölték ki a biztonságos változatban, hogy tettek két megkötést. Ezeknek az egyszerű megfogalmazásához két dolog: | ||
** Egy formula domainje értékek egy halmaza. Két dologból áll össze: a formulában szereplő konstansok, illetve a formulában szereplő relációk összes sorának összes értéke. Nevezzünk "ismeretlen" sornak olyan sorokat, amiknek van domainen kívüli értéke. | ** Egy formula domainje értékek egy halmaza. Két dologból áll össze: a formulában szereplő konstansok, illetve a formulában szereplő relációk összes sorának összes értéke. Nevezzünk "ismeretlen" sornak olyan sorokat, amiknek van domainen kívüli értéke. | ||
** Független változó olyan változó, amit "kívülről kap" a kifejezés, pl. <math> \exists y^{(m)}: (R^{(m)}(y^{(m)}) \wedge y^{(m)}[1]=x^{(n)}[2]) </math>-ban x-et "kívülről" kapja a kifejezés, és ehhez keres olyan y-t, amire teljesül a feltétel. | ** Független változó olyan változó, amit "kívülről kap" a kifejezés, pl. <math> \exists y^{(m)}: (R^{(m)}(y^{(m)}) \wedge y^{(m)}[1]=x^{(n)}[2]) </math>-ban x-et "kívülről" kapja a kifejezés, és ehhez keres olyan y-t, amire teljesül a feltétel. | ||