„Adatbázisok - Relációs lekérdezések gyakorlat” változatai közötti eltérés
| 112. sor: | 112. sor: | ||
* Az univerzális kvantoros kifejezéseket egzisztenciális kvantorossá kell alakítani a <math> \forall x: \omega(x) \Leftrightarrow \neg(\exists x: (\neg \omega(x))) </math> összefüggéssel. | * Az univerzális kvantoros kifejezéseket egzisztenciális kvantorossá kell alakítani a <math> \forall x: \omega(x) \Leftrightarrow \neg(\exists x: (\neg \omega(x))) </math> összefüggéssel. | ||
'''Kvantor nélküli kifejezések:''' | '''Kvantor nélküli kifejezések:''' | ||
* <math> s^{(m)}[1] | * <math> s^{(m)}[1] < 3 </math> | ||
** Nyilván nem csak domainbeli (itt a domain csak a 3-mat tartalmazza) elemeket tartalmazó sorok elégíthetik ki, úgyhogy nem biztonságos. | ** Nyilván nem csak domainbeli (itt a domain csak a 3-mat tartalmazza) elemeket tartalmazó sorok elégíthetik ki, úgyhogy nem biztonságos. | ||
* <math> R^{(m)}(s^{(m)}) \wedge s^{(m)}[1]=3 </math> | * <math> R^{(m)}(s^{(m)}) \wedge s^{(m)}[1]=3 </math> | ||