Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300797758> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4300797758 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.
- W4300797758 created "2022-10-04" @default.
- W4300797758 creator A5018169784 @default.
- W4300797758 creator A5025571978 @default.
- W4300797758 date "2017-04-11" @default.
- W4300797758 modified "2023-09-25" @default.
- W4300797758 title "Enumeration Complexity of Poor Man's Propositional Dependence Logic" @default.
- W4300797758 doi "https://doi.org/10.48550/arxiv.1704.03292" @default.
- W4300797758 hasPublicationYear "2017" @default.
- W4300797758 type Work @default.
- W4300797758 citedByCount "0" @default.
- W4300797758 crossrefType "posted-content" @default.
- W4300797758 hasAuthorship W4300797758A5018169784 @default.
- W4300797758 hasAuthorship W4300797758A5025571978 @default.
- W4300797758 hasBestOaLocation W43007977581 @default.
- W4300797758 hasConcept C105605280 @default.
- W4300797758 hasConcept C105795698 @default.
- W4300797758 hasConcept C108710211 @default.
- W4300797758 hasConcept C111919701 @default.
- W4300797758 hasConcept C11413529 @default.
- W4300797758 hasConcept C114614502 @default.
- W4300797758 hasConcept C118615104 @default.
- W4300797758 hasConcept C134306372 @default.
- W4300797758 hasConcept C136119220 @default.
- W4300797758 hasConcept C151376022 @default.
- W4300797758 hasConcept C156340839 @default.
- W4300797758 hasConcept C179799912 @default.
- W4300797758 hasConcept C197685441 @default.
- W4300797758 hasConcept C202444582 @default.
- W4300797758 hasConcept C2524010 @default.
- W4300797758 hasConcept C2778572836 @default.
- W4300797758 hasConcept C28719098 @default.
- W4300797758 hasConcept C311688 @default.
- W4300797758 hasConcept C33923547 @default.
- W4300797758 hasConcept C35651441 @default.
- W4300797758 hasConcept C41008148 @default.
- W4300797758 hasConcept C69562738 @default.
- W4300797758 hasConcept C90119067 @default.
- W4300797758 hasConceptScore W4300797758C105605280 @default.
- W4300797758 hasConceptScore W4300797758C105795698 @default.
- W4300797758 hasConceptScore W4300797758C108710211 @default.
- W4300797758 hasConceptScore W4300797758C111919701 @default.
- W4300797758 hasConceptScore W4300797758C11413529 @default.
- W4300797758 hasConceptScore W4300797758C114614502 @default.
- W4300797758 hasConceptScore W4300797758C118615104 @default.
- W4300797758 hasConceptScore W4300797758C134306372 @default.
- W4300797758 hasConceptScore W4300797758C136119220 @default.
- W4300797758 hasConceptScore W4300797758C151376022 @default.
- W4300797758 hasConceptScore W4300797758C156340839 @default.
- W4300797758 hasConceptScore W4300797758C179799912 @default.
- W4300797758 hasConceptScore W4300797758C197685441 @default.
- W4300797758 hasConceptScore W4300797758C202444582 @default.
- W4300797758 hasConceptScore W4300797758C2524010 @default.
- W4300797758 hasConceptScore W4300797758C2778572836 @default.
- W4300797758 hasConceptScore W4300797758C28719098 @default.
- W4300797758 hasConceptScore W4300797758C311688 @default.
- W4300797758 hasConceptScore W4300797758C33923547 @default.
- W4300797758 hasConceptScore W4300797758C35651441 @default.
- W4300797758 hasConceptScore W4300797758C41008148 @default.
- W4300797758 hasConceptScore W4300797758C69562738 @default.
- W4300797758 hasConceptScore W4300797758C90119067 @default.
- W4300797758 hasLocation W43007977581 @default.
- W4300797758 hasOpenAccess W4300797758 @default.
- W4300797758 hasPrimaryLocation W43007977581 @default.
- W4300797758 hasRelatedWork W1512142157 @default.
- W4300797758 hasRelatedWork W1592037696 @default.
- W4300797758 hasRelatedWork W2046858995 @default.
- W4300797758 hasRelatedWork W2180519974 @default.
- W4300797758 hasRelatedWork W2608649399 @default.
- W4300797758 hasRelatedWork W2951753454 @default.
- W4300797758 hasRelatedWork W4298625440 @default.
- W4300797758 hasRelatedWork W4300797758 @default.
- W4300797758 hasRelatedWork W4312206091 @default.
- W4300797758 hasRelatedWork W860315492 @default.
- W4300797758 isParatext "false" @default.
- W4300797758 isRetracted "false" @default.
- W4300797758 workType "article" @default.