dc.creator | Barceló Baeza, Pablo | |
dc.creator | Fontaine, Gaëlle | |
dc.date.accessioned | 2018-05-16T20:55:08Z | |
dc.date.accessioned | 2019-04-26T01:32:42Z | |
dc.date.available | 2018-05-16T20:55:08Z | |
dc.date.available | 2019-04-26T01:32:42Z | |
dc.date.created | 2018-05-16T20:55:08Z | |
dc.date.issued | 2017 | |
dc.identifier | Journal of Computer and System Sciences 88(2017)164–194 | |
dc.identifier | 10.1016/j.jcss.2017.03.015 | |
dc.identifier | http://repositorio.uchile.cl/handle/2250/147817 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/2451859 | |
dc.description.abstract | Applications of graph databases are prone to inconsistency due to interoperability issues. This raises the need for studying query answering over inconsistent graph databases in a simple but general framework. We follow the approach of consistent query answering (CQA), and study its data complexity over graph databases for conjunctive regular-path queries (CRPQs) and conjunctive regular-path constraints (CRPCs). We deal with subset, superset and symmetric-difference repairs. Without restrictions, CQA is undecidable for the semantics of superset- and symmetric-difference repairs, and Pi(P)(2)-complete for subset repairs. However, we identify restrictions on CRPC5 and databases that lead to decidability, and even tractability of CQA. (C) 2017 Elsevier Inc. All rights reserved. | |
dc.language | en | |
dc.publisher | Elsevier | |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/cl/ | |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Chile | |
dc.source | Journal of Computer and System Sciences | |
dc.subject | Graph databases | |
dc.subject | Regular path queries | |
dc.subject | Consistent query answering | |
dc.subject | Description logics | |
dc.subject | Rewrite systems | |
dc.title | On the data complexity of consistent query answering over graph databases | |
dc.type | Artículos de revistas | |