Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs.

Francesco Di Cosmo

Published in: RuleML+RR (2023)

Keyphrases

datalog programs
query answering
magic sets
deductive databases
data complexity
recursive queries
inconsistent databases
fixpoint
data sets
conjunctive queries
fixpoint semantics