Desculpe pela necromancia, mas encontrei um problema semelhante. A solução é:
JSON_TABLE() disponível desde o MySQL 8.0. Primeiro, mescle as matrizes em linhas em uma única matriz de uma linha.
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 converter a matriz em linhas. 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 obter valores distintos. Você também pode order eles e tudo... Ou você pode usar
group_concat(distinct val) sem o group by diretiva (!) para obter o resultado de uma linha. Ou mesmo
cast(concat('[', group_concat(distinct val), ']') as json) para obter uma matriz json adequada:[15, 66, 578, 603, 751, 753, 801, 803] . Leia minhas Práticas recomendadas para usar MySQL como armazenamento JSON :)
