EXPO-SQL: Execution-based Clause-level Policy Optimization for Text-to-SQL
Pith reviewed 2026-07-01 08:55 UTC · model grok-4.3
The pith
Clause-level rewards from execution feedback improve Text-to-SQL generation over uniform query-level rewards.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
EXPO-SQL assigns clause-level rewards by identifying erroneous clauses through analysis of execution results, including error messages and clause-wise incremental execution, which supplies fine-grained supervision that improves SQL generation compared to query-level reward methods.
What carries the argument
Clause-level policy optimization that derives rewards by analyzing execution outcomes and error messages to isolate incorrect clauses within generated SQL queries.
If this is right
- Models receive learning signals that reinforce only the correct clauses rather than penalizing entire queries.
- Training converges to higher execution accuracy on Text-to-SQL benchmarks than prior supervised or RL approaches.
- The same execution-based clause identification can be applied during inference to refine partially correct outputs.
- Reward design shifts from coarse query success to localized clause correctness.
Where Pith is reading between the lines
- The same clause-isolation technique could transfer to other structured output tasks such as code generation or logical form parsing where partial correctness matters.
- If clause identification works on complex nested queries, the method may scale to larger database schemas without additional supervision.
- An open question is whether the approach remains stable when databases return ambiguous or non-deterministic execution feedback.
Load-bearing premise
Execution results and error messages can reliably point to the exact erroneous clause without misattributing errors or creating new ones that corrupt the reward signal.
What would settle it
A test set of queries where incremental execution and error analysis systematically attribute an error to the wrong clause, producing lower accuracy than query-level baselines.
Figures
read the original abstract
Text-to-SQL enables users to query databases using natural language by generating executable SQL queries. Recent methods have increasingly adopted Large Language Models based reinforcement learning (RL) to leverage execution feedback for training. However, existing RL methods assign uniform query-level rewards to all clauses in a SQL query, treating correct and incorrect clauses equally. This coarse-grained reward design leads to insufficient learning signals for correct SQL generation. To address this issue, we propose EXPO-SQL (EXecution-based clause-level Policy Optimization for Text-to-SQL) which provides fine-grained supervision through clause-level rewards. To assign clause-level rewards, our method identifies erroneous clauses by analyzing execution results, including error messages and clause-wise incremental execution. Experiments on widely-used Text-to-SQL benchmarks demonstrate that EXPO-SQL significantly outperforms existing supervised fine-tuning, prompting, and RL-based methods through fine-grained clause-level learning. Our code is available at https://github. com/jhn25/EXPO-SQL.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces EXPO-SQL, an RL method for Text-to-SQL that replaces query-level rewards with clause-level rewards obtained by identifying erroneous clauses via execution error messages and incremental clause-wise execution; it claims this yields significant gains over SFT, prompting, and prior RL baselines on standard benchmarks.
Significance. If the per-clause attribution is accurate, the method supplies a stronger learning signal than uniform query-level rewards and could improve structured generation tasks; the public code release is a clear strength for reproducibility.
major comments (2)
- [Method / Experiments] The central claim requires reliable isolation of erroneous clauses, yet the manuscript supplies no quantitative evaluation (precision, recall, or error analysis) of the attribution procedure on held-out queries; without this, the risk that inter-clause dependencies (e.g., SELECT errors surfacing only after FROM/WHERE) corrupt the reward signal cannot be assessed.
- [Experiments] No numerical results, effect sizes, baseline configurations, or statistical significance tests appear in the reported experiments, so the magnitude and robustness of the claimed outperformance cannot be verified.
minor comments (1)
- [Abstract] The GitHub URL in the abstract contains a space ('https://github. com/jhn25/EXPO-SQL'); correct to the standard form.
Simulated Author's Rebuttal
We thank the referee for the constructive feedback on EXPO-SQL. The comments correctly identify areas where additional evidence and reporting would strengthen the manuscript. We address each major comment below and commit to revisions that directly respond to the concerns raised.
read point-by-point responses
-
Referee: [Method / Experiments] The central claim requires reliable isolation of erroneous clauses, yet the manuscript supplies no quantitative evaluation (precision, recall, or error analysis) of the attribution procedure on held-out queries; without this, the risk that inter-clause dependencies (e.g., SELECT errors surfacing only after FROM/WHERE) corrupt the reward signal cannot be assessed.
Authors: We agree that the absence of quantitative validation for the clause attribution procedure is a limitation. The method identifies erroneous clauses via execution error messages and incremental clause-wise execution, but inter-clause dependencies could indeed affect reward accuracy. In the revised manuscript we will add a dedicated evaluation section reporting precision, recall, and error analysis of the attribution procedure on held-out queries, together with discussion of dependency-related failure cases. revision: yes
-
Referee: [Experiments] No numerical results, effect sizes, baseline configurations, or statistical significance tests appear in the reported experiments, so the magnitude and robustness of the claimed outperformance cannot be verified.
Authors: We acknowledge that the experimental reporting must be expanded for verifiability. Although the abstract states that EXPO-SQL outperforms baselines, the manuscript does not present the underlying numerical results, effect sizes, exact baseline configurations, or significance tests. We will revise the experiments section to include complete tables with these details and appropriate statistical tests. revision: yes
Circularity Check
No circularity: rewards derived from external execution feedback
full rationale
The paper's central mechanism assigns clause-level rewards by analyzing execution results (error messages and incremental clause execution) against an external database. This feedback loop is independent of model parameters and does not reduce any claimed prediction or result to a fitted quantity defined by the method itself. No self-citations, ansatzes, or renamings are invoked to justify the core attribution procedure, and the derivation chain remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Execution results including error messages and clause-wise incremental execution can be used to identify erroneous clauses accurately enough to assign useful rewards.
Reference graph
Works this paper leans on
-
[1]
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models , url =
Wei, Jason and Wang, Xuezhi and Schuurmans, Dale and Bosma, Maarten and ichter, brian and Xia, Fei and Chi, Ed and Le, Quoc V and Zhou, Denny , booktitle =. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models , url =
-
[2]
REINFORCE++: Stabilizing Critic-Free Policy Optimization with Global Advantage Normalization
Reinforce++: A simple and efficient approach for aligning large language models , author=. arXiv preprint arXiv:2501.03262 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[3]
OpenRLHF: An Easy-to-use, Scalable and High-performance RLHF Framework
OpenRLHF: An Easy-to-use, Scalable and High-performance RLHF Framework , author=. arXiv preprint arXiv:2405.11143 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
Neural Approaches for Natural Language Interfaces to Databases: A Survey
Iacob, Radu Cristian Alexandru and Brad, Florin and Apostol, Elena-Simona and Truic a , Ciprian-Octavian and Hosu, Ionel Alexandru and Rebedea, Traian. Neural Approaches for Natural Language Interfaces to Databases: A Survey. Proceedings of the 28th International Conference on Computational Linguistics. 2020. doi:10.18653/v1/2020.coling-main.34
-
[5]
The VLDB Journal , month = oct, pages =
Affolter, Katrin and Stockinger, Kurt and Bernstein, Abraham , title =. The VLDB Journal , month = oct, pages =. 2019 , issue_date =. doi:10.1007/s00778-019-00567-8 , abstract =
-
[6]
arXiv preprint arXiv:2408.07702 , year=
The death of schema linking? text-to-sql in the age of well-reasoned language models , author=. arXiv preprint arXiv:2408.07702 , year=
-
[7]
arXiv preprint arXiv:2406.08426 , year=
Next-generation database interfaces: A survey of llm-based text-to-sql , author=. arXiv preprint arXiv:2406.08426 , year=
-
[8]
Recent Advances in Text-to- SQL : A Survey of What We Have and What We Expect
Deng, Naihao and Chen, Yulong and Zhang, Yue. Recent Advances in Text-to- SQL : A Survey of What We Have and What We Expect. Proceedings of the 29th International Conference on Computational Linguistics. 2022
2022
-
[9]
CoRR , volume =
Xinyu Liu and Shuyu Shen and Boyan Li and Peixian Ma and Runzhi Jiang and Yuyu Luo and Yuxin Zhang and Ju Fan and Guoliang Li and Nan Tang , title =. CoRR , volume =
-
[10]
Seq2SQL: Generating Structured Queries from Natural Language using Reinforcement Learning
Seq2sql: Generating structured queries from natural language using reinforcement learning , author=. arXiv preprint arXiv:1709.00103 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[11]
Shi, Liang and Tang, Zhengju and Zhang, Nan and Zhang, Xiaotong and Yang, Zhi , title =. ACM Comput. Surv. , month = sep, articleno =. 2025 , issue_date =. doi:10.1145/3737873 , abstract =
-
[12]
Memory Augmented Policy Optimization for Program Synthesis and Semantic Parsing , url =
Liang, Chen and Norouzi, Mohammad and Berant, Jonathan and Le, Quoc V and Lao, Ni , booktitle =. Memory Augmented Policy Optimization for Program Synthesis and Semantic Parsing , url =
-
[13]
Boyan Li and Yuyu Luo and Chengliang Chai and Guoliang Li and Nan Tang , title =. Proc
-
[14]
Transactions on Machine Learning Research , issn=
A Survey of Temporal Credit Assignment in Deep Reinforcement Learning , author=. Transactions on Machine Learning Research , issn=. 2024 , url=
2024
-
[15]
2025 , eprint=
Segment Policy Optimization: Effective Segment-Level Credit Assignment in RL for Large Language Models , author=. 2025 , eprint=
2025
-
[16]
Amirhossein Kazemnejad and Milad Aghajohari and Eva Portelance and Alessandro Sordoni and Siva Reddy and Aaron Courville and Nicolas Le Roux , booktitle=. Vine. 2025 , url=
2025
-
[17]
Liu, Hanbing and Li, Haoyang and Zhang, Xiaokang and Chen, Ruotong and Xu, Haiyong and Tian, Tian and Qi, Qi and Zhang, Jing. Uncovering the Impact of Chain-of-Thought Reasoning for Direct Preference Optimization: Lessons from Text-to- SQL. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 202...
-
[18]
C3: Zero-shot text-to-SQL with ChatGPT,
C3: Zero-shot text-to-sql with chatgpt , author=. arXiv preprint arXiv:2307.07306 , year=
-
[19]
L ink A lign: Scalable Schema Linking for Real-World Large-Scale Multi-Database Text-to- SQL
Wang, Yihan and Liu, Peiyu and Yang, Xin. L ink A lign: Scalable Schema Linking for Real-World Large-Scale Multi-Database Text-to- SQL. Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing. 2025. doi:10.18653/v1/2025.emnlp-main.51
-
[20]
CoRR , volume =
Dawei Gao and Haibin Wang and Yaliang Li and Xiuyu Sun and Yichen Qian and Bolin Ding and Jingren Zhou , title =. CoRR , volume =
-
[21]
DTS - SQL : Decomposed Text-to- SQL with Small Large Language Models
Pourreza, Mohammadreza and Rafiei, Davood. DTS - SQL : Decomposed Text-to- SQL with Small Large Language Models. Findings of the Association for Computational Linguistics: EMNLP 2024. 2024. doi:10.18653/v1/2024.findings-emnlp.481
-
[22]
GPT-4 Technical Report , author=. arXiv preprint arXiv:2303.08774 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[23]
2023 , eprint=
Can LLM Already Serve as A Database Interface? A BIg Bench for Large-Scale Database Grounded Text-to-SQLs , author=. 2023 , eprint=
2023
-
[24]
Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing
Spider: A Large-Scale Human-Labeled Dataset for Complex and Cross-Domain Semantic Parsing and Text-to-SQL Task , author =. Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing
2018
-
[25]
arXiv preprint arXiv:2403.09732 , year=
PET-SQL: A Prompt-enhanced Two-stage Text-to-SQL Framework with Cross-consistency , author=. arXiv preprint arXiv:2403.09732 , year=
-
[26]
DIN-SQL: Decomposed In-Context Learning of Text-to-SQL with Self-Correction , url =
Pourreza, Mohammadreza and Rafiei, Davood , booktitle =. DIN-SQL: Decomposed In-Context Learning of Text-to-SQL with Self-Correction , url =
-
[27]
MAC - SQL : A Multi-Agent Collaborative Framework for Text-to- SQL
Wang, Bing and Ren, Changyu and Yang, Jian and Liang, Xinnian and Bai, Jiaqi and Chai, LinZheng and Yan, Zhao and Zhang, Qian-Wen and Yin, Di and Sun, Xing and Li, Zhoujun. MAC - SQL : A Multi-Agent Collaborative Framework for Text-to- SQL. Proceedings of the 31st International Conference on Computational Linguistics. 2025
2025
-
[28]
CHESS: Contextual Harnessing for Efficient SQL Synthesis
Chess: Contextual harnessing for efficient sql synthesis , author=. arXiv preprint arXiv:2405.16755 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[29]
Li, Haoyang and Zhang, Jing and Liu, Hanbing and Fan, Ju and Zhang, Xiaokang and Zhu, Jun and Wei, Renjie and Pan, Hongyan and Li, Cuiping and Chen, Hong , title =. Proc. ACM Manag. Data , month = may, articleno =. 2024 , issue_date =. doi:10.1145/3654930 , abstract =
-
[30]
Forty-Second International Conference on Machine Learning,
Boyan Li and Jiayi Zhang and Ju Fan and Yanwei Xu and Chong Chen and Nan Tang and Yuyu Luo , title =. Forty-Second International Conference on Machine Learning,
-
[31]
arXiv preprint arXiv:2502.11741 , year=
SQL-o1: A Self-Reward Heuristic Dynamic Search Method for Text-to-SQL , author=. arXiv preprint arXiv:2502.11741 , year=
-
[32]
arXiv preprint arXiv:2501.16607 , year=
MCTS-SQL: An Effective Framework for Text-to-SQL with Monte Carlo Tree Search , author=. arXiv preprint arXiv:2501.16607 , year=
-
[33]
arXiv preprint arXiv:2503.02240 , year=
OmniSQL: Synthesizing High-quality Text-to-SQL Data at Scale , author=. arXiv preprint arXiv:2503.02240 , year=
-
[34]
CHASE-SQL: Multi-Path Reasoning and Preference Optimized Candidate Selection in Text-to-SQL , url =
Pourreza, Mohammadreza and Li, Hailong and Sun, Ruoxi and Chung, Yeounoh and Talaei, Shayan and Kakkar, Gaurav Tarlok and Gan, Yu and Saberi, Amin and Ozcan, Fatma and Arik, Sercan , booktitle =. CHASE-SQL: Multi-Path Reasoning and Preference Optimized Candidate Selection in Text-to-SQL , url =
-
[35]
Open R1: A fully open reproduction of DeepSeek-R1 , url =
Hugging Face , month =. Open R1: A fully open reproduction of DeepSeek-R1 , url =
-
[36]
DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning , author=. arXiv preprint arXiv:2501.12948 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[37]
Proximal Policy Optimization Algorithms
Proximal policy optimization algorithms , author=. arXiv preprint arXiv:1707.06347 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[38]
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Deepseekmath: Pushing the limits of mathematical reasoning in open language models , author=. arXiv preprint arXiv:2402.03300 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[39]
Direct Preference Optimization: Your Language Model is Secretly a Reward Model , url =
Rafailov, Rafael and Sharma, Archit and Mitchell, Eric and Manning, Christopher D and Ermon, Stefano and Finn, Chelsea , booktitle =. Direct Preference Optimization: Your Language Model is Secretly a Reward Model , url =
-
[40]
Synthesizing Text-to- SQL Data from Weak and Strong LLM s
Yang, Jiaxi and Hui, Binyuan and Yang, Min and Yang, Jian and Lin, Junyang and Zhou, Chang. Synthesizing Text-to- SQL Data from Weak and Strong LLM s. Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2024. doi:10.18653/v1/2024.acl-long.425
-
[41]
2024 IEEE 40th International Conference on Data Engineering (ICDE) , pages=
Purple: Making a large language model a better sql writer , author=. 2024 IEEE 40th International Conference on Data Engineering (ICDE) , pages=. 2024 , organization=
2024
-
[42]
ROUTE: Robust Multitask Tuning and Collaboration for Text-to-SQL , url =
Qin, Yang and Chen, Chao and Fu, Zhihang and Chen, Ze and Peng, Dezhong and Hu, Peng and Ye, Jieping , booktitle =. ROUTE: Robust Multitask Tuning and Collaboration for Text-to-SQL , url =
-
[43]
arXiv preprint arXiv:2411.07763 , year=
Spider 2.0: Evaluating language models on real-world enterprise text-to-sql workflows , author=. arXiv preprint arXiv:2411.07763 , year=
-
[44]
Qwen2.5-Coder Technical Report
Qwen2. 5-coder technical report , author=. arXiv preprint arXiv:2409.12186 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[45]
arXiv preprint arXiv:2503.23157 , year=
Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL , author=. arXiv preprint arXiv:2503.23157 , year=
-
[46]
arXiv preprint arXiv:2505.04671 , year=
Reward-sql: Boosting text-to-sql via stepwise reasoning and process-supervised rewards , author=. arXiv preprint arXiv:2505.04671 , year=
-
[47]
Weng, Han and Wu, Puzhen and Longjie, Cui and Zhan, Yi and Liu, Boyi and Song, Yuanfeng and Zeng, Dun and Yang, Yingxiang and Zhang, Qianru and Huang, Dong and Yin, Xiaoming and Sun, Yang and Chen, Xing. Graph-Reward- SQL : Execution-Free Reinforcement Learning for Text-to- SQL via Graph Matching and Stepwise Reward. Findings of the Association for Comput...
-
[48]
arXiv preprint arXiv:2505.20315 , year=
Arctic-Text2SQL-R1: Simple Rewards, Strong Reasoning in Text-to-SQL , author=. arXiv preprint arXiv:2505.20315 , year=
-
[49]
Optimizing Reasoning for Text-to- SQL with Execution Feedback
Zhai, Bohan and Xu, Canwen and He, Yuxiong and Yao, Zhewei. Optimizing Reasoning for Text-to- SQL with Execution Feedback. Findings of the Association for Computational Linguistics: ACL 2025. 2025. doi:10.18653/v1/2025.findings-acl.982
-
[50]
arXiv e-prints , pages=
Xiyan-sql: A multi-generator ensemble framework for text-to-sql , author=. arXiv e-prints , pages=
-
[51]
arXiv preprint arXiv:2504.08600 , year=
Sql-r1: Training natural language to sql reasoning model by reinforcement learning , author=. arXiv preprint arXiv:2504.08600 , year=
-
[52]
DCG - SQL : Enhancing In-Context Learning for Text-to- SQL with Deep Contextual Schema Link Graph
Lee, Jihyung and Lee, Jin-Seop and Lee, Jaehoon and Choi, YunSeok and Lee, Jee-Hyong. DCG - SQL : Enhancing In-Context Learning for Text-to- SQL with Deep Contextual Schema Link Graph. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025. doi:10.18653/v1/2025.acl-long.748
-
[53]
arXiv preprint arXiv:2402.13284 , year=
Structure guided large language model for sql generation , author=. arXiv preprint arXiv:2402.13284 , year=
-
[54]
arXiv preprint arXiv:2304.11556 , year=
Divide and prompt: Chain of thought prompting for text-to-sql , author=. arXiv preprint arXiv:2304.11556 , year=
-
[55]
Proceedings of the 31st International Conference on Computational Linguistics , pages=
Mcs-sql: Leveraging multiple prompts and multiple-choice selection for text-to-sql generation , author=. Proceedings of the 31st International Conference on Computational Linguistics , pages=
-
[56]
Exploring Underexplored Limitations of Cross-Domain Text-to- SQL Generalization
Gan, Yujian and Chen, Xinyun and Purver, Matthew. Exploring Underexplored Limitations of Cross-Domain Text-to- SQL Generalization. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. 2021. doi:10.18653/v1/2021.emnlp-main.702
-
[57]
and Xie, Jinxia and Huang, Pengsheng
Gan, Yujian and Chen, Xinyun and Huang, Qiuping and Purver, Matthew and Woodward, John R. and Xie, Jinxia and Huang, Pengsheng. Towards Robustness of Text-to- SQL Models against Synonym Substitution. Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Proce...
-
[58]
Structure-Grounded Pretraining for Text-to- SQL
Deng, Xiang and Awadallah, Ahmed Hassan and Meek, Christopher and Polozov, Oleksandr and Sun, Huan and Richardson, Matthew. Structure-Grounded Pretraining for Text-to- SQL. Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 2021. doi:10.18653/v1/2021.naacl-main.105
-
[59]
ACT - SQL : In-Context Learning for Text-to- SQL with Automatically-Generated Chain-of-Thought
Zhang, Hanchong and Cao, Ruisheng and Chen, Lu and Xu, Hongshen and Yu, Kai. ACT - SQL : In-Context Learning for Text-to- SQL with Automatically-Generated Chain-of-Thought. Findings of the Association for Computational Linguistics: EMNLP 2023. 2023. doi:10.18653/v1/2023.findings-emnlp.227
-
[60]
A Formal Semantics of SQL Queries, Its Validation, and Applications , author=. Proc. VLDB Endow. , year=
-
[61]
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages=
A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra , author=. Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages=
-
[62]
DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence
DeepSeek-Coder: When the Large Language Model Meets Programming--The Rise of Code Intelligence , author=. arXiv preprint arXiv:2401.14196 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[63]
The llama 3 herd of models , author=. arXiv preprint arXiv:2407.21783 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[64]
arXiv preprint arXiv:2310.08825 , year=
From clip to dino: Visual encoders shout in multi-modal large language models , author=. arXiv preprint arXiv:2310.08825 , year=
-
[65]
2017 , publisher=
Chu, Shumo and Weitz, Konstantin and Cheung, Alvin and Suciu, Dan , booktitle=. 2017 , publisher=
2017
-
[66]
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) , pages=
Bag Query Containment and Information Theory , author=. Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) , pages=. 2020 , publisher=
2020
-
[67]
Proceedings of the ACM on Management of Data (PACMMOD) , volume=
Bag Semantics Conjunctive Query Containment: Four Small Steps Towards Undecidability , author=. Proceedings of the ACM on Management of Data (PACMMOD) , volume=. 2024 , publisher=
2024
-
[68]
Semantic Evaluation for Text-to-
Zhong, Ruiqi and Yu, Tao and Klein, Dan , booktitle=. Semantic Evaluation for Text-to-. 2020 , publisher=
2020
-
[69]
A Formal Semantics of
Guagliardo, Paolo and Libkin, Leonid , journal=. A Formal Semantics of
-
[70]
Proceedings of the 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS) , pages=
Provenance Semirings , author=. Proceedings of the 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS) , pages=. 2007 , publisher=
2007
-
[71]
Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data , pages=
Why Not? , author=. Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data , pages=. 2009 , publisher=
2009
-
[72]
Proceedings of the VLDB Endowment , volume=
On the Provenance of Non-Answers to Queries over Extracted Data , author=. Proceedings of the VLDB Endowment , volume=
-
[73]
Chandra, Bikash and Chawda, Bhupesh and Kar, Biplab and Reddy, K. V. Maheshwara and Shah, Shetal and Sudarshan, S. , journal=. Data Generation for Testing and Grading. 2015 , publisher=
2015
-
[74]
, journal=
Chandra, Bikash and Joseph, Mathew and Radhakrishnan, Bharath and Acharya, Shreyas and Sudarshan, S. , journal=. Partial Marking for Automated Grading of
-
[75]
Proceedings of the 2019 ACM SIGMOD International Conference on Management of Data , pages=
Explaining Wrong Queries Using Small Examples , author=. Proceedings of the 2019 ACM SIGMOD International Conference on Management of Data , pages=. 2019 , publisher=
2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.