<div class="csl-bib-body">
<div class="csl-entry">Bertossi, L., Gottlob, G., & Pichler, R. (2019). Datalog: Bag Semantics via Set Semantics. In P. Barcelo & M. Calutti (Eds.), <i>22nd International Conference on Database Theory, {ICDT} 2019</i> (pp. 16:1-16:19). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2019.16</div>
</div>
-
dc.identifier.isbn
978-3-95977-101-6
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/57882
-
dc.description.abstract
Duplicates in data management are common and problematic. In this work, we present a translation of Datalog under bag semantics into a well-behaved extension of Datalog, the so-called warded
Datalog±, under set semantics. From a theoretical point of view, this allows us to reason on bag semantics by making use of the well-established theoretical foundations of set semantics. From a practical point of view, this allows us to handle the bag semantics of Datalog by powerful, existing query engines for the required extension of Datalog. This use of Datalog± is extended to give a set semantics to duplicates in Datalog± itself. We investigate the properties of the resulting Datalog± programs, the problem of deciding multiplicities, and expressibility of some bag operations.
Moreover, the proposed translation has the potential for interesting applications such as to Multiset Relational Algebra and the semantic web query language SPARQL with bag semantics.
en
dc.language.iso
en
-
dc.publisher
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
-
dc.relation.ispartofseries
Leibniz International Proceedings in Informatics (LIPIcs)
-
dc.subject
Datalog
-
dc.subject
query answering
-
dc.subject
duplicates
-
dc.subject
multisets
-
dc.subject
chase
-
dc.title
Datalog: Bag Semantics via Set Semantics
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
22nd International Conference on Database Theory, {ICDT} 2019
-
dc.relation.isbn
978-3-95977-101-6
-
dc.relation.issn
1868-8969
-
dc.description.startpage
16:1
-
dc.description.endpage
16:19
-
dc.type.category
Poster Contribution
-
dc.publisher.place
127
-
tuw.booktitle
22nd International Conference on Database Theory, {ICDT} 2019
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
tuw.relation.publisherplace
Dagstuhl
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.4230/LIPIcs.ICDT.2019.16
-
dc.description.numberOfPages
19
-
tuw.author.orcid
0000-0002-1760-122X
-
tuw.event.name
ICDT 2019 - 22nd International Conference on Database Theory
en
tuw.event.startdate
26-03-2019
-
tuw.event.enddate
28-03-2019
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Lissabon
-
tuw.event.country
PT
-
tuw.event.presenter
Gottlob, Georg
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Logic and Computation (LC)
de
wb.facultyfocus
Logic and Computation (LC)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_6670
-
item.languageiso639-1
en
-
item.openairetype
conference poster
-
item.grantfulltext
none
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence