論文の概要: Verifying Text-to-SQL Queries under Changing Business Semantics
- arxiv url: http://arxiv.org/abs/2610.41090v1
- Date: Fri, 30 Oct 2026 00:13:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-02 22:05:31.567332
- Title: Verifying Text-to-SQL Queries under Changing Business Semantics
- Title（参考訳）: ビジネスセマンティクスの変更によるテキストからSQLへのクエリの検証
- Abstract要約: 帰属、税制、適格人口、為替レートの改定後の定型クエリの妥当性について検討した。
法的な不一致は反証であり、適合性は記録されたスイートに限られている。
- 参考スコア（独自算出の注目度）: 12.527950208666091
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: 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.
- Abstract（参考訳）: テキストからSQL、AIエージェントの分析において、成功したSQLの実行はビジネス定義の変更の下で意味的正当性を確立しない。
本研究は,帰属・納税・適格人口・為替レートの改定後の定型質問の妥当性について検討する。
実行可能検証プロファイルは、要求されたリビジョンと知識のカットオフを法的反例データと正確な金銭比較に結合する。
32の新たに認可されたリビジョンファミリーと2つのローカルプロデューサバンドルに対する事前登録された確認は、192のクエリ定義細胞を保持しており、144の非コンフォーミング、36の有限スーツ合意、12の未解決である。
非コンフォーミング細胞のうち63は現在のスナップショットに同意している。
8台目の予算で、義務誘導チェックは、一般的な注文の場合の137の相違を検出し、対の差は6.9ポイントである(家族ブートストラップ95%間隔[2.1,13.6]、正確な家族サインフリップp=0.0156)。
全ての台帳アームは36個の細胞のうち0を拒絶する。
電流オブリグレーションと等重量スコアリングはガイドされた結果と一致し、観察された利益源としてリビジョン固有の優先度よりもカバー範囲を同定した。
制御されたアッセイ、自然調査パイロットと繰り返しサンプルは、別個のメカニズムと堅牢性証拠を提供する。
法的不一致は従順性に反するが、合意は記録されたスイートに限られている。
この研究は、承認されたスキーマとローカルモデルの範囲内で、監査可能なビジネス・セマンティックな検証プロファイルを確立する。
関連論文リスト
- Architectural Debt Enforcement under Incomplete Observation: A Controlled Study of Ratchets and Evidence Qualification [8.401473551081748]
我々は、観察資格の分離、関係アイデンティティの禁止、相続債務、認定基準更新に関する決定契約について検討する。
4つのリポジトリから240以上のファイルが固定され、現在のオブザーバーとプログラムによる参照は166ファイル(69.17%)と正確な参照関係のエッジアグリーメントを持つ。
このコントリビューションは、言語完全性や自然維持性、新たな縮小ベースラインアルゴリズムなどではなく、エビデンス認定された執行とその制限の制御された説明である。
論文 参考訳（メタデータ） (2026-10-30T05:26:42Z) - UAE GovTrust Scope Filtering Gains and Routing Failures in Bilingual Public Service Retrieval [51.56484100374058]
UAE GovTrustは、22のサービスサマリーと、110のクエリ変異を持つ50のシナリオからなる英語とアラビア語の検索診断である。
72の一致した応答可能なクエリとバイリンガルなエビデンスでは、ロールフィルタされた逆階融合が69のクエリ(95.8%)に対して関連する最初の結果を取得する。
この研究は、生成された回答や法的正当性ではなく、検索とルーティングを評価し、独立したアラビア語とドメインの検証は依然として必要である。
論文 参考訳（メタデータ） (2026-10-23T13:30:58Z) - The Scheduler Is a Hidden Retriever: How Asynchrony Shapes Evidence Acquisition in Search Agents [43.59282896809185]
配信タイミングは、同じ初期証拠にもかかわらず、全ての結果が到着する前に行われた検索決定をリダイレクトすることを示す。
ここでは,各サブクエストが完了したときの局所的推論を解放するConfluent Acquisition Evidenceを紹介する。
CEAは、繰り返し変動の1.0パーセント以内に買収の不一致をもたらし、完全入力制御に匹敵する精度を達成する。
論文 参考訳（メタデータ） (2026-10-19T12:55:12Z) - Bayesian Test-Time Inference of Task-Aligned Similarity from Weak Interactive Feedback [50.42640957891911]
言語モデルシステムは、類似性を比較することで、繰り返しテスト時の決定を行う。
しかし、類似性はユニークではない:語彙、意味、構造、類似性はNの選択点を取得することができる。
本稿では,現在の意思決定を統括するトレーニングフリーベイズ手法であるAxis Interactive Signalsを紹介する。
論文 参考訳（メタデータ） (2026-10-13T16:19:49Z) - What Output-Only Review Cannot Verify: Study Contracts for Research Agents [10.88831138993597]
我々は、宣言された実験的な選択、義務の実行、記録された実行証拠の請求範囲を束縛する契約を提案する。
8つの自己証明されたクリーン/ミュートされたペアを用いた診断は、情報境界を示す。
契約チェックが最適化の下で有用な適合性補完を向上するかどうかの必要なテストとして,全情報比較,正則適応制御,閉ループエージェントの評価を同定する。
論文 参考訳（メタデータ） (2026-10-08T11:42:23Z) - Verification Pulses and the Cost of Escaping Wrong Consensus [2.731113456484581]
外的検証は、誤ったコンセンサスの盆地に自衛集団を残しながら、個々のアウトプットを補正することができる。
固定された検証予算のタイミングと対処が非同期バイナリレジスタの回復に与える影響について検討する。
論文 参考訳（メタデータ） (2026-09-24T03:29:27Z) - BeTaL-GBI: Admission-Aware Benchmark Tuning and Full-Stack Verification of Geometric Belief Interfaces [2.894286977279531]
本研究は,企業検証アーキテクチャが要求を監査しつつ,インターフェース障害,タスク能力,ポリシー適合性,整合性を分離できるかどうかを検討する。
BeTaL-GBI v0.2 は LLM-in-the-loop を2,218,750,380 以上のグリッドポイントで適用し、条件付き性能からフォーマットの入力を分離する。
512の総合的なタスクにおいて、16ゲートポリシーは、116の激しい矛盾を全て検出し、99のクリーンレコードを全て受け入れる。幻覚剤とエビデンスフォーガーサロゲートは無音のプロモーションでブロックされる。
論文 参考訳（メタデータ） (2026-08-21T16:52:38Z) - Business Truth, not SQL Accuracy: A Rule-Gated 7B Analytics Agent Outperforms a Direct-Prompted 32B Baseline [0.0]
本稿では,2つの合成倉庫における400の凍結作業であるWarehouseBenchについて紹介する。
7BエージェントであるQueryProofは、セマンティックレイヤと物理カタログから派生したルールを使用して、その振る舞いを決定する。
論文 参考訳（メタデータ） (2026-08-10T08:14:24Z) - SEER: A Self-Grounded Evidence Interface for Controlled Spatial Relation Classification [71.9783246097687]
SEERは、ペアローカライゼーション中の候補関係を隠蔽し、明示的な主観的/対象的役割を持つクエリ固有ビューを構築し、補完的な証拠として完全なイメージとスパースボックス幾何学を保持する。
正確な逆サポートを持つ関係選択プロトコルでは、オプションリファインメントがエンティティロールを交換し、正確に1つの視覚状態が対応する逆関係に従う場合にのみ前方決定を変更する。
変更されていないプロトコルは、3つのモデルにまたがる2,434個のフィルター付きEmbSpatialペア関係質問に対して +4.35 から +11.79 を得る。
論文 参考訳（メタデータ） (2026-08-04T13:16:15Z) - Visual Credit Audit for Multimodal Spatial Reasoning [70.16915309526443]
Visual Credit Auditは、ベンチマーク画像がテキストのみとブランクコントロールよりもモデルの宣言された決定をもっとサポートするかどうか、モデルが関係性固有の視覚的エビデンスに反応するかどうかの2つの評価を分離する。
ラベルを適用すれば依存性認定正当性(D-CC)が得られる
4つのオープンMLLMと2つの空間ベンチマーク、12.73-26.25%の判定は正確であるが、証明されていない。
論文 参考訳（メタデータ） (2026-07-29T15:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。