Иногда после выполнения запроса в DolphinDB я понимаю, что запрос сканирует всю базу данных и его выполнение может занять очень много времени.Есть ли способ, которым я могу прекратить выполнение запроса в DolphinDB, не закрывая сеанс?Я не могу найти ответ в руководстве пользователя.