Matches in SemOpenAlex for { <https://semopenalex.org/work/W2608649399> ?p ?o ?g. }
- W2608649399 endingPage "321" @default.
- W2608649399 startingPage "303" @default.
- W2608649399 abstract "Dependence logics are a modern family of logics of independence and dependence which mimic notions of database theory. In this paper, we aim to initiate the study of enumeration complexity in the field of dependence logics and thereby get a new point of view on enumerating answers of database queries. Consequently, as a first step, we investigate the problem of enumerating all satisfying teams of formulas from a given fragment of propositional dependence logic. We distinguish between restricting the team size by arbitrary functions and the parametrised version where the parameter is the team size. We show that a polynomial delay can be reached for polynomials and otherwise in the parametrised setting we reach FPT delay. However, the constructed enumeration algorithm with polynomial delay requires exponential space. We show that an incremental polynomial delay algorithm exists which uses polynomial space only. Negatively, we show that for the general problem without restricting the team size, an enumeration algorithm running in polynomial space cannot exist." @default.
- W2608649399 created "2017-05-05" @default.
- W2608649399 creator A5018169784 @default.
- W2608649399 creator A5025571978 @default.
- W2608649399 date "2018-01-01" @default.
- W2608649399 modified "2023-09-30" @default.
- W2608649399 title "Enumeration Complexity of Poor Man’s Propositional Dependence Logic" @default.
- W2608649399 cites W134510267 @default.
- W2608649399 cites W1736037452 @default.
- W2608649399 cites W1772241399 @default.
- W2608649399 cites W1787069340 @default.
- W2608649399 cites W1926269500 @default.
- W2608649399 cites W1990514682 @default.
- W2608649399 cites W1991388620 @default.
- W2608649399 cites W2000773957 @default.
- W2608649399 cites W2003216212 @default.
- W2608649399 cites W2007671683 @default.
- W2608649399 cites W2007940874 @default.
- W2608649399 cites W2034690236 @default.
- W2608649399 cites W2050480346 @default.
- W2608649399 cites W2084302451 @default.
- W2608649399 cites W2086542011 @default.
- W2608649399 cites W2116087731 @default.
- W2608649399 cites W2137379463 @default.
- W2608649399 cites W2505761605 @default.
- W2608649399 cites W2608649399 @default.
- W2608649399 cites W2612955371 @default.
- W2608649399 cites W4230191592 @default.
- W2608649399 cites W4252380885 @default.
- W2608649399 cites W4292230561 @default.
- W2608649399 doi "https://doi.org/10.1007/978-3-319-90050-6_17" @default.
- W2608649399 hasPublicationYear "2018" @default.
- W2608649399 type Work @default.
- W2608649399 sameAs 2608649399 @default.
- W2608649399 citedByCount "6" @default.
- W2608649399 countsByYear W26086493992018 @default.
- W2608649399 countsByYear W26086493992020 @default.
- W2608649399 countsByYear W26086493992021 @default.
- W2608649399 countsByYear W26086493992023 @default.
- W2608649399 crossrefType "book-chapter" @default.
- W2608649399 hasAuthorship W2608649399A5018169784 @default.
- W2608649399 hasAuthorship W2608649399A5025571978 @default.
- W2608649399 hasBestOaLocation W26086493992 @default.
- W2608649399 hasConcept C105605280 @default.
- W2608649399 hasConcept C105795698 @default.
- W2608649399 hasConcept C108710211 @default.
- W2608649399 hasConcept C111919701 @default.
- W2608649399 hasConcept C11413529 @default.
- W2608649399 hasConcept C118615104 @default.
- W2608649399 hasConcept C134306372 @default.
- W2608649399 hasConcept C136119220 @default.
- W2608649399 hasConcept C151376022 @default.
- W2608649399 hasConcept C156340839 @default.
- W2608649399 hasConcept C179799912 @default.
- W2608649399 hasConcept C197685441 @default.
- W2608649399 hasConcept C202444582 @default.
- W2608649399 hasConcept C2524010 @default.
- W2608649399 hasConcept C2778572836 @default.
- W2608649399 hasConcept C311688 @default.
- W2608649399 hasConcept C33923547 @default.
- W2608649399 hasConcept C35651441 @default.
- W2608649399 hasConcept C41008148 @default.
- W2608649399 hasConcept C69562738 @default.
- W2608649399 hasConcept C90119067 @default.
- W2608649399 hasConceptScore W2608649399C105605280 @default.
- W2608649399 hasConceptScore W2608649399C105795698 @default.
- W2608649399 hasConceptScore W2608649399C108710211 @default.
- W2608649399 hasConceptScore W2608649399C111919701 @default.
- W2608649399 hasConceptScore W2608649399C11413529 @default.
- W2608649399 hasConceptScore W2608649399C118615104 @default.
- W2608649399 hasConceptScore W2608649399C134306372 @default.
- W2608649399 hasConceptScore W2608649399C136119220 @default.
- W2608649399 hasConceptScore W2608649399C151376022 @default.
- W2608649399 hasConceptScore W2608649399C156340839 @default.
- W2608649399 hasConceptScore W2608649399C179799912 @default.
- W2608649399 hasConceptScore W2608649399C197685441 @default.
- W2608649399 hasConceptScore W2608649399C202444582 @default.
- W2608649399 hasConceptScore W2608649399C2524010 @default.
- W2608649399 hasConceptScore W2608649399C2778572836 @default.
- W2608649399 hasConceptScore W2608649399C311688 @default.
- W2608649399 hasConceptScore W2608649399C33923547 @default.
- W2608649399 hasConceptScore W2608649399C35651441 @default.
- W2608649399 hasConceptScore W2608649399C41008148 @default.
- W2608649399 hasConceptScore W2608649399C69562738 @default.
- W2608649399 hasConceptScore W2608649399C90119067 @default.
- W2608649399 hasLocation W26086493991 @default.
- W2608649399 hasLocation W26086493992 @default.
- W2608649399 hasOpenAccess W2608649399 @default.
- W2608649399 hasPrimaryLocation W26086493991 @default.
- W2608649399 hasRelatedWork W1592037696 @default.
- W2608649399 hasRelatedWork W2046858995 @default.
- W2608649399 hasRelatedWork W2139237824 @default.
- W2608649399 hasRelatedWork W2180519974 @default.
- W2608649399 hasRelatedWork W2888663614 @default.
- W2608649399 hasRelatedWork W2951753454 @default.
- W2608649399 hasRelatedWork W4298625440 @default.
- W2608649399 hasRelatedWork W4300797758 @default.
- W2608649399 hasRelatedWork W4312206091 @default.