DolphinDB 如何清除分布式表的历史数据?

How DolphinDB clears historical data from distributed tables?

我正在使用 DolphinDB 来存储工厂设备生成的实时指标。有 1000 台设备,每台设备每秒生成 3000 个指标。我在 DolphinDB 中构建了一个分布式数据库来存储和分析这些数据:

db1 = database (, VALUE, 2013.01.01... 2018.12.31)
db2 = database (, RANGE, 1000* (1.10))
db = database ("dfs://DevMetricsDB", COMPO, [db1, db2])
db.createPartitionedTable(t, "metricsTb", `timestamp` devId)

由于服务器磁盘容量不够存储一个多月的数据,所以我准备做一个计划任务,对当前数据库一个月前的数据进行备份和删除。我发现 DolphinDB 分布式表不支持 'delete' 数据。我应该怎么办? DolphinDB 可以做到这一点吗?还是我需要 shell 个脚本来执行此操作?

请使用功能dropPartition删除历史数据。

db = database ("dfs://DevMetricsDB")
start = today() - 40
end = today() - 30
dropPartition(db, start..end)