Datalog: Bag Semantics via Set Semantics

DOI10.4230/LIPICS.ICDT.2019.16MaRDI QIDQ5091129OpenAlexFDO

Authors Leopoldo Bertossi, Georg Gottlob, Reinhard Pichler

Publication date 21 July 2022

Full work available at URL https://arxiv.org/abs/1803.06445

zbMATH Keywords

query answeringmultisetschaseDatalogduplicatesDatalog+/-

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Query containment under bag and bag-set semantics
• Relationlog: A typed extension to Datalog with sets and tuples
• Set-term unification in a logic database language
• Datalog and Its Extensions for Semantic Web Databases
• Datalog and logic databases
• Publication:4939255
• scientific article; zbMATH DE number 4199656
• Set based logic programming

Cites work

• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Alternation
• Data exchange: semantics and query answering
• On database query languages for K-relations
• On rules with existential variables: walking the decidability line
• On the relation between SPARQL1.1 and Answer Set Programming
• Quantifiers in formal and natural languages
• Taming the infinite chase: query answering under expressive relational constraints
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Towards more expressive ontology languages: the query answering problem

This page was built for publication: Datalog: Bag Semantics via Set Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5091129)