.png){kind=icon}
.png){kind=icon}
返回
DBCooker: A Database Kernel-Specialized Coding Agent Harness
.png){kind=icon}
PRE
AI
DOI：10.14778/3827998.3828136.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
数据库内核持续整合新的内置函数以支持多样化应用。合成这些原生函数极为复杂，需要识别多个内部单元、将其放置在正确的源文件中，并复用特定的内部引用。尽管基于大型语言模型的代码代理框架（harnesses）的最新进展展现出卓越能力，但它们通常是通用型的，难以应对大规模且高度耦合的数据库内核仓库。为解决此问题，我们展示了DBCooker，一个数据库内核专用代码代理框架。DBCooker提供三项核心功能：（1）内核依赖检查器，通过混合声明收集、独特单元识别和跨单元引用分析，使用户能够检查内部单元和跨文件引用；（2）交互式合成规划器，通过渐进式代码合成和三阶段代码验证构建高级实现计划，允许开发者在执行前验证和优化计划；（3）渐进式调试工作区，与数据库特定管道集成，提供高效反馈和自适应修复，借助操作作为工具的抽象和增强内存编排等技术。会议参与者将体验DBCooker如何无缝将高级SQL函数请求转化为针对主流数据库（如SQLite、PostgreSQL、DuckDB）的经过验证、内核就绪的代码。