Relational Algebra
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
SQL, a popular relational query language, is declarative in that its queries declare what information the answer should contain instead of how to compute it, as opposed to the conventional programming languages, which are procedural.
DBMS normally translates SQL queries into an intermediate language, the relational algebra, before they are optimized.