¿El comportamiento de valla de optimización de un CTE (CON consulta) se especifica en el estándar SQL: 2008? ¿Si es así, donde?

Veo referencias frecuentes a WITHconsultas (expresiones de tabla comunes o CTE) que actúan como una valla de optimización, donde el servidor no puede insertar filtros en las consultas de CTE, extraer expresiones comunes del CTE, etc. A menudo se afirma ser un comportamiento requerido por los estándares SQL.

Los CTE son definitivamente una valla de optimización en PostgreSQL ... ¿pero esto es requerido por el estándar, o en realidad solo por detalles de implementación?

Por ejemplo, estas publicaciones en la lista de correo afirman o sugieren que es estándar:

• http://www.digipedia.pl/usenet/thread/11566/101385/

Después de mencionarlo en un comentario, me preguntaron dónde está especificado, y después de echar un vistazo al único borrador de SQL: 2008 al que tengo acceso, no tengo mucha suerte para encontrarlo.

Todavía no he estudiado el estándar de manera intensiva, por lo que espero una sugerencia de alguien que lo haya hecho: ¿El estándar requiere realmente el cerco de optimización de CTE en PostgreSQL? Y si es así, ¿dónde se especifica? ¿O las declaraciones en la lista de correo Pg son erróneas?

¿Ver también la cerca de optimización CTE de hilo en la lista de tareas pendientes? .

Creo que es un detalle de implementación.

No se requiere una implementación conforme para realizar la secuencia exacta de acciones definidas en las Reglas Generales, siempre que su efecto en los datos y esquemas SQL, en los parámetros del host y la variable del host, y en los parámetros SQL y las variables SQL sea idéntico al efecto de ese secuencia. El término se usa efectivamente para enfatizar acciones cuyo efecto podría lograrse de otra manera mediante una implementación. ¹

Creo que un implementador podría evaluar una expresión de tabla común 20 veces, incluso de 20 maneras diferentes, y aún así tener una implementación conforme. La única cuestión relevante es si "su efecto ... es idéntico al efecto" de la secuencia de acciones definidas en las Reglas generales.

[1] Sección 6.3.3.3, "Orden de evaluación de reglas", en un borrador del estándar SQL 2008, con el nombre de archivo local 5CD2-01-Framework-2006-01.pdf, p. 41 Me tienen ninguna idea de dónde lo tengo. Google podría saberlo.