FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100901419> ?p ?o ?g. }

• W3100901419 abstract "Conjunctive queries are one of the most common class of queries used in database systems, and the best studied in the literature. A seminal result of Grohe, Schwentick, and Segoufin (STOC 2001) demonstrates that for every class $G$ of graphs, the evaluation of all conjunctive queries whose underlying graph is in $G$ is tractable if, and only if, $G$ has bounded treewidth. In this work, we extend this characterization to the counting problem for conjunctive queries. Specifically, for every class $C$ of conjunctive queries with bounded treewidth, we introduce the first fully polynomial-time randomized approximation scheme (FPRAS) for counting answers to a query in $C$, and the first polynomial-time algorithm for sampling answers uniformly from a query in $C$. As a corollary, it follows that for every class $G$ of graphs, the counting problem for conjunctive queries whose underlying graph is in $G$ admits an FPRAS if, and only if, $G$ has bounded treewidth (unless $text{BPP} neq text{P}$)}. In fact, our FPRAS is more general, and also applies to conjunctive queries with bounded hypertree width, as well as unions of such queries. The key ingredient in our proof is the resolution of a fundamental counting problem from automata theory. Specifically, we demonstrate the first FPRAS and polynomial time sampler for the set of trees of size $n$ accepted by a tree automaton, which improves the prior quasi-polynomial time randomized approximation scheme (QPRAS) and sampling algorithm of Gore, Jerrum, Kannan, Sweedyk, and Mahaney '97. We demonstrate how this algorithm can be used to obtain an FPRAS for many hitherto open problems, such as counting solutions to constraint satisfaction problems (CSP) with bounded hypertree-width, counting the number of error threads in programs with nested call subroutines, and counting valid assignments to structured DNNF circuits." @default.
• W3100901419 created "2020-11-23" @default.
• W3100901419 creator A5011691423 @default.
• W3100901419 creator A5048454802 @default.
• W3100901419 creator A5065267206 @default.
• W3100901419 creator A5083030983 @default.
• W3100901419 date "2020-05-20" @default.
• W3100901419 modified "2023-09-27" @default.
• W3100901419 title "When is Approximate Counting for Conjunctive Queries Tractable" @default.
• W3100901419 cites W100521459 @default.
• W3100901419 cites W127117993 @default.
• W3100901419 cites W1522877314 @default.
• W3100901419 cites W1551503011 @default.
• W3100901419 cites W1555563750 @default.
• W3100901419 cites W1556566737 @default.
• W3100901419 cites W1556844982 @default.
• W3100901419 cites W1562734116 @default.
• W3100901419 cites W1593799327 @default.
• W3100901419 cites W1816620374 @default.
• W3100901419 cites W1964857063 @default.
• W3100901419 cites W1972917397 @default.
• W3100901419 cites W1976043843 @default.
• W3100901419 cites W1979514837 @default.
• W3100901419 cites W1984509356 @default.
• W3100901419 cites W1986660301 @default.
• W3100901419 cites W2008770192 @default.
• W3100901419 cites W2010438070 @default.
• W3100901419 cites W2018798767 @default.
• W3100901419 cites W2019789808 @default.
• W3100901419 cites W2026745535 @default.
• W3100901419 cites W2027519504 @default.
• W3100901419 cites W2028357390 @default.
• W3100901419 cites W2033325972 @default.
• W3100901419 cites W2034674470 @default.
• W3100901419 cites W2035020702 @default.
• W3100901419 cites W2039302045 @default.
• W3100901419 cites W2049516232 @default.
• W3100901419 cites W2049559029 @default.
• W3100901419 cites W2064838169 @default.
• W3100901419 cites W2066720893 @default.
• W3100901419 cites W2070386554 @default.
• W3100901419 cites W2077814962 @default.
• W3100901419 cites W2081256023 @default.
• W3100901419 cites W2085065991 @default.
• W3100901419 cites W2088101961 @default.
• W3100901419 cites W2092398161 @default.
• W3100901419 cites W2092583023 @default.
• W3100901419 cites W2094500233 @default.
• W3100901419 cites W2103115610 @default.
• W3100901419 cites W2104498537 @default.
• W3100901419 cites W2108196350 @default.
• W3100901419 cites W2113448924 @default.
• W3100901419 cites W2115826669 @default.
• W3100901419 cites W2116250539 @default.
• W3100901419 cites W2122410182 @default.
• W3100901419 cites W2131886132 @default.
• W3100901419 cites W2134483537 @default.
• W3100901419 cites W2148417962 @default.
• W3100901419 cites W2150339067 @default.
• W3100901419 cites W2151033407 @default.
• W3100901419 cites W2162583406 @default.
• W3100901419 cites W2163221245 @default.
• W3100901419 cites W2163949730 @default.
• W3100901419 cites W2170933628 @default.
• W3100901419 cites W2177243619 @default.
• W3100901419 cites W2403854598 @default.
• W3100901419 cites W2423871547 @default.
• W3100901419 cites W2586666171 @default.
• W3100901419 cites W2798499404 @default.
• W3100901419 cites W2948686875 @default.
• W3100901419 cites W2949894935 @default.
• W3100901419 cites W2962785950 @default.
• W3100901419 cites W2963768895 @default.
• W3100901419 cites W3010643318 @default.
• W3100901419 cites W3013303285 @default.
• W3100901419 cites W3111890340 @default.
• W3100901419 cites W36639738 @default.
• W3100901419 cites W47957325 @default.
• W3100901419 cites W52840101 @default.
• W3100901419 hasPublicationYear "2020" @default.
• W3100901419 type Work @default.
• W3100901419 sameAs 3100901419 @default.
• W3100901419 citedByCount "1" @default.
• W3100901419 countsByYear W31009014192022 @default.
• W3100901419 crossrefType "posted-content" @default.
• W3100901419 hasAuthorship W3100901419A5011691423 @default.
• W3100901419 hasAuthorship W3100901419A5048454802 @default.
• W3100901419 hasAuthorship W3100901419A5065267206 @default.
• W3100901419 hasAuthorship W3100901419A5083030983 @default.
• W3100901419 hasConcept C114614502 @default.
• W3100901419 hasConcept C118615104 @default.
• W3100901419 hasConcept C132525143 @default.
• W3100901419 hasConcept C132569581 @default.
• W3100901419 hasConcept C134306372 @default.
• W3100901419 hasConcept C154945302 @default.
• W3100901419 hasConcept C203776342 @default.
• W3100901419 hasConcept C2777212361 @default.
• W3100901419 hasConcept C2780012671 @default.
• W3100901419 hasConcept C311688 @default.
• W3100901419 hasConcept C33923547 @default.

• next