El optimizador es una parte del software que "toma la decisión" de como cada comando se ejecutará, tanto que la ejecución será lo más eficiente, o por lo menos bastante eficiente (es decir, bastante eficiente para evitar seguir buscando otra solución, que aún que sea más eficiente, el precio de la búsqueda adicional "costará" más que el ahorro de recursos).