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 条
[31]  
Lopatenko A, 2006, LECT NOTES COMPUT SC, V4353, P179
[32]  
Rosati R., 2011, P 22 INT JOINT C ART, P1057
[33]  
Schewe K.-D., 1992, FMLDO WORKSH COMP, P174
[34]  
Staworko S., 2007, THESIS
[35]  
ten Cate B., 2012, P 15 INT C DAT THEOR, P22
[36]  
Wijsen J, 2003, LECT NOTES COMPUT SC, V2572, P378
[37]   Certain Conjunctive Query Answering in First-Order Logic [J].
Wijsen, Jef .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2012, 37 (02)
[38]   Query Languages for Graph Databases [J].
Wood, Peter T. .
SIGMOD RECORD, 2012, 41 (01) :50-60
[39]   Efficient Subgraph Similarity Search on Large Probabilistic Graph Databases [J].
Yuan, Ye ;
Wang, Guoren ;
Chent, Lei ;
Wang, Haixun .
PROCEEDINGS OF THE VLDB ENDOWMENT, 2012, 5 (09) :800-811