Polygon: A Conflict-Driven Symbolic Reasoning Method for SQL

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出了一种新颖的符号推理方法Polygon,用于SQL查询的等价性证明和消歧义。Polygon通过低估近似推理和多种搜索,在超过30,000个基准测试中表现优于现有技术。

🏷️

标签

➡️

继续阅读