厦门大学吴荣鑫获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉厦门大学申请的专利数据库管理系统的逻辑缺陷的检测方法、装置及可读介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116126830B 。
龙图腾网通过国家知识产权局官网在2025-11-28发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310123541.2,技术领域涉及:G06F16/21;该发明授权数据库管理系统的逻辑缺陷的检测方法、装置及可读介质是由吴荣鑫;郝宗寅;戚鹏宇;张一鸣;沈志荣;李乔;高聪明;舒继武设计研发完成,并于2023-02-16向国家知识产权局提交的专利申请。
本数据库管理系统的逻辑缺陷的检测方法、装置及可读介质在说明书摘要公布了:本发明公开了一种数据库管理系统的逻辑缺陷的检测方法、装置及可读介质,通过获取随机生成的数据库中的表;根据表建立第一查询语句,基于第一查询语句的查询作为种子查询;通过近似变异合成与第一查询语句具有近似关系的若干第二查询语句,基于若干第二查询语句的查询作为合成查询;将第一查询语句和若干第二查询语句输入数据库管理系统中,得到种子查询的结果以及合成查询的结果;判断合成查询的结果与种子查询的结果之间是否违背近似关系,若是,则确定数据库管理系统存在逻辑缺陷。通过合成种子查询的过近似或欠近似,使其查询结果为种子查询结果的超集或子集,可以有效判断数据库管理系统是否存在逻辑缺陷,提高检测的准确性和效率。
本发明授权数据库管理系统的逻辑缺陷的检测方法、装置及可读介质在权利要求书中公布了:1.一种数据库管理系统的逻辑缺陷的检测方法,其特征在于,包括以下步骤: S1,获取随机生成的数据库中的表; S2,根据所述表建立第一查询语句,基于所述第一查询语句的查询作为种子查询;通过近似变异合成与所述第一查询语句具有近似关系的若干第二查询语句,基于所述若干第二查询语句的查询作为合成查询,具体包括: 解析所述第一查询语句,确定可变异的语法结构,通过近似变异算子弱化或加强所述种子查询中的集合关系、谓词或比较运算,构建所述种子查询的过近似或欠近似成为所述合成查询,所述合成查询的结果为所述种子查询的结果的超集或子集; S3,将所述第一查询语句和所述若干第二查询语句输入所述数据库管理系统中,查询得到种子查询的结果以及合成查询的结果; S4,判断所述合成查询的结果与所述种子查询的结果之间是否违背近似关系,若是,则确定所述数据库管理系统存在逻辑缺陷。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人厦门大学,其通讯地址为:361000 福建省厦门市思明南路422号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励