Update Rules in Datalog Programs.

Mirian Halfeld Ferrari Alves Dominique Laurent Nicolas Spyratos

Published in: J. Log. Comput. (1998)

Keyphrases

datalog programs
update rules
query answering
fixpoint
update rule
deductive databases
magic sets
recursive queries
conjunctive queries
particle swarm optimisation
loss function
data complexity
stable models
logic programs
machine learning
integrity constraints
pairwise
computational complexity