Verification of Prev-Free Communicating Datalog Programs.

Francesco Di Cosmo

Published in: CILC (2023)

Keyphrases

datalog programs
query answering
inconsistent databases
conjunctive queries
magic sets
recursive queries
deductive databases
model checking
fixpoint semantics
fixpoint
data complexity
object oriented
data model
distributed systems
programming language
general purpose
stable models
data analysis
databases
database