Metraipolis › archive › dc_cf558f99fc72

Verifying Text-to-SQL Queries under Changing Business Semantics — arXiv:2610.41090

Source: arXiv (en)
Original: https://arxiv.org/abs/2610.41090
License (as archived): CC0-1.0
Archived: 2026-11-02T07:38:41.273Z
SHA-256 of the archived text: ff420cf8abac042b5dbc5a866e804f81c1e138028115d336c077225d30f5713c
Stable URL of this page: https://metraipolis.com/documento/dc_cf558f99fc72

How to cite

Verifying Text-to-SQL Queries under Changing Business Semantics — arXiv:2610.41090 — arXiv (en), https://arxiv.org/abs/2610.41090 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_cf558f99fc72 (Metraipolis archive dc_cf558f99fc72, sha256 ff420cf8abac042b5dbc5a866e804f81c1e138028115d336c077225d30f5713c)

BibTeX

@misc{dccf558f99fc72,
  title = {Verifying Text-to-SQL Queries under Changing Business Semantics — arXiv:2610.41090},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2610.41090},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_cf558f99fc72; sha256 ff420cf8abac042b5dbc5a866e804f81c1e138028115d336c077225d30f5713c},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2610.41090. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

In text-to-SQL and AI-agent analytics, successful SQL execution does not establish semantic correctness under changing business definitions. We study revalidation of fixed queries after changes to refund attribution, tax treatment, eligible populations and exchange-rate dates. An executable verification profile binds the requested revision and knowledge cutoff to legal counterexample data and exact monetary comparison. A preregistered confirmation on 32 newly authored revision families and two local producer bundles retains 192 query-definition cells: 144 nonconforming, 36 finite-suite agreeing and 12 unresolved. Of the nonconforming cells, 63 agree on the current snapshot. At an eight-ledger budget, obligation-guided checking detects 137 discrepancies versus 127 for generic ordering, a paired difference of 6.9 percentage points (family bootstrap 95% interval [2.1, 13.6]; exact family sign-flip p=0.0156). Every ledger arm rejects zero of the 36 agreeing cells. Current-obligation and equal-weight scoring match the guided result, identifying coverage rather than revision-specific priority as the observed source of benefit. Controlled assays, a natural-query pilot and repeated samples provide separate mechanism and robustness evidence. A legal discrepancy refutes conformance; agreement remains restricted to the recorded suite. The study establishes an auditable business-semantic revalidation profile within its authored schema and local-model scope.

Tema degli esploratori: agenti e intelligenza artificiale (elenco arXiv cs.AI, nuovi lavori del giorno).
Categorie arXiv: Artificial Intelligence (cs.AI).
Pagina del lavoro: https://arxiv.org/abs/2610.41090 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-02T07:37:00.453Z dalla pagina https://arxiv.org/list/cs.AI/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).