Abstract
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.
The paper investigates the parameterized complexity of completeness reasoning for conjunctive queries. We show that, if the query completeness size or the table completeness size is considered as a parameter, then the parameterized TC-QC problem for conjunctive queries is para-NP-complete. These results strongly indicate that no fixed-parameter tractable algorithms exist for the TC-QC problems parameterized by the above two parameters. Thus, more special cases of TC-QC defined by different constraints are studied. It is shown that, when the constraints about query structures like degree, tree-width and number of variables are considered, the parameterized TC-QC problems are still intractable. On the positive side, we show that, if each data completeness statement has a constant size bound, the parameterized TC-QC problem defined by the query completeness size can be solved by a fixed-parameter tractable algorithm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)
Aho, A.V., Sagiv, Y., Ullman, J.D.: Equivalences among relational expressions. SIAM J. Comput. 8(2), 218–246 (1979)
Cai, Z., Miao, D., Li, Y.: Deletion propagation for multiple key preserving conjunctive queries: approximations and complexity. In: ICDE 2019, pp. 506–517 (2019)
Codd, E.F.: Understanding relations (installment #7). FDT - Bull. ACM SIGMOD 7(3), 23–28 (1975)
Console, M., Guagliardo, P., Libkin, L.: On querying incomplete information in databases under bag semantics. In: IJCAI 2017, pp. 993–999 (2017)
Flum, J., Grohe, M.: Fixed-parameter tractability, definability, and model-checking. SIAM J. Comput. 31(1), 113–145 (2001)
Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-29953-X
Han, Y., Sun, G., Shen, Y., Zhang, X.: Multi-label learning with highly incomplete data via collaborative embedding. In: KDD 2018, pp. 1494–1503 (2018)
Levy,A.Y.: Obtaining complete answers from incomplete databases. In: VLDB 1996, Proceedings of 22th International Conference on Very Large Data Bases, 3–6 September 1996, pp. 402–412, Mumbai (1996)
Liu, X., Cai, Z., Miao, D., Li, J.: Tree size reduction with keeping distinguishability. Theor. Comput. Sci. 749, 26–35 (2018)
Miao, D., Cai, Z., Li, J.: On the complexity of bounded view propagation for conjunctive queries. IEEE Trans. Knowl. Data Eng. 30(1), 115–127 (2018)
Miao, D., Liu, X., Li, J.: On the complexity of sampling query feedback restricted database repair of functional dependency violations. Theor. Comput. Sci. 609, 594–605 (2016)
Razniewski, S., Korn, F., Nutt, W., Srivastava, D.: Identifying the extent of completeness of query answers over partially complete databases. In: SIGMOD 2015, pp. 561–576 (2015)
Razniewski, S., Nutt, W.: Completeness of queries over incomplete databases. PVLDB 4(11), 749–760 (2011)
Tang, X., et al.: Joint modeling of dense and incomplete trajectories for citywide traffic volume inference. In: WWW 2019, pp. 1806–1817 (2019)
Acknowledgement
This work was supported in part by the Key Program of the National Natural Science Foundation of China under grant No. 61832003, the Major Program of the National Natural Science Foundation of China under grant No. U1811461, the General Program of the National Natural Science Foundation of China under grant No. 61772157, and the China Postdoctoral Science Foundation under grant 2016M590284.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Liu, X., Li, J., Li, Y. (2020). How Hard Is Completeness Reasoning for Conjunctive Queries?. In: Kim, D., Uma, R., Cai, Z., Lee, D. (eds) Computing and Combinatorics. COCOON 2020. Lecture Notes in Computer Science(), vol 12273. Springer, Cham. https://doi.org/10.1007/978-3-030-58150-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-58150-3_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58149-7
Online ISBN: 978-3-030-58150-3
eBook Packages: Computer ScienceComputer Science (R0)