Sign in

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