Sign in
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses.
Tony Antoniadis
Konstantinos Triantafyllou
Yannis Smaragdakis
Published in:
SOAP@PLDI (2017)
Keyphrases
</>
expressive power
query answering
deductive databases
query language
integrity constraints
air fuel ratio
logic programming
image sequences
real world
bayesian networks
case study
artificial intelligence
relational algebra
massively parallel
data complexity
relational calculus
post hoc
real time