Tipos de EXPLAIN
AST— Árbol de sintaxis abstracta.SYNTAX— Texto de la consulta tras las optimizaciones a nivel de AST.QUERY TREE— Árbol de consulta tras las optimizaciones a nivel de Query Tree.PLAN— Plan de ejecución de la consulta.PIPELINE— Canalización de ejecución de la consulta.ANALYZE— Ejecuta la consulta y anota el plan de ejecución con métricas de runtime medidas.ESTIMATE— Número estimado de filas, marcas y partes que se leerán de las tablas al procesar la consulta.TABLE OVERRIDE— Resultado validado de una sobrescritura de tabla sobre el esquema de una función de tabla.
EXPLAIN AST
SELECT.
Configuración:
graph– Imprime el AST como un grafo descrito en el lenguaje de descripción de grafos DOT. Valor predeterminado: 0.
EXPLAIN SYNTAX
oneline– Imprime la consulta en una sola línea. Valor predeterminado:0.run_query_tree_passes– Ejecuta las pasadas del árbol de consulta antes de volcar el árbol de consulta. Valor predeterminado:0.query_tree_passes– Si se establecerun_query_tree_passes, especifica cuántas pasadas se ejecutan. Si no se especificaquery_tree_passes, se ejecutan todas las pasadas.
Query
Response
run_query_tree_passes:
Query
Response
EXPLAIN QUERY TREE
run_passes— Ejecuta todas las pasadas del árbol de consulta antes de volcarlo. Valor predeterminado:1.dump_passes— Vuelca información sobre las pasadas utilizadas antes de volcar el árbol de consulta. Valor predeterminado:0.passes— Especifica cuántas pasadas ejecutar. Si se establece en-1, ejecuta todas las pasadas. Valor predeterminado:-1.dump_tree— Muestra el árbol de consulta. Valor predeterminado:1.dump_ast— Muestra el AST de la consulta generado a partir del árbol de consulta. Valor predeterminado:0.
EXPLAIN PLAN
optimize— Controla si las optimizaciones del plan de consulta se aplican antes de mostrar el plan. Predeterminado: 1.header— Imprime el encabezado de salida del paso. Predeterminado: 0.description— Imprime la descripción del paso. Predeterminado: 1.indexes— Muestra los índices utilizados, el número de partes filtradas y el número de gránulos filtrados para cada índice aplicado. Predeterminado: 0. Compatible con tablas MergeTree. A partir de ClickHouse >= v25.9, esta sentencia solo muestra una salida adecuada cuando se usa conSETTINGS use_query_condition_cache = 0, use_skip_indexes_on_data_read = 0.projections— Muestra todas las proyecciones analizadas y su efecto en el filtrado a nivel de parte según las condiciones de la clave primaria de la proyección. Para cada proyección, esta sección incluye estadísticas como el número de partes, filas, marcas y rangos evaluados con la clave primaria de la proyección. También muestra cuántas partes de datos se omitieron debido a este filtrado, sin leer de la propia proyección. Si una proyección se usó realmente para la lectura o solo se analizó para el filtrado puede determinarse mediante el campodescription. Predeterminado: 0. Compatible con tablas MergeTree.actions— Imprime información detallada sobre las acciones del paso. Predeterminado: 1.sorting— Imprime la descripción de ordenación de cada paso del plan que produce una salida ordenada. Predeterminado: 0.keep_logical_steps— Conserva los pasos lógicos del plan para joins en lugar de convertirlos en implementaciones físicas de join. Predeterminado: 0.json— Imprime los pasos del plan de consulta como una fila en formato JSON. Predeterminado: 0. Se recomienda usar el formato TabSeparatedRaw (TSVRaw) para evitar escapes innecesarios.input_headers— Imprime los encabezados de entrada del paso. Predeterminado: 0. Principalmente útil solo para desarrolladores al depurar problemas relacionados con discrepancias entre los encabezados de entrada y salida.column_structure— Imprime también la estructura de las columnas en los encabezados, además de su nombre y tipo. Predeterminado: 0. Principalmente útil solo para desarrolladores al depurar problemas relacionados con discrepancias entre los encabezados de entrada y salida.distributed— Muestra los planes de consulta ejecutados en nodos remotos para tablas distribuidas o réplicas paralelas. No compatible conjson. Predeterminado: 0.compact— Cuando está habilitado, oculta del plan los pasos de expresión y la información detallada de las acciones (entradas, funciones, alias y posiciones de salida). Solo tiene efecto cuandoactions = 1. Predeterminado: 1.pretty— Imprime el árbol del plan usando caracteres de dibujo de líneas (├──, └──, │) en lugar de sangría para visualizar la jerarquía. También muestra en línea las propiedades del paso de join. Predeterminado: 1.
De forma predeterminada,
explain_query_plan_default = 'pretty', por lo que actions, compact y pretty se inicializan en 1 y el plan se representa en la forma compacta, visualmente estructurada y anotada con acciones. Especificar cualquiera de estas opciones explícitamente en la sentencia EXPLAIN (por ejemplo, EXPLAIN actions = 0, compact = 0, pretty = 0 SELECT ...) siempre sobrescribe el valor predeterminado.Antes de ClickHouse 26.7, los valores predeterminados de actions, compact y pretty eran 0. Aún puede obtener esa salida configurando explain_query_plan_default = 'legacy' (globalmente o en SETTINGS por consulta), o configurando compatibility en cualquier versión anterior a 26.7.Las opciones json y distributed no habilitan los valores predeterminados de pretty (actions, compact y pretty), incluso cuando explain_query_plan_default = 'pretty'. Para incluir detalles de las acciones en su salida, configure actions = 1 manualmente.No se admite la estimación del costo de los pasos ni de la consulta.
json = 1, el plan de consulta se representa en formato JSON. Cada nodo es un diccionario que siempre tiene las claves Node Type, Node Id y Plans. Node Type es una cadena con el nombre del paso, y Node Id es un identificador único del paso (el nombre del paso con un sufijo numérico, p. ej. Union_10). Plans es un array con descripciones de pasos secundarios. Pueden añadirse otras claves opcionales según el tipo de nodo y la configuración.
Ejemplo:
description = 1, se añade la clave Description al paso:
header = 1, la clave Header se agrega al paso como un array de columnas.
Ejemplo:
indexes = 1, se añade la clave Indexes. Contiene un array de los índices usados. Cada índice se describe como JSON con la clave Type (una cadena Partition Min-Max, Partition, Statistics, PrimaryKey o Skip) y claves opcionales:
Name— El nombre del índice (actualmente solo se usa para índicesSkip).Keys— El array de columnas que usa el índice.Condition— La condición usada.Description— La descripción del índice (actualmente solo se usa para índicesSkip).Parts— El número de partes después/antes de aplicar el índice.Granules— El número de gránulos después/antes de aplicar el índice.Ranges— El número de rangos de gránulos después de aplicar el índice.
projections = 1, se añade la clave Projections. Contiene un array de proyecciones analizadas. Cada proyección se describe como JSON con las siguientes claves:
Name— El nombre de la proyección.Condition— La condición de la clave primaria usada por la proyección.Description— La descripción de cómo se usa la proyección (p. ej., filtrado a nivel de partes).Selected Parts— Número de partes seleccionadas por la proyección.Selected Marks— Número de marcas seleccionadas.Selected Ranges— Número de rangos seleccionados.Selected Rows— Número de filas seleccionadas.Filtered Parts— Número de partes omitidas debido al filtrado a nivel de partes.
actions = 1, las claves añadidas dependen del tipo de paso.
Ejemplo:
compact = 0 y actions = 1, se pueden ver los pasos Expression junto con información detallada sobre las expresiones:
distributed = 1, la salida incluye no solo el plan de consulta local, sino también los planes de consulta que se ejecutarán en los nodos remotos. Esto resulta útil para analizar y depurar consultas distribuidas.
distributed se representa solo en la forma legacy (no pretty), porque la salida pretty no integra los planes de los segmentos remotos en el árbol del plan. Por este motivo, habilitar distributed desactiva automáticamente los valores predeterminados de pretty (actions, compact y pretty), independientemente de explain_query_plan_default. Aun así, puede establecer actions=1 manualmente. La opción distributed tampoco se admite junto con json.pretty = 1, el árbol del plan se muestra con caracteres de dibujo de líneas en lugar de sangría, y se muestra información adicional para los pasos clave:
- Las columnas de salida de la consulta se imprimen en la parte superior del plan.
- Las expresiones en filtros, claves de agregación, descripciones de ordenación y funciones de ventana se muestran en una notación legible para humanos similar a SQL (por ejemplo,
a + 1 > 5en lugar degreater(plus(a, 1), 5)). Los prefijos internos de los identificadores de columna (como__table1.) se eliminan para mayor claridad. - Los pasos de origen (como
ReadFromMergeTree) muestran sus columnas de salida. - Los pasos de filtro muestran la condición de filtro en notación SQL. Cuando hay filtros de join en tiempo de ejecución, se muestran por separado.
- Los pasos de agregación muestran las claves y las funciones de agregación con sus argumentos (por ejemplo,
sum(c),count()). - Los conjuntos
INde literales de tupla muestran sus valores (truncados para conjuntos grandes), los conjuntos basados en subconsultas se etiquetan comosubquery1,subquery2, etc., y los conjuntos de tablas con motorSetmuestran el nombre de la tabla. - Los pasos de join muestran la relación de join mediante notación matemática, el número estimado de filas del resultado, y qué columnas de salida provienen del lado izquierdo frente al derecho. Se usan los siguientes símbolos para representar distintos tipos de JOIN:
Por ejemplo,
t1 ⟕ t2 significa un JOIN izquierdo entre las tablas t1 y t2.
El número entre corchetes después del nombre de la tabla (p. ej., t1[100]) indica el número estimado de filas
cuando hay estadísticas de tabla disponibles.
La opción pretty funciona bien junto con compact = 1, que oculta los pasos Expression y la información detallada de las acciones, lo que hace que el plan sea más fácil de leer.
Un ejemplo detallado con JOIN:
EXPLAIN PIPELINE
header— Muestra el encabezado de cada puerto de salida. Valor predeterminado: 0.graph— Muestra un grafo descrito en el lenguaje de descripción de grafos DOT. Valor predeterminado: 0.compact— Muestra el grafo en modo compacto si la configuracióngraphestá habilitada. Valor predeterminado: 1.compact_repeated_processor_chains— Compacta las cadenas repetidas de procesadores adyacentes en la salida de texto mostrando una sola copia de la cadena junto con el número de repeticiones. Esto puede facilitar la lectura de las canalizaciones paralelas cuando la misma cadena aparece muchas veces, por ejemplo, en joins. No afecta a la salida del grafo. Valor predeterminado: 0.
compact=0 y graph=1, los nombres de los procesadores contendrán un sufijo adicional con un identificador único de procesador.
Ejemplo:
EXPLAIN ANALYZE
EXPLAIN ANALYZE sí ejecuta la consulta, descarta las filas del resultado y muestra el mismo árbol del plan que EXPLAIN PLAN, con cada paso anotado con lo que realmente ocurrió en tiempo de ejecución.
Configuración:
EXPLAIN ANALYZE acepta las mismas opciones de visualización que EXPLAIN PLAN (documentadas en la sección EXPLAIN PLAN).
header— consulte la sección EXPLAIN PLAN.description— consulte la sección EXPLAIN PLAN.projections— consulte la sección EXPLAIN PLAN.sorting— consulte la sección EXPLAIN PLAN.input_headers— consulte la sección EXPLAIN PLAN.column_structure— consulte la sección EXPLAIN PLAN.actions— consulte la sección EXPLAIN PLAN. Valor predeterminado: 1.indexes— consulte la sección EXPLAIN PLAN. Valor predeterminado: 1.compact— consulte la sección EXPLAIN PLAN. Valor predeterminado: 1.pretty— consulte la sección EXPLAIN PLAN. Valor predeterminado: 1.processors— EnEXPLAIN ANALYZE, muestra una línea adicional por etapa con la distribución del tiempo transcurrido por procesador:min,median,maxysum. Es útil para detectar desequilibrios de carga entre procesadores paralelos. Valor predeterminado: 0.
Como
EXPLAIN ANALYZE realmente ejecuta la consulta encapsulada, se comporta como esa
consulta — y, a diferencia de las formas EXPLAIN que no ejecutan — de varias maneras:- Cuotas y límites. Se contabiliza en las mismas cuotas
y está sujeto a los mismos límites
(por ejemplo,
query_selects,read_rows) que ejecutar la consulta directamente. Las fuentes exentas de cuotas durante la planificación (comosystem.one) no se contabilizan. - Transacciones fallidas. Dentro de una transacción
que ya falló (
ROLLED_BACK), se rechaza conINVALID_TRANSACTION, igual que unSELECTsimple: primero ejecuteROLLBACK. - Lecturas en streaming. En una lectura en streaming (
FROM ... STREAM), se rechaza conNOT_IMPLEMENTED, porque esa lectura nunca finaliza. - Consultas distribuidas. No es compatible con consultas ejecutadas en modo distribuido.
Time— tiempo total dividido en las fases de planificación (es decir, creación del plan + optimización del plan + construcción de la canalización) y ejecución (ejecución de la canalización).Read— filas y bytes sin comprimir leídos de las tablas, junto con el rendimiento: los mismos valores que el pie de la consulta normal muestra como “Processed”.Peak memory— memoria máxima utilizada por la consulta.
I/O). El tiempo y el paralelismo se informan por etapa del paso en las siguientes líneas con sangría.
rows <in> → <out>— filas que entraron y salieron del paso; (<selectivity>%) muestra cuánto filtró (out/in) o expandió los datos el paso; se oculta cuando las filas de entrada son iguales a las de salida y cuando las filas de entrada son iguales a0.<bytes_in> → <bytes_out>— bytes en memoria sin comprimir que fluyen por el paso (se omite cuando ambos son cero).time <t> (<share>%)— tiempo de reloj durante el que la etapa estuvo activa y su proporción del tiempo de ejecución de la consulta (es decir, sin incluir el tiempo de build). Tenga en cuenta que las proporciones pueden sumar más del 100% porque las etapas y los pasos se ejecutan de forma concurrente.parallelism <avg>/<max>— número medio de hilos de CPU trabajando a la vez dentro de esta etapa, sobre el máximo que podía usar. Un valor cercano al máximo significa que la etapa estuvo bien paralelizada; un valor cercano a 1 significa que se ejecutó casi siempre en serie.Stage (<stage>)— el nombre de la etapa. Un paso con una sola etapa imprime la línea de tiempo directamente, sin una etiquetaStage (...). Los pasos con varias etapas imprimen una línea etiquetada por etapa; por ejemplo,AggregatingmuestraStage (partial aggregation)yStage (final aggregation), y un hash join muestraStage (build)yStage (probe).
ClickHouse paraleliza no solo la ejecución de tareas dentro de un paso del plan, sino también la ejecución de los propios pasos del plan. La métrica
parallelism refleja solo el trabajo de este paso. Otros pasos pueden ejecutarse de forma concurrente, por lo que este valor no muestra cómo se compara el paralelismo del paso con el de toda la consulta.El valor máximo en
parallelism se calcula como el mínimo entre:- el número total de tareas dentro del paso del plan;
- el número máximo de hilos de procesamiento de consultas configurado en
max_threads.
processors = 1, se imprime una línea adicional debajo de cada etapa que muestra la distribución del tiempo transcurrido entre los procesadores de la etapa:
<n> es el número de procesadores de la etapa. Una gran diferencia entre median y max apunta a un desequilibrio de carga entre los procesadores paralelos.
EXPLAIN ESTIMATE
Query
Query
Response
EXPLAIN WHATIF
SELECT, sin materializar el índice en disco. Defina uno o más candidatos con CREATE HYPOTHETICAL INDEX y luego ejecute EXPLAIN WHATIF SELECT ... para ver, para cada candidato, si aplica, las marcas estimadas leídas, los bytes estimados y la tasa de omisión.
Sintaxis
empirical—1(predeterminado) ejecuta el índice en memoria sobre los gránulos descartados según la línea base para medir la tasa de descarte (un límite superior).0omite ese paso. En cualquier caso, siempiricalno produce un resultado (porque está deshabilitado o porque el índice no puede evaluarse en memoria), el estimador recurre a las estadísticas de columna y, por último, a un resumen únicamente de aplicabilidad si ninguna de las dos está disponible.
source— cómo se generó la estimación.empirical: construyó el índice en memoria sobre los gránulos podados por la línea base y contó los gránulos que el índice omitiría. Este es un límite superior; consulta las limitaciones enCREATE HYPOTHETICAL INDEX.statistical: se deriva de las estadísticas de columnas. Se usa cuandoempiricalestá deshabilitado (empirical = 0) o cuandoempiricalno pudo producir un resultado, y hay estadísticas de columnas definidas en las columnas relevantes.applicability_only: el índice es aplicable al predicado, pero ni la estimaciónempiricalni lastatisticalprodujeron un resultado (p. ej.,empirical = 0y no hay estadísticas de columnas definidas). Informaskip_ratio: 0.0%como límite conservador.
sampled_parts/sampled_marks—<baseline-pruned> / <total in the table>. Muestra qué fracción de la tabla quedó tras la poda por PK, partición e índices existentes; es decir, la entrada del índice hipotético.est_bytes— una estimación de los bytes leídos, derivada del tamaño medio de fila de la tabla, por lo que es aproximada y varía según el almacenamiento y la compresión. La línea de base aparece solo cuando la consulta lee filas; la línea por candidato, solo cuando se conoce la estimación de bytes de la línea de base.
WHATIF y SELECT; no hay palabra clave SETTINGS (esto coincide con cómo otras variantes de EXPLAIN aceptan sus opciones).
Si no hay índices hipotéticos definidos para la tabla, EXPLAIN WHATIF informa status: not_applicable con una sugerencia para crear uno.
Fila combinada (múltiples candidatos)
Cuando dos o más candidatos se evalúan empíricamente, EXPLAIN WHATIF agrega un bloque adicional llamado (combined: idx_a, idx_b, ...) después de las filas de cada candidato. Informa del beneficio conjunto de tener todos esos índices a la vez: una lectura real conserva un gránulo solo si sobrevive a todos los índices de omisión, por lo que la estimación combinada es la intersección de los gránulos supervivientes de los candidatos. Por tanto, su skip_ratio es al menos tan alta como la del mejor candidato individual: los índices complementarios podan más juntos, mientras que los redundantes la dejan sin cambios.
Solo contribuyen los candidatos con source: empirical, porque la fila combinada se construye al intersectar sus conjuntos de supervivencia por gránulo. Los candidatos estimados como statistical o applicability_only no tienen datos por gránulo y se excluyen; en consecuencia, el bloque combinado aparece solo cuando al menos dos candidatos produjeron una estimación empírica y, en caso contrario, se omite (por ejemplo, con empirical = 0). Sus campos de estimación se leen igual que los de un bloque empírico por candidato, excepto que elapsed_us es 0 — la estimación combinada se deriva de los escaneos por candidato, no de un escaneo nuevo. El nombre sintético (combined: ...) es solo una etiqueta del informe y no puede usarse con force_data_skipping_indices.
Ejemplo empírico
minmax hipotético podaría de 100 marcas a 1 — skip_ratio: 99.0%. (est_bytes es una estimación basada en el tamaño promedio de la fila, por lo que la cifra exacta puede variar.)
Ejemplo estadístico
Las estadísticas de columna están desactivadas de forma predeterminada. Para usar la ruta statistical, defínalas primero en las columnas correspondientes y espere a que finalice la mutación de materialización:
b < 10 (aproximadamente 10 filas de 10000) y se muestra como un límite superior de skip_ratio. No hay sampled_parts / sampled_marks: no se leyó ningún dato.
Si ninguna de las dos vías está disponible (p. ej., empirical = 0 y no hay estadísticas de columna definidas), el estimador informa source: applicability_only y un skip_ratio: 0.0% conservador.
EXPLAIN TABLE OVERRIDE
Query
Query
Response
La validación aún no es exhaustiva, por lo que una consulta correcta no garantiza que la sobrescritura no vaya a causar problemas.