买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉上海交通大学申请的专利基于线性整数代数进行SQL等价性自动化证明的方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117331961B 。

龙图腾网通过国家知识产权局官网在2026-05-12发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202311332030.8，技术领域涉及：G06F16/242；该发明授权基于线性整数代数进行SQL等价性自动化证明的方法及系统是由王肇国;许正霖;丁浩然;杨逸存;魏卓然;陈海波设计研发完成，并于2023-10-13向国家知识产权局提交的专利申请。

本基于线性整数代数进行SQL等价性自动化证明的方法及系统在说明书摘要公布了：本发明提供一种基于线性整数代数进行SQL等价性自动化证明的方法及系统，包括：计划生成步骤：对输入的SQL查询语句进行解析生成原始逻辑计划；ORDERBY处理步骤：处理原始逻辑计划中的ORDERBY排序操作，生成新的不含ORDERBY排序操作的逻辑计划，交由后续步骤进行等价性验证；U‑expression生成步骤：对逻辑计划进行解析，生成对应的代数表达式U‑expression；正规化步骤：对U‑expression进行正规化化简，生成标准形式的U‑expression；LIA*转换步骤：根据标准形式的U‑expression，生成LIA*表达式；一阶逻辑表达式生成步骤：根据LIA*表达式，生成LIA表达式，借助SMT求解器进行SQL的等价性自动化验证。本发明完善了对聚合函数等SQL特性的建模，显著增强了SQL等价性自动化验证的能力。

本发明授权基于线性整数代数进行SQL等价性自动化证明的方法及系统在权利要求书中公布了：1.一种基于线性整数代数进行SQL等价性自动化证明的方法，其特征在于，包括： 计划生成步骤：对输入的SQL查询语句进行解析生成原始逻辑计划；其中，每个SQL语句对应一个原始逻辑计划； ORDERBY处理步骤：处理原始逻辑计划中的ORDERBY排序操作，生成新的不含ORDERBY排序操作的逻辑计划，交由后续步骤进行等价性验证； U-expression生成步骤：对逻辑计划进行解析，生成对应的U-expression； 正规化步骤：对U-expression进行正规化化简，生成标准形式的U-expression； LIA*转换步骤：根据标准形式的U-expression，生成LIA*表达式； 一阶逻辑表达式生成步骤：根据LIA*表达式，生成一阶逻辑表达式，进行SQL的等价性验证。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海交通大学，其通讯地址为：200240 上海市闵行区东川路800号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。