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 computing it, as opposed to the conventional programming languages, which are procedural.