<?xml version="1.0" encoding="UTF-8"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
<ListRecords>
<oai_dc:dc xmlns="http://www.openarchives.org/OAI/2.0/oai_dc/"
           xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/"
           xmlns:dc="http://purl.org/dc/elements/1.1/"
           xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
           xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
   	<dc:title>Parameterised Complexity of Consistent Query Answering via Graph  Representations</dc:title>
   	<dc:creator>Hankala, Teemu</dc:creator>
   	<dc:creator>Hannula, Miika</dc:creator>
   	<dc:creator>Mahmood, Yasir</dc:creator>
   	<dc:creator>Meier, Arne</dc:creator>
   	<dc:description>We study consistent query answering via different graph representations.
First, we introduce solution-conflict hypergraphs in which nodes represent
facts and edges represent either conflicts or query solutions. Considering a
monotonic query and a set of antimonotonic constraints, we present an explicit
algorithm for counting the number of repairs satisfying the query based on a
tree decomposition of the solution-conflict hypergraph. The algorithm not only
provides fixed-parameter tractability results for data complexity over
expressive query and constraint classes, but also introduces a novel and
potentially implementable approach to repair counting. Second, we consider the
Gaifman graphs arising from MSO descriptions of consistent query answering.
Using a generalization of Courcelle&apos;s theorem, we then present fixed-parameter
tractability results for combined complexity over expressive query and
constraint classes.</dc:description>
   	<dc:date>2024</dc:date>
   	<dc:type>info:eu-repo/semantics/preprint</dc:type>
   	<dc:type>doc-type:preprint</dc:type>
   	<dc:type>text</dc:type>
   	<dc:type>http://purl.org/coar/resource_type/c_816b</dc:type>
   	<dc:identifier>https://ris.uni-paderborn.de/record/57814</dc:identifier>
   	<dc:source>Hankala T, Hannula M, Mahmood Y, Meier A. Parameterised Complexity of Consistent Query Answering via Graph  Representations. &lt;i&gt;arXiv:241208324&lt;/i&gt;. Published online 2024.</dc:source>
   	<dc:language>eng</dc:language>
   	<dc:relation>info:eu-repo/semantics/altIdentifier/arxiv/2412.08324</dc:relation>
   	<dc:rights>info:eu-repo/semantics/closedAccess</dc:rights>
</oai_dc:dc>
</ListRecords>
</OAI-PMH>
