Data exchange: On the complexity of answering queries with inequalities

被引:10
|
作者
Madry, A [1 ]
机构
[1] Univ Wroclaw, Inst Comp Sci, PL-50138 Wroclaw, Poland
关键词
data exchange; query answering; certain answers; computational complexity;
D O I
10.1016/j.ipl.2005.03.001
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The complexity of answering Boolean queries and the local-as-view (LAV) setting, which is a special case of the general data exchange problem setting, is described. It is observed that the certain answers for queries being unions of conjunctive queries can be computed in polynomial time. There is a polynomial-time algorithm for computing the certain answers of unions of conjunctive queries with at most one inequality per disjunct. Thus the minimal number of inequalities giving rise to co-NP-hardness of this problem is at least two and six at most.
引用
收藏
页码:253 / 257
页数:5
相关论文
共 50 条
  • [1] Answering Conjunctive Queries with Inequalities
    Koutris, Paraschos
    Milo, Tova
    Roy, Sudeepa
    Suciu, Dan
    THEORY OF COMPUTING SYSTEMS, 2017, 61 (01) : 2 - 30
  • [2] Answering Conjunctive Queries with Inequalities
    Paraschos Koutris
    Tova Milo
    Sudeepa Roy
    Dan Suciu
    Theory of Computing Systems, 2017, 61 : 2 - 30
  • [3] The Data Complexity of Answering Instance Queries in FL0
    Baader, Franz
    Marantidis, Pavlos
    Pensel, Maximilian
    COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), 2018, : 1603 - 1607
  • [4] ANSWERING NON-MONOTONIC QUERIES IN RELATIONAL DATA EXCHANGE
    Hernich, Andre
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (03)
  • [5] Answering Conjunctive Queries with Inequalities in DL-LiteR
    Cima, Gianluca
    Lenzerini, Maurizio
    Poggi, Antonella
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2782 - 2789
  • [6] Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange
    Lukasiewicz, Thomas
    Predoiu, Livia
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1008 - 1016
  • [7] A dichotomy in the complexity of consistent query answering for queries with two atoms
    Kolaitis, Phokion G.
    Pema, Enela
    INFORMATION PROCESSING LETTERS, 2012, 112 (03) : 77 - 85
  • [8] Answering Approximate Queries Over XML Data
    Liu, Jian
    Yan, D. L.
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2016, 24 (02) : 288 - 305
  • [9] ANSWERING GEOSPARQL QUERIES OVER RELATIONAL DATA
    Bereta, K.
    Xiao, G.
    Koubarakis, M.
    FOSS4G-EUROPE 2017 - ACADEMIC TRACK, 2017, 42-4 (W2): : 43 - 50
  • [10] Answering XML queries by means of data summaries
    Baralis, Elena
    Garza, Paolo
    Quintarelli, Elisa
    Tanca, Letizia
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 2007, 25 (03)