EXPLAIN FORMAT JSON Knows Everything About UNIONs: Union_result And Query_specifications