How Hard Is Completeness Reasoning for Conjunctive Queries

Incomplete data has been wildly viewed in many real applications. In practical, data is often partial complete, it means that the whole part of data is incomplete but there exist special complete parts of data which can still support answering related queries. However, as far as we know, there are only few works focusing on managing partial complete data. Therefore, efficient methods for representing partial complete data and deciding which queries can be answered over the complete parts are seriously needed. The completeness reasoning problem, TC-QC (Table Completeness to Query Completeness), has been recognized as an important fundamental problem in managing partial complete data. Given completeness statements of data, the goal of the TC-QC problem is to determine whether the result of a special query Q is complete, that is to reason query completeness based on given data completeness. Previous works show that the TC-QC problem is NP-hard even for conjunctive queries, and a natural and interesting question is whether or not TC-QC can be solved efficiently by parameterized algorithms.