Koga zanima, ovo nije programiranje već matematička osnova istog.
Tačnije, nije osnov programiranja uopšteno, već programiranja upita kod relacionih baza podataka.
Ovo su Bulova i relaciona algebra.
Relaciona algebra i relacioni račun zajedno čine osnovu SQL jezika.