egs artifact 源码

实例指导的关系查询综合 阿洛克·塔卡(Aalok Thakkar); Aaditya Naik; 纳撒尼尔·桑兹(Nathaniel Sands); Mukund Raghothaman; Mayur Naik; 拉杰夫·阿鲁(Rajeev Alur) 介绍 这是与PLDI 2021提交的标题为“关系查询的示例指导综合”一起提供的工件包。 在本文中,我们提出了一种从输入输出示例中学习关系查询的算法。 我们使用一种称为示例指导合成的新技术,该技术利用示例中的模式来加速合成。 我们针对现有的三个求解器ILASP,Prosynth和Scythe对我们称为EGS的算法进行基准测试。 该工件包含所有四个工具(EGS,ILASP,ProSynth和Scythe),基准文件和用于重现本文中描述的实验的脚本。 在本文中,我们将描述这些实验的概述,如何运行它们,并描述人们如何使用EGS来解决它们自己的关系