„Adatbázisok - Relációs lekérdezések gyakorlat” változatai közötti eltérés
| 116. sor: | 116. sor: | ||
* <math> R^{(m)}(s^{(m)}) \wedge s^{(m)}[1]=3 </math> | * <math> R^{(m)}(s^{(m)}) \wedge s^{(m)}[1]=3 </math> | ||
** Az első tagot csak domainbeli sorok elégíthetik ki, a második nem tartalmaz kvantort, ezért biztonságos. | ** Az első tagot csak domainbeli sorok elégíthetik ki, a második nem tartalmaz kvantort, ezért biztonságos. | ||
* <math> R^{(m)}(s^{(m)}) \wedge s^{(m)}[1] | * <math> R^{(m)}(s^{(m)}) \wedge s^{(m)}[1] < 3 </math> | ||
** Az előzőhöz hasonlóan biztonságos. | ** Az előzőhöz hasonlóan biztonságos. | ||
* <math> \neg R^{(m)}(s^{(m)}) \wedge s^{(m)}[1]=3 </math> | * <math> \neg R^{(m)}(s^{(m)}) \wedge s^{(m)}[1]=3 </math> | ||