Verification of Unary Communicating Datalog Programs.

Cyriac Aiswarya Diego Calvanese Francesco Di Cosmo Marco Montali

Published in: SEBD (2024)

Keyphrases

datalog programs
magic sets
query answering
deductive databases
recursive queries
inconsistent databases
fixpoint
model checking
conjunctive queries
fixpoint semantics
data complexity
dynamic environments
logic programs
expert systems
artificial intelligence
data mining
data sets