SQLSpec

AI通过GenDB-V生成和验证数据库系统

研究人员开发了GenDB-V系统，该系统使用AI代理自动生成和形式化验证数据库系统。这种方法旨在创建针对特定硬件和工作负载进行优化的专用引擎，以解决数据库开发中长期存在的性能和正确性挑战。GenDB-V形式化了SQL语义，并与形式化证明一起生成代码，然后针对综合目标进行验证，以确保SQL的正确性和程序的安全性。评估结果显示，与DuckDB和Umbra等现有系统相比，速度显著提升，并且与其他的AI综合方法相比，性能有所提高。