A programming language, like SQL (Structured Query Language), that defines the answer that's wanted rather than the method by which the answer is generated. You neither know nor care what algorithm is used to search that data structure for the requested information.