Datafun: a functional Datalog.

Michael Arntzenius Neelakantan R. Krishnaswami

Published in: ICFP (2016)

Keyphrases

expressive power
deductive databases
query language
query answering
integrity constraints
datalog programs
functional analysis
database
real time
database systems
data structure
logic programming
database languages