Fixpoints for the masses: programming with first-class Datalog constraints.

Magnus Madsen Ondrej Lhoták

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

deductive databases
expressive power
query language
logic programs
integrity constraints
logic programming
tuple generating dependencies
databases
multi class
constraint satisfaction
relational algebra
nonmonotonic reasoning