SQLに集合論の用語が出てくる余地はないけど
型理論は普通にやっててもそれなりに出てくるからなあ
Javaプログラマでも反変と共変くらいは聞いたことあるだろん