Obtenga valores distintos de la matriz MySQL JSON

Lo siento por la nigromancia, pero me he encontrado con un problema similar. La solución es:JSON_TABLE() disponible desde MySQL 8.0.

Primero, combine las matrices en filas en una sola matriz de una fila.

select concat('[',         -- start wrapping single array with opening bracket
    replace(
        replace(
            group_concat(vals),  -- group_concat arrays from rows
            ']', ''),            -- remove their opening brackets
        '[', ''),              -- remove their closing brackets
    ']') as json             -- finish wraping single array with closing bracket
from (
  select '[801, 751, 603, 753, 803]' as vals
  union select '[801, 751]'
  union select '[578, 66, 15]'
) as jsons;

# gives: [801, 751, 603, 753, 803, 801, 751, 578, 66, 15]

Segundo, use json_table para convertir la matriz en filas.

select val
from (
    select concat('[',
        replace(
            replace(
                group_concat(vals),
                ']', ''),
            '[', ''),
        ']') as json
    from (
      select '[801, 751, 603, 753, 803]' as vals
      union select '[801, 751]'
      union select '[578, 66, 15]'
    ) as jsons
) as merged
join json_table(
    merged.json,
    '$[*]' columns (val int path '$')
) as jt
group by val;

# gives...
801
751
603
753
803
578
66
15

Consulte https://dev. mysql.com/doc/refman/8.0/en/json-table-functions.html#function_json-table

Observe group by val para obtener valores distintos. También puedes order ellos y todo...

O puede usar group_concat(distinct val) sin el group by directiva (!) para obtener un resultado de una línea.

O incluso cast(concat('[', group_concat(distinct val), ']') as json) para obtener una matriz json adecuada:[15, 66, 578, 603, 751, 753, 801, 803] .

Lea mis Mejores prácticas para usar MySQL como almacenamiento JSON :)