Stretto：面向语义数据系统的执行引擎

论文提出 Stretto，一个面向语义查询处理的执行引擎，将查询规划建模为约束优化问题，用基于梯度的优化器联合选择算子实现并分配全查询计划的误差预算，提供全局而非单算子的精度保证。Stretto 还基于 KV-cache 压缩构建多种物理执行策略，实现可控的运行时间-精度权衡。实验显示其优于现有最先进系统并持续满足质量保证，论文归档于 arXiv:2602.04430 [cs.DB]。