Sonar-TS: Search-Then-Verify Natural Language Querying for Time Series Databases
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917508734255104 |
|---|---|
| author | Tan, Zhao Zhao, Yiji Wang, Shiyu Xu, Chang Liang, Yuxuan Liu, Xiping Pan, Shirui Jin, Ming |
| author_facet | Tan, Zhao Zhao, Yiji Wang, Shiyu Xu, Chang Liang, Yuxuan Liu, Xiping Pan, Shirui Jin, Ming |
| contents | Natural Language Querying for Time Series Databases (NLQ4TSDB) aims to assist non-expert users retrieve meaningful events, intervals, and summaries from massive temporal records. However, existing Text-to-SQL methods are not designed for continuous morphological intents such as shapes or anomalies, while time series models struggle to handle ultra-long histories. To address these challenges, we propose Sonar-TS, a neuro-symbolic framework that tackles NLQ4TSDB via a Search-Then-Verify pipeline. Analogous to active sonar, it utilizes a feature index to ping candidate windows via SQL, followed by generated Python programs to lock on and verify candidates against raw signals. To enable effective evaluation, we introduce NLQTSBench, the first large-scale benchmark designed for NLQ over TSDB-scale histories. Our experiments highlight the unique challenges within this domain and demonstrate that Sonar-TS effectively navigates complex temporal queries where traditional methods fail. This work presents the first systematic study of NLQ4TSDB, offering a general framework and evaluation standard to facilitate future research. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_17001 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Sonar-TS: Search-Then-Verify Natural Language Querying for Time Series Databases Tan, Zhao Zhao, Yiji Wang, Shiyu Xu, Chang Liang, Yuxuan Liu, Xiping Pan, Shirui Jin, Ming Artificial Intelligence Computation and Language Databases Natural Language Querying for Time Series Databases (NLQ4TSDB) aims to assist non-expert users retrieve meaningful events, intervals, and summaries from massive temporal records. However, existing Text-to-SQL methods are not designed for continuous morphological intents such as shapes or anomalies, while time series models struggle to handle ultra-long histories. To address these challenges, we propose Sonar-TS, a neuro-symbolic framework that tackles NLQ4TSDB via a Search-Then-Verify pipeline. Analogous to active sonar, it utilizes a feature index to ping candidate windows via SQL, followed by generated Python programs to lock on and verify candidates against raw signals. To enable effective evaluation, we introduce NLQTSBench, the first large-scale benchmark designed for NLQ over TSDB-scale histories. Our experiments highlight the unique challenges within this domain and demonstrate that Sonar-TS effectively navigates complex temporal queries where traditional methods fail. This work presents the first systematic study of NLQ4TSDB, offering a general framework and evaluation standard to facilitate future research. |
| title | Sonar-TS: Search-Then-Verify Natural Language Querying for Time Series Databases |
| topic | Artificial Intelligence Computation and Language Databases |
| url | https://arxiv.org/abs/2602.17001 |