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