El lenguaje SQL (por sus siglas en inglés “Structured Query Language”) es hoy en día el estándar para las operaciones de base de datos relacionales
Es tanto un Lenguajes de definición de datos como un lenguaje de manipulación de datos.
Es un lenguaje no procedural, y está basado en el Cálculo Relacional de tuplas.
SQL es una gramática libre de contexto (context-free grammar, CFG). Esto implica que su sintaxis puede ser descrita a través de reglas de producción.
Una de las notaciones más conocidas para CFG es la notación de Backus-Naur (Backus-Naur form, BNF). Esta es la notación adoptada en el estándar.