数据库条件查询的非语义等价关系建模.pdfVIP

小型微型计算机系统2025年6月第6期

DOI:10.20009/ki.21-1106/TP.2024-0126

JournalofChineseComputerSystemsVol.46No.62025

数据库条件查询的非语义等价关系建模

何培蕾,游进国1²,王宇轩，丁家满12

1（昆明理工大学信息工程与自动化学院，昆明650500）

2（云南省人工智能重点实验室，昆明650500）

E-mail:jgyou@126.com

摘要：在数据库中，通过识别等价查询可以减少重复计算，现有方法通常从查询的语义等价关系方面来验证等价查询，然而

查询的语义等价是查询结果等价的充分非必要条件，因此，仅依据语义等价关系来判断等价查询会漏掉一些语义不等价但结果

相同的查询.针对这一问题，本文面向数据库条件查询提出一种非语义等价关系模型(Non-SemanticEquivalenceRelationMod-

el,NSERM)：以查询的过滤条件间的包含关系作为偏序关系构建查询格，结合查询结果相等划分得到等价类，依据等价类的凸

集性质，即包含等价类上界且被下界包含的查询属于该等价类，从而直接识别或回答语义不等价但结果相同的条件查询集.所

提出的模型在开源数据库PostgreSQL中实现,基于TPC-H测试集的实验结果表明,NSERM能识别非语义等价的等价查询，同

时还能为数据库带来性能上的提升.

关键词：数据库；条件查询；非语义等价；查询格；等价类

中图分类号：TP311文献标识码：A文章编号：1000-1220(2025)06-1523-07

Non-semanticEquivalenceRelationModelingofConditionalQueryinDatabases

HEPeilei,YOUJinguo-,WANGYuxuan,DINGJiaman-?

1(FacultyofInformationEngineeringandAutomation,KunmingUniversityofScienceandTechnology,Kunming650500,China)

2(YunnanKeyLaboratoryofArtificialIntelligence,Kunming650500,China)

Abstract:Indatabase,identifyingequivalentqueriescanreducerepeatedcalculations.Theexistingmethodsusuallyverifytheequiva-

lencequeryfromthesemanticequivalencerelationofthequery.However,thesemanticequivalenceofthequeryisasufficientbutnot

necessaryconditionfortheequivalenceofthequeryresults.Therefore,judgingtheequivalencequeryonlybasedonthesemantice-

quivalencerelationwillmisssomequerieswiththesameresultsbutdifferentsemantics.Inordertosolvethisproblem,thispaperpro-

posesanon-semanticequivalencerelationmodel(NSERM)forconditionalqueryindatabases.Thequerylatticeisconstructedbyu-

singtheinclusionrelationbetweenthefilteringconditionsofthequeryasthepartia