Datalog: Bag Semantics via Set Semantics.

Leopoldo E. Bertossi Georg Gottlob Reinhard Pichler

Published in: CoRR (2018)

Keyphrases

logic programming
formal semantics
stable models
small number
semantically equivalent
databases
semantic information
containment of conjunctive queries
data model
programming language
reasoning tasks