Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/19796
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | AMELOOT, Tom | - |
dc.contributor.author | KETSMAN, Bas | - |
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | Zinn, Daniel | - |
dc.date.accessioned | 2015-11-20T09:02:20Z | - |
dc.date.available | 2015-11-20T09:02:20Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Arenas, Marcelo; Ugarte, Martín (Ed.). 18th International Conference on Database Theory, p. 308-323 | - |
dc.identifier.isbn | 9783939897798 | - |
dc.identifier.uri | http://hdl.handle.net/1942/19796 | - |
dc.description.abstract | We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected Datalog¬ (the fragment of Datalog¬ where all rules are connected) provides an effective syntax for Datalog¬ programs that distribute over components under the stratified as well as under the well-founded semantics. As a corollary, we obtain a simple proof for one of the main results in previous work, namely, that the classic win-move query is in F2 (a particular class of coordination-free queries). | - |
dc.language.iso | en | - |
dc.publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | - |
dc.relation.ispartofseries | LIPIcs | - |
dc.rights | © Tom J. Ameloot, Bas Ketsman, Frank Neven, and Daniel Zinn; licensed under Creative Commons License CC-BY | - |
dc.subject.other | datalog; stratified semantics; well-founded semantics; coordination-free evaluation; distributed databases | - |
dc.title | Datalog Queries Distributing over Components | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.authors | Arenas, Marcelo | - |
local.bibliographicCitation.authors | Ugarte, Martín | - |
local.bibliographicCitation.conferencedate | 23-27 March 2015 | - |
local.bibliographicCitation.conferencename | 18th International Conference on Database Theory | - |
local.bibliographicCitation.conferenceplace | Brussels, Belgium | - |
dc.identifier.epage | 323 | - |
dc.identifier.spage | 308 | - |
local.bibliographicCitation.jcat | C1 | - |
dc.description.notes | Ameloot, TJ (reprint author), Hasselt Univ, Hasselt, Belgium tom.ameloot@uhasselt.be; bas.ketsman@uhasselt.be; frank.neven@uhasselt.be; danielqzinn@gmail.com | - |
local.type.refereed | Refereed | - |
local.type.specified | Proceedings Paper | - |
local.relation.ispartofseriesnr | 31 | - |
dc.identifier.doi | 10.4230/LIPIcs.ICDT.2015.308 | - |
local.bibliographicCitation.btitle | 18th International Conference on Database Theory | - |
item.contributor | AMELOOT, Tom | - |
item.contributor | KETSMAN, Bas | - |
item.contributor | NEVEN, Frank | - |
item.contributor | Zinn, Daniel | - |
item.fullcitation | AMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank & Zinn, Daniel (2015) Datalog Queries Distributing over Components. In: Arenas, Marcelo; Ugarte, Martín (Ed.). 18th International Conference on Database Theory, p. 308-323. | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
Appears in Collections: | Research publications |
SCOPUSTM
Citations
6
checked on Sep 2, 2020
Page view(s)
66
checked on Nov 7, 2023
Download(s)
142
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.