DolphinDB:将来自同一组的结果一起存储在一列中

DolphinDB: store results together from the same group in one column

table1 = table(10:0, ["id", "value"], [INT, STRING])
insert into table1 values((1,1,2,2,3,3), `1`2`3`4`5`6)

我正在使用 DolphinDB 并且 table 如下所示:

ID Value
1 1
1 2
2 3
2 4
3 5
3 6

这是我想要生成的 table:

ID concat
1 1,2
2 3,4
3 5,6

我怎样才能做到这一点?

我想 concat 会在这里有所帮助:

select concat(string(value), ",") from table1 group by id