کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
430031 | 687781 | 2014 | 20 صفحه PDF | دانلود رایگان |
• We study weighted counting of solutions of acyclic conjunctive queries.
• We chart the tractability frontier for this problem.
• A parameter, called quantified star size, that measures how projected variables are spread in the query.
• Having bounded quantified star size exactly characterizes tractability for this problem.
This paper is a study of weighted counting of the solutions of acyclic conjunctive queries (ACQ). The unweighted quantifier free version of this problem is known to be tractable (for combined complexity), but it is also known that introducing even a single quantified variable makes it #P#P-hard. We first show that weighted counting for quantifier free ACQ is still tractable and that even minimalistic extensions of the problem lead to hard cases. We then introduce a new parameter for quantified queries that permits to isolate a large island of tractability. We show that, up to a standard assumption from parameterized complexity, this parameter fully characterizes tractable subclasses for counting weighted solutions for ACQs. Thus we completely determine the tractability frontier for weighted counting for ACQ.
Journal: Journal of Computer and System Sciences - Volume 80, Issue 1, February 2014, Pages 277–296