Matches in SemOpenAlex for { <https://semopenalex.org/work/W3170312185> ?p ?o ?g. }
- W3170312185 abstract "Numerous fundamental database and reasoning problems are known to be NP-hard in general but tractable on instances where the underlying hypergraph structure is β-acyclic. Despite the importance of many of these problems, there has been little success in generalizing these results beyond acyclicity. In this paper, we take on this challenge and propose nest-set width, a novel generalization of hypergraph β-acyclicity. We demonstrate that nest-set width has desirable properties and algorithmic significance. In particular, evaluation of boolean conjunctive queries with negation is tractable for classes with bounded nest-set width. Furthermore, propositional satisfiability is fixed-parameter tractable when parameterized by nest-set width." @default.
- W3170312185 created "2021-06-22" @default.
- W3170312185 creator A5053864834 @default.
- W3170312185 date "2021-06-20" @default.
- W3170312185 modified "2023-09-27" @default.
- W3170312185 title "Tractability Beyond ß-Acyclicity for Conjunctive Queries with Negation" @default.
- W3170312185 cites W1484192075 @default.
- W3170312185 cites W1513328939 @default.
- W3170312185 cites W1539502146 @default.
- W3170312185 cites W1598698067 @default.
- W3170312185 cites W1978282744 @default.
- W3170312185 cites W1993328543 @default.
- W3170312185 cites W2008536061 @default.
- W3170312185 cites W2012010258 @default.
- W3170312185 cites W2033325972 @default.
- W3170312185 cites W2046167302 @default.
- W3170312185 cites W2062897452 @default.
- W3170312185 cites W2104498537 @default.
- W3170312185 cites W2141898804 @default.
- W3170312185 cites W2141925838 @default.
- W3170312185 cites W2169998163 @default.
- W3170312185 cites W2401610261 @default.
- W3170312185 cites W2585424461 @default.
- W3170312185 cites W2624220145 @default.
- W3170312185 cites W2965115871 @default.
- W3170312185 cites W3022709368 @default.
- W3170312185 doi "https://doi.org/10.1145/3452021.3458308" @default.
- W3170312185 hasPublicationYear "2021" @default.
- W3170312185 type Work @default.
- W3170312185 sameAs 3170312185 @default.
- W3170312185 citedByCount "2" @default.
- W3170312185 countsByYear W31703121852022 @default.
- W3170312185 countsByYear W31703121852023 @default.
- W3170312185 crossrefType "proceedings-article" @default.
- W3170312185 hasAuthorship W3170312185A5053864834 @default.
- W3170312185 hasBestOaLocation W31703121852 @default.
- W3170312185 hasConcept C111919701 @default.
- W3170312185 hasConcept C11413529 @default.
- W3170312185 hasConcept C118615104 @default.
- W3170312185 hasConcept C124101348 @default.
- W3170312185 hasConcept C127705205 @default.
- W3170312185 hasConcept C128838566 @default.
- W3170312185 hasConcept C134306372 @default.
- W3170312185 hasConcept C16221470 @default.
- W3170312185 hasConcept C165464430 @default.
- W3170312185 hasConcept C168773769 @default.
- W3170312185 hasConcept C177148314 @default.
- W3170312185 hasConcept C177264268 @default.
- W3170312185 hasConcept C182620335 @default.
- W3170312185 hasConcept C199360897 @default.
- W3170312185 hasConcept C2185349 @default.
- W3170312185 hasConcept C2781221856 @default.
- W3170312185 hasConcept C33923547 @default.
- W3170312185 hasConcept C34388435 @default.
- W3170312185 hasConcept C41008148 @default.
- W3170312185 hasConcept C5655090 @default.
- W3170312185 hasConcept C65647387 @default.
- W3170312185 hasConcept C6943359 @default.
- W3170312185 hasConcept C80444323 @default.
- W3170312185 hasConceptScore W3170312185C111919701 @default.
- W3170312185 hasConceptScore W3170312185C11413529 @default.
- W3170312185 hasConceptScore W3170312185C118615104 @default.
- W3170312185 hasConceptScore W3170312185C124101348 @default.
- W3170312185 hasConceptScore W3170312185C127705205 @default.
- W3170312185 hasConceptScore W3170312185C128838566 @default.
- W3170312185 hasConceptScore W3170312185C134306372 @default.
- W3170312185 hasConceptScore W3170312185C16221470 @default.
- W3170312185 hasConceptScore W3170312185C165464430 @default.
- W3170312185 hasConceptScore W3170312185C168773769 @default.
- W3170312185 hasConceptScore W3170312185C177148314 @default.
- W3170312185 hasConceptScore W3170312185C177264268 @default.
- W3170312185 hasConceptScore W3170312185C182620335 @default.
- W3170312185 hasConceptScore W3170312185C199360897 @default.
- W3170312185 hasConceptScore W3170312185C2185349 @default.
- W3170312185 hasConceptScore W3170312185C2781221856 @default.
- W3170312185 hasConceptScore W3170312185C33923547 @default.
- W3170312185 hasConceptScore W3170312185C34388435 @default.
- W3170312185 hasConceptScore W3170312185C41008148 @default.
- W3170312185 hasConceptScore W3170312185C5655090 @default.
- W3170312185 hasConceptScore W3170312185C65647387 @default.
- W3170312185 hasConceptScore W3170312185C6943359 @default.
- W3170312185 hasConceptScore W3170312185C80444323 @default.
- W3170312185 hasFunder F4320320006 @default.
- W3170312185 hasFunder F4320321181 @default.
- W3170312185 hasLocation W31703121851 @default.
- W3170312185 hasLocation W31703121852 @default.
- W3170312185 hasOpenAccess W3170312185 @default.
- W3170312185 hasPrimaryLocation W31703121851 @default.
- W3170312185 hasRelatedWork W1781010059 @default.
- W3170312185 hasRelatedWork W2166342416 @default.
- W3170312185 hasRelatedWork W2173621488 @default.
- W3170312185 hasRelatedWork W2287549241 @default.
- W3170312185 hasRelatedWork W2469887214 @default.
- W3170312185 hasRelatedWork W2548856372 @default.
- W3170312185 hasRelatedWork W2747084554 @default.
- W3170312185 hasRelatedWork W2963979038 @default.
- W3170312185 hasRelatedWork W3170312185 @default.
- W3170312185 hasRelatedWork W4294660805 @default.
- W3170312185 isParatext "false" @default.
- W3170312185 isRetracted "false" @default.