„Adatbázisok - Relációs lekérdezések gyakorlat” változatai közötti eltérés
| 124. sor: | 124. sor: | ||
'''Kvantort tartalmazó kifejezések:''' | '''Kvantort tartalmazó kifejezések:''' | ||
* Először vizsgáljuk meg biztonságosság szempontjából az alábbi három kifejezést és negáltjaikat: | * Először vizsgáljuk meg biztonságosság szempontjából az alábbi három kifejezést és negáltjaikat: | ||
* <math> \Phi(x, y)=R_1(x, y) \wedge y | * <math> \Phi(x, y)=R_1(x, y) \wedge y > 0 </math> | ||
* <math> \Psi(x, y)=\neg R_1(x, y) \vee y | * <math> \Psi(x, y)=\neg R_1(x, y) \vee y > 0 </math> | ||
* <math> \Omega(x, y)=R_1(x, y) \vee y | * <math> \Omega(x, y)=R_1(x, y) \vee y > 0 </math> | ||
* <math> \Theta(x)=R_2(x) \wedge \exists y: \Phi(x, y) </math> | * <math> \Theta(x)=R_2(x) \wedge \exists y: \Phi(x, y) </math> | ||
* <math> \Theta(x)=R_2(x) \wedge \exists y: \Psi(x, y) </math> | * <math> \Theta(x)=R_2(x) \wedge \exists y: \Psi(x, y) </math> | ||