开发工具:
文件大小: 30mb
下载次数: 0
上传时间: 2021-03-05
详细说明:实例指导的关系查询综合
阿洛克·塔卡(Aalok Thakkar); Aaditya Naik; 纳撒尼尔·桑兹(Nathaniel Sands); Mukund Raghothaman; Mayur Naik; 拉杰夫·阿鲁(Rajeev Alur)
介绍
这是与PLDI 2021提交的标题为“关系查询的示例指导综合”一起提供的工件包。 在本文中,我们提出了一种从输入输出示例中学习关系查询的算法。 我们使用一种称为示例指导合成的新技术,该技术利用示例中的模式来加速合成。 我们针对现有的三个求解器ILASP,Prosynth和Scythe对我们称为EGS的算法进行基准测试。
该工件包含所有四个工具(EGS,ILASP,ProSynth和Scythe),基准文件和用于重现本文中描述的实验的脚本。 在本文中,我们将描述这些实验的概述,如何运行它们,并描述人们如何使用EGS来解决它们自己的关系
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.