Declarative query language là gì?

Ngôn ngữ truy vấn khai báo (declarative query language) là một loại của ngôn ngữ truy vấn (query language), trong ngôn ngữ truy vấn này người dùng mô tả thông tin mong muốn mà không đưa ra trình tự các bước cụ thể hoặc lệnh gọi hàm để lấy thông tin đó; thông tin mong muốn thường được mô tả bằng cách sử dụng một số dạng logic toán học (mathematical logic). Công việc của hệ cơ sở dữ liệu (database system) là tìm ra cách để có được thông tin mong muốn.