I also though this could be an optimization, but in reality, this might be not necessary. In the demo, I have one record per file. Although I only delete one record, I do delete all records in this file and have no records left. Because in reality the data is large, it is might be unlikely to delete all records in one file.