how to eliminate duplicate records from a distributed table in a DolphinDB query

Question

I used the following script to delete duplicate records from the query result in DolphinDB:

select * from quotes where date=2020.12.10 and isDuplicated([date, tim