实例指导的关系查询综合
阿洛克·塔卡(Aalok Thakkar); Aaditya Naik; 纳撒尼尔·桑兹(Nathaniel Sands); Mukund Raghothaman; Mayur Naik; 拉杰夫·阿鲁(Rajeev Alur)
介绍
这是与PLDI 2021提交的标题为“关系查询的示例指导综合”一起提供的工件包。 在本文中,我们提出了一种从输入输出示例中学习关系查询的算法。 我们使用一种称为示例指导合成的新技术,该技术利用示例中的模式来加速合成。 我们针对现有的三个求解