当计划改变答案：语义查询的成本-准确率优化的形式化研究

一篇 arXiv 论文针对语义查询引擎给出成本-准确率优化的形式化问题定义：利用决策模型（如 Jev）的校准置信度，在无标注数据下估计查询计划的期望输出质量。论文定义了含语义算子的关系代数的 oracle 语义与计划等价层级，证明选择下推在升级带基于计划自身候选校准时并不保证质量可靠；期望质量可在 bag 语义下多项式时间计算，而选择丢弃元组是 NP 难的。真实引擎上的评测留待后续工作。