Ottieni valori distinti dall'array JSON MySQL

Scusa per la negromanzia, ma ho riscontrato un problema simile. La soluzione è:JSON_TABLE() disponibile da MySQL 8.0.

Innanzitutto, unisci gli array in righe in un array singolo di una riga.

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]

Secondo, usa json_table per convertire l'array in righe.

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

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

Avviso group by val per ottenere valori distinti. Puoi anche order loro e tutto...

Oppure puoi usare group_concat(distinct val) senza il group by direttiva (!) per ottenere il risultato su una riga.

O anche cast(concat('[', group_concat(distinct val), ']') as json) per ottenere un array json corretto:[15, 66, 578, 603, 751, 753, 801, 803] .

Leggi le mie Best practice per l'utilizzo di MySQL come storage JSON :)