mysql - JSON オブジェクトの値を MySQL JSON 列から配列として抽出する

Question

json 型の MySQL 列があります。そこには、JSON オブジェクトのような dict が格納されています。次に、この JSON オブジェクトから値を抽出し、JSON 配列を作成します。

どうすればこれを達成できますか？

クエリの例

with json_objs(json_col) as (
  select CAST('{"key1": "value1", "key2": "value2"}' AS JSON)
  UNION ALL
  select CAST('{"key3": "value3", "key4": "value4"}' AS JSON)
)
select SOME_EXPR_I_CAN_T_FIGURE_OUT from json_objs

期待される結果

+----------------------+
| resulting_column     |
+----------------------+
| ["value1", "value2"] |
| ["value3", "value4"] |
+----------------------+

(テーブル DDL が必要な場合:)

CREATE TABLE `json_objs` (
  `json_col` json DEFAULT NULL
) ENGINE=InnoDB DEFAULT CHARSET=utf8