On the data complexity of consistent query answering over graph databases

被引:8
作者
Barcelo, Pablo [1 ]
Fontaine, Gaelle
机构
[1] Univ Chile, Ctr Semant Web Res, Beaucheff 851, Santiago 8370456, Chile
关键词
Graph databases; Regular path queries; Consistent query answering; Description logics; Rewrite systems; CONSTRAINTS; DICHOTOMY;
D O I
10.1016/j.jcss.2017.03.015
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:164 / 194
页数:31
相关论文
共 39 条
[1]   Regular path queries with constraints [J].
Abiteboul, S ;
Vianu, V .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 58 (03) :428-452
[2]  
[Anonymous], 2002, P ACM SIGACT SIGMOD, DOI DOI 10.1145/543613.543644
[3]  
Arenas M., 1999, Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, P68, DOI 10.1145/303976.303983
[4]   On the complexity of verifying consistency of XML specifications [J].
Arenas, Marcelo ;
Fan, Wenfei ;
Libkin, Leonid .
SIAM JOURNAL ON COMPUTING, 2008, 38 (03) :841-880
[5]  
Baeza Pablo Barcelo, 2013, ACM S PRINC DAT SYST, P175, DOI 10.1145/2463664.2465216
[6]  
Barcelo Pablo., 2015, ICDT, volume 31 of LIPIcs, P380
[7]  
Book R., 1993, REWRITING SYSTEMS
[8]   Path constraints in semistructured databases [J].
Buneman, P ;
Fan, WF .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2000, 61 (02) :146-193
[9]  
Cali A., 2003, P 22 ACM SIGACT SIGM, P260
[10]   Taming the Infinite Chase: Query Answering under Expressive Relational Constraints [J].
Cali, Andrea ;
Gottlob, Georg ;
Kifer, Michael .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 :115-174