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

摘要

在数据库中，通过识别等价查询可以减少重复计算.现有方法通常从查询的语义等价关系方面来验证等价查询，然而查询的语义等价是查询结果等价的充分非必要条件，因此，仅依据语义等价关系来判断等价查询会漏掉一些语义不等价但结果相同的查询.针对这一问题，本文面向数据库条件查询提出一种非语义等价关系模型(Non-Semantic Equivalence Relation Model, NSERM):以查询的过滤条件间的包含关系作为偏序关系构建查询格，结合查询结果相等划分得到等价类，依据等价类的凸集性质，即包含等价类上界且被下界包含的查询属于该等价类，从而直接识别或回答语义不等价但结果相同的条件查询集.所提出的模型在开源数据库PostgreSQL中实现，基于TPC-H测试集的实验结果表明，NSERM能识别非语义等价的等价查询，同时还能为数据库带来性能上的提升.

关键词

数据库 / 条件查询 / 非语义等价 / 查询格 / 等价类