Prefer a chat interface with context about you and your work?
Structural tractability of counting of solutions to conjunctive queries
In this paper we explore the problem of counting solutions to conjunctive queries. We consider a parameter called the quantified star size of a formula φ which measures how the free variables are spread in φ. We show that for conjunctive queries that admit nice decomposition properties (such as being …