Datafun: a functional Datalog
Datafun: a functional Datalog
复制标题
Datafun：功能性数据日志
DOI：
10.1145/2951913.2951948
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Arntzenius M
中科院分区：
文献类型：
--
作者：
Arntzenius M
数据库可以被认为是一种异常强大的查询语言，也可以被认为是一种严格限制的逻辑编程语言。数据库具有声明性、表达性和可优化性，并已成功应用于各种问题领域。然而，大多数用例都需要以特定于应用程序的方式扩展Datasheet。在本文中，我们定义Datafun，模拟Datasheet支持高阶函数式编程。关键思想是跟踪类型的单调性。
Datalog may be considered either an unusually powerful query language or a carefully limited logic programming language. Datalog is declarative, expressive, and optimizable, and has been applied successfully in a wide variety of problem domains. However, most use-cases require extending Datalog in an application-specific manner. In this paper we define Datafun, an analogue of Datalog supporting higher-order functional programming. The key idea is to track monotonicity with types.
登录
查看更多内容
影响因子：
1.1
作者：
M. Felleisen;Robert Hieb
通讯作者：
Robert Hieb
爱丁堡研究探索者语言集成查询的实用理论
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
James Cheney;S. Lindley;P. Wadler
通讯作者：
P. Wadler
DOI：
--
发表时间：
2009
期刊：
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
影响因子：
--
作者：
R. Simmons;F. Pfenning
通讯作者：
F. Pfenning
逻辑算法
DOI：
--
发表时间：
2002
期刊：
International Conference on Logic Programming
影响因子：
--
作者：
H. Ganzinger;David A. McAllester
通讯作者：
David A. McAllester
高效纯声明式逻辑编程语言Mercury的实现
DOI：
--
发表时间：
1994
期刊：
ILPS Workshop: Implementation Techniques for Logic Programming Languages
影响因子：
--
作者：
Z. Somogyi;F. Henderson;T. Conway
通讯作者：
T. Conway