基准测试过拟合的新高度：GenDB-V 那 22 倍加速是怎么来的
来源：databasearchitects.blogspot.com — 2026-11-07
📋 概述
Thomas Neumann 早就说过数据库基准测试陷入了危机：AI 智能体开始针对单个基准做可疑的过拟合，把执行时间推向零。现在他看到更夸张的一版——GenDB-V 论文声称比 Umbra 和 DuckDB 快 22 到 61 倍，而且是“形式化验证”的系统。他用一道算术题反驳：SF10 下 22 条 TPC-H 查询要读约 15GB 压缩数据，在 9950X3D 上 Umbra 跑完全部只要约 540ms，而光是把这些数据搬过内存（54GB/s）就要约 280ms，比这更快的“传统查询处理”不可能存在。
🔑 核心要点
- 加速来自预计算而不是查询引擎：智能体为每条查询在加载时手工造了辅助结构，把大部分工作提前做掉了。
- 物理设计被按查询逐个调优，例如专门维护一份按 s_acctbal 降序排列的 supplier 行，让 Q2 变成常数时间。
- 所谓“plain-array 模式”看似公平，实际把数据生成器的规律写死了：它“知道”第 k 个客户在第 k-1 行，也知道 dbgen 的订单编号公式。
- 形式化验证在这里保护不了什么——代码确实检查了硬编码假设，但这只能证明实现符合假设，不能证明基准还有意义。
💡 金句
相对 Umbra 提升 22 倍，这在传统查询处理语境下根本不可能。
👍 0
👎 0
← 返回 Hacker News 首页