On: There Are Three Programming Paradigms (2013)

[AdieuToLogic]

In the categorization presented in the OP, SQL would be categorized as "constraint programming" as described here[0]. Essentially, SQL conforms to a subset of predicate calculus[1] whose operations are quantified by relational algebra[2].

HTH

0 - http://lambda-the-ultimate.org/node/4370

1 - https://en.wikipedia.org/wiki/First-order_logic

2 - https://en.wikipedia.org/wiki/Relational_algebra