Login / Signup
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