What type of language is SQL?
Declarative (non-procedural). You state *what* result you want, not *how* to compute it. The database's query optimizer decides the "how" — which indexes to use, which join order is fastest, etc.
Compare with PL/SQL (Oracle) or T-SQL (SQL Server), which are procedural extensions that add loops, variables, and conditional logic.