querying relational data with set theory is pretty different to expressing imperative programs in a programming language sql is not a programming language in t

querying relational data with set theory is pretty different to expressing imperative programs in a programming language sql is not a programming language in the traditional sense, it's a mistake to try to think of it in those terms, or demand traditional programming language type stuff from it