GEqO: 机器学习加速的语义等价检测
原文中文，约300字，阅读约需1分钟。发表于：。提出 GEqO，一种便携且轻量级的基于机器学习的框架，能够有效地在规模上识别语义上等价的计算；通过引入两个基于机器学习的过滤器、半监督学习反馈环路和智能采样机制来迭代改进模型，并且通过新颖的数据库无关特征化方法在不同负载和数据库之间进行知识转移；在 TPC-DS-like 查询上的广泛实证评估结果显示，GEqO 比自动验证器快 200 倍，并且找到的等价性较优化器和基于签名的等价性检测方法多 2 倍。
GEqO是一种便携且轻量级的基于机器学习的框架，能够识别语义上等价的计算。它通过引入过滤器、学习反馈环路和智能采样机制来改进模型，并通过数据库无关特征化方法在不同负载和数据库之间进行知识转移。实证评估结果显示，GEqO比自动验证器快200倍，并且比优化器和基于签名的等价性检测方法多找到2倍的等价性。
