查询数据库

gensql：用于查询数据库表的生成模型

本文介绍了GensQL，这是一种用于查询数据库表的概率生成模型的概率编程系统。通过仅使用几个用于查询概率模型的关键基础来增强SQL，GENSQL可以简明地实现复杂的贝叶斯推理工作。gensql的查询计划器基于一个统一的程序化接口，用于与表格数据的概率模型进行交互，这使得使用以各种概率编程语言编写的模型，这些模型是针对特定工作量身定制的。概率模型可以通过概率程序合成，手工设计或两者的组合自动学习。gensql是使用新型类型系统和典型语义进行正式化的，这使我们能够建立证据，以确切地表征其健全性保证。我们在两项现实世界中评估了我们的系统，这是虚拟湿实验室的临床试验中的异常检测和有条件的合成数据生成 - 并表明GENSQL更准确地捕获了与普通基线相比的数据的复杂性。我们还表明，与几种替代方案相比，GENSQL中的声明语法更简洁，更容易出错。最后，gensql提供了1。7-6。8x加速度与最接近的竞争对手在代表性基准集合中相比，并在与手写代码相当的时间内运行，部分原因是其可重复使用的优化和代码专业化。