2.8 Kvantifikace v SQL

• Př. "Pro všechny filmy platí, že mají režiséra".

• Logika: univerzální () a existenční () kvantifikátor jsou spolu svázány transformací:

• x (p(x)) xp(x))

• Ekvivalentní vyjádření: "Neexistuje film takový, že není pravda, že tento film má režiséra".

• Jednodušeji:"Každý film má režiséra " je ekvivalentní tvrzení "Neexistuje film bez režiséra".

• EXISTS

• simuluje  (test na neprázdnost množiny)