{"abstract":[{"lang":"eng","text":"We study consistent query answering via different graph representations.\r\nFirst, we introduce solution-conflict hypergraphs in which nodes represent\r\nfacts and edges represent either conflicts or query solutions. Considering a\r\nmonotonic query and a set of antimonotonic constraints, we present an explicit\r\nalgorithm for counting the number of repairs satisfying the query based on a\r\ntree decomposition of the solution-conflict hypergraph. The algorithm not only\r\nprovides fixed-parameter tractability results for data complexity over\r\nexpressive query and constraint classes, but also introduces a novel and\r\npotentially implementable approach to repair counting. Second, we consider the\r\nGaifman graphs arising from MSO descriptions of consistent query answering.\r\nUsing a generalization of Courcelle's theorem, we then present fixed-parameter\r\ntractability results for combined complexity over expressive query and\r\nconstraint classes."}],"language":[{"iso":"eng"}],"user_id":"99353","status":"public","citation":{"short":"T. Hankala, M. Hannula, Y. Mahmood, A. Meier, ArXiv:2412.08324 (2024).","bibtex":"@article{Hankala_Hannula_Mahmood_Meier_2024, title={Parameterised Complexity of Consistent Query Answering via Graph Representations}, journal={arXiv:2412.08324}, author={Hankala, Teemu and Hannula, Miika and Mahmood, Yasir and Meier, Arne}, year={2024} }","apa":"Hankala, T., Hannula, M., Mahmood, Y., & Meier, A. (2024). Parameterised Complexity of Consistent Query Answering via Graph Representations. In arXiv:2412.08324.","chicago":"Hankala, Teemu, Miika Hannula, Yasir Mahmood, and Arne Meier. “Parameterised Complexity of Consistent Query Answering via Graph Representations.” ArXiv:2412.08324, 2024.","ieee":"T. Hankala, M. Hannula, Y. Mahmood, and A. Meier, “Parameterised Complexity of Consistent Query Answering via Graph Representations,” arXiv:2412.08324. 2024.","ama":"Hankala T, Hannula M, Mahmood Y, Meier A. Parameterised Complexity of Consistent Query Answering via Graph Representations. arXiv:241208324. Published online 2024.","mla":"Hankala, Teemu, et al. “Parameterised Complexity of Consistent Query Answering via Graph Representations.” ArXiv:2412.08324, 2024."},"date_created":"2024-12-15T20:12:56Z","department":[{"_id":"574"}],"author":[{"full_name":"Hankala, Teemu","first_name":"Teemu","last_name":"Hankala"},{"last_name":"Hannula","first_name":"Miika","full_name":"Hannula, Miika"},{"id":"99353","full_name":"Mahmood, Yasir","last_name":"Mahmood","first_name":"Yasir"},{"full_name":"Meier, Arne","first_name":"Arne","last_name":"Meier"}],"title":"Parameterised Complexity of Consistent Query Answering via Graph Representations","type":"preprint","date_updated":"2024-12-15T20:13:46Z","external_id":{"arxiv":["2412.08324"]},"publication":"arXiv:2412.08324","_id":"57814","year":"2024"}