On fast large-scale program analysis in Datalog.

Bernhard Scholz Herbert Jordan Pavle Subotic Till Westmann

Published in: CC (2016)

Keyphrases

expressive power
small scale
deductive databases
transitive closure
query answering
integrity constraints
logic programming
datalog programs
query language
real life
data mining
real world
real time
data integration
hidden markov models
feature selection
genetic algorithm
databases