Verification of Unary Communicating Datalog Programs.

C. Aiswarya Diego Calvanese Francesco Di Cosmo Marco Montali

Published in: Proc. ACM Manag. Data (2024)

Keyphrases

datalog programs
query answering
fixpoint
recursive queries
magic sets
deductive databases
conjunctive queries
model checking
inconsistent databases
fixpoint semantics
data complexity
metadata
database systems
optimal solution
multi agent systems
query evaluation