Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310930103> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4310930103 abstract "Weakly-Sticky(WS) Datalog+/- is an expressive member of the family of Datalog+/- program classes that is defined on the basis of the conditions of stickiness and weak-acyclicity. Conjunctive query answering (QA) over the WS programs has been investigated, and its tractability in data complexity has been established. However, the design and implementation of practical QA algorithms and their optimizations have been open. In order to fill this gap, we first study Sticky and WS programs from the point of view of the behavior of the chase procedure. We extend the stickiness property of the chase to that of generalized stickiness of the chase (GSCh) modulo an oracle that selects (and provides) the predicate positions where finitely values appear during the chase. Stickiness modulo a selection function S that provides only a subset of those positions defines sch(S), a semantic subclass of GSCh. Program classes with selection functions include Sticky and WS, and another syntactic class that we introduce and characterize, namely JWS, of jointly-weakly-sticky programs, which contains WS. The selection functions for these last three classes are computable, and no external, possibly non-computable oracle is needed. We propose a bottom-up QA algorithm for programs in the class sch(S), for a general selection function S. As a particular case, we obtain a polynomial-time QA algorithm for JWS and weakly-sticky programs. Unlike WS, JWS turns out to be closed under magic-sets query optimization. As a consequence, both the generic polynomial-time QA algorithm and its magic-set optimization can be particularized and applied to WS." @default.
- W4310930103 created "2022-12-21" @default.
- W4310930103 creator A5015753842 @default.
- W4310930103 creator A5072207353 @default.
- W4310930103 date "2021-08-02" @default.
- W4310930103 modified "2023-10-14" @default.
- W4310930103 title "Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization" @default.
- W4310930103 doi "https://doi.org/10.48550/arxiv.2108.00903" @default.
- W4310930103 hasPublicationYear "2021" @default.
- W4310930103 type Work @default.
- W4310930103 citedByCount "0" @default.
- W4310930103 crossrefType "posted-content" @default.
- W4310930103 hasAuthorship W4310930103A5015753842 @default.
- W4310930103 hasAuthorship W4310930103A5072207353 @default.
- W4310930103 hasBestOaLocation W43109301031 @default.
- W4310930103 hasConcept C11413529 @default.
- W4310930103 hasConcept C114614502 @default.
- W4310930103 hasConcept C118615104 @default.
- W4310930103 hasConcept C121332964 @default.
- W4310930103 hasConcept C131924884 @default.
- W4310930103 hasConcept C134026603 @default.
- W4310930103 hasConcept C14036430 @default.
- W4310930103 hasConcept C148230440 @default.
- W4310930103 hasConcept C154945302 @default.
- W4310930103 hasConcept C199360897 @default.
- W4310930103 hasConcept C2777212361 @default.
- W4310930103 hasConcept C2777704519 @default.
- W4310930103 hasConcept C311688 @default.
- W4310930103 hasConcept C33923547 @default.
- W4310930103 hasConcept C41008148 @default.
- W4310930103 hasConcept C54732982 @default.
- W4310930103 hasConcept C55166926 @default.
- W4310930103 hasConcept C62520636 @default.
- W4310930103 hasConcept C77088390 @default.
- W4310930103 hasConcept C78458016 @default.
- W4310930103 hasConcept C80444323 @default.
- W4310930103 hasConcept C81917197 @default.
- W4310930103 hasConcept C86803240 @default.
- W4310930103 hasConceptScore W4310930103C11413529 @default.
- W4310930103 hasConceptScore W4310930103C114614502 @default.
- W4310930103 hasConceptScore W4310930103C118615104 @default.
- W4310930103 hasConceptScore W4310930103C121332964 @default.
- W4310930103 hasConceptScore W4310930103C131924884 @default.
- W4310930103 hasConceptScore W4310930103C134026603 @default.
- W4310930103 hasConceptScore W4310930103C14036430 @default.
- W4310930103 hasConceptScore W4310930103C148230440 @default.
- W4310930103 hasConceptScore W4310930103C154945302 @default.
- W4310930103 hasConceptScore W4310930103C199360897 @default.
- W4310930103 hasConceptScore W4310930103C2777212361 @default.
- W4310930103 hasConceptScore W4310930103C2777704519 @default.
- W4310930103 hasConceptScore W4310930103C311688 @default.
- W4310930103 hasConceptScore W4310930103C33923547 @default.
- W4310930103 hasConceptScore W4310930103C41008148 @default.
- W4310930103 hasConceptScore W4310930103C54732982 @default.
- W4310930103 hasConceptScore W4310930103C55166926 @default.
- W4310930103 hasConceptScore W4310930103C62520636 @default.
- W4310930103 hasConceptScore W4310930103C77088390 @default.
- W4310930103 hasConceptScore W4310930103C78458016 @default.
- W4310930103 hasConceptScore W4310930103C80444323 @default.
- W4310930103 hasConceptScore W4310930103C81917197 @default.
- W4310930103 hasConceptScore W4310930103C86803240 @default.
- W4310930103 hasLocation W43109301031 @default.
- W4310930103 hasLocation W43109301032 @default.
- W4310930103 hasOpenAccess W4310930103 @default.
- W4310930103 hasPrimaryLocation W43109301031 @default.
- W4310930103 hasRelatedWork W1556463454 @default.
- W4310930103 hasRelatedWork W2025242197 @default.
- W4310930103 hasRelatedWork W2029582218 @default.
- W4310930103 hasRelatedWork W2150033503 @default.
- W4310930103 hasRelatedWork W2620074062 @default.
- W4310930103 hasRelatedWork W2740681086 @default.
- W4310930103 hasRelatedWork W2963589932 @default.
- W4310930103 hasRelatedWork W4288363924 @default.
- W4310930103 hasRelatedWork W4297923768 @default.
- W4310930103 hasRelatedWork W4385714200 @default.
- W4310930103 isParatext "false" @default.
- W4310930103 isRetracted "false" @default.
- W4310930103 workType "article" @default.