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

龙图腾网获悉华东师范大学申请的专利一种针对合取范式概率约束的化简方法在负载仿真中的应用获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115935699B 。

龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211725929.1，技术领域涉及：G06F30/20；该发明授权一种针对合取范式概率约束的化简方法在负载仿真中的应用是由王清帅;李好;杨程程;张蓉设计研发完成，并于2022-12-30向国家知识产权局提交的专利申请。

本一种针对合取范式概率约束的化简方法在负载仿真中的应用在说明书摘要公布了：本发明公开了一种合取范式概率约束的化简方法，包括如下步骤：给定一个合取范式概率约束，针对其SQL谓词中合取范式表达式，抽取其所有析取子句。通过设置每个析取子句中关系表达式中的参数，设置尽量多的析取子句为真，减少有效的析取子句。进一步，通过设置剩余析取子句中关系表达式中的参数，减少有效的关系表达式。最终，将原始表达式化简为一个关系表达式，或多个非等值关系表达式的析取式，或多个等值关系表达式的合取式。最后得到化简后的概率约束。

本发明授权一种针对合取范式概率约束的化简方法在负载仿真中的应用在权利要求书中公布了：1.一种合取范式概率约束化简的数据库负载仿真方法，其特征在于，包括如下步骤： 步骤一、抽取析取子句：给定一个合取范式概率约束，所述概率约束的SQL谓词的形式为合取范式表达式，抽取所述合取范式表达式中的析取子句；所述析取子句包括单个关系表达式或若干个关系表达式的析取式； 步骤二、减少有效的析取子句：若步骤一中的析取子句为单个关系表达式，则通过将其参数设定为边界值的方式，判断它的逻辑值是否能够设置为真，若能够，则削减该析取子句；若步骤一中的析取子句为若干个关系表达式的析取式，则只要其中任意一个关系表达式的逻辑值能够设置为真，则削减该析取子句；若所有析取子句都能够被削减，则保留任意一个析取子句； 步骤三、减少有效的关系表达式：对于步骤二中剩余的析取子句，对其中每一个关系表达式进行判断，通过将其参数设定为边界值的方式，判断它的逻辑值是否能够设置为假，若能够，则削减该关系表达式；若步骤二中剩余的子句数量超过一个，则每个的析取子句化简结果必为单个等值关系表达式，对每个析取子句化简得到的单个等值关系表达式做合取操作，作为最终返回的关系表达式；若步骤二中剩余的子句数量为一个，则析取子句化简结果必为单个关系表达式，或者多个非等值关系表达式的析取式；最后用通过减少析取子式和减少关系表达式化简后的表达式代替原始表达式，得到化简后的概率约束。

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

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