An efficient interpreter for Datalog by de-specializing relations.

Xiaowen Hu David Zhao Herbert Jordan Bernhard Scholz

Published in: PLDI (2021)

Keyphrases

expressive power
relational calculus
query language
logic programming
deductive databases
production system
query answering
semantic relations
real time
databases
genetic algorithm
social networks
natural language
data model
integrity constraints
temporal relations