FRINK Linked Data Fragments server

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

• W2034521022 endingPage "192" @default.
• W2034521022 startingPage "156" @default.
• W2034521022 abstract "In this paper, a new technique for the optimization of (partially) bound queries over disjunctive Datalog programs with stratified negation is presented. The technique exploits the propagation of query bindings and extends the Magic Set optimization technique (originally defined for non-disjunctive programs). An important feature of disjunctive Datalog programs is non-monotonicity, which calls for non-deterministic implementations, such as backtracking search. A distinguishing characteristic of the new method is that the optimization can be exploited also during the non-deterministic phase. In particular, after some assumptions have been made during the computation, parts of the program may become irrelevant to a query under these assumptions. This allows for dynamic pruning of the search space. In contrast, the effect of the previously defined Magic Set methods for disjunctive Datalog is limited to the deterministic portion of the process. In this way, the potential performance gain by using the proposed method can be exponential, as could be observed empirically. The correctness of the method is established and proved in a formal way thanks to a strong relationship between Magic Sets and unfounded sets that has not been studied in the literature before. This knowledge allows for extending the method and the correctness proof also to programs with stratified negation in a natural way. The proposed method has been implemented in the DLV system and various experiments on synthetic as well as on real-world data have been conducted. The experimental results on synthetic data confirm the utility of Magic Sets for disjunctive Datalog, and they highlight the computational gain that may be obtained by the new method with respect to the previously proposed Magic Set method for disjunctive Datalog programs. Further experiments on data taken from a real-life application show the benefits of the Magic Set method within an application scenario that has received considerable attention in recent years, the problem of answering user queries over possibly inconsistent databases originating from integration of autonomous sources of information." @default.
• W2034521022 created "2016-06-24" @default.
• W2034521022 creator A5002604860 @default.
• W2034521022 creator A5017101409 @default.
• W2034521022 creator A5039882261 @default.
• W2034521022 creator A5087340443 @default.
• W2034521022 date "2012-08-01" @default.
• W2034521022 modified "2023-10-18" @default.
• W2034521022 title "Magic Sets for disjunctive Datalog programs" @default.
• W2034521022 cites W1491267207 @default.
• W2034521022 cites W1507780818 @default.
• W2034521022 cites W1542698108 @default.
• W2034521022 cites W1976055110 @default.
• W2034521022 cites W1978108034 @default.
• W2034521022 cites W1992673035 @default.
• W2034521022 cites W2011124182 @default.
• W2034521022 cites W2019597813 @default.
• W2034521022 cites W2021790877 @default.
• W2034521022 cites W2034019663 @default.
• W2034521022 cites W2036241121 @default.
• W2034521022 cites W2037019297 @default.
• W2034521022 cites W2056850725 @default.
• W2034521022 cites W2061565124 @default.
• W2034521022 cites W2066334374 @default.
• W2034521022 cites W2077518845 @default.
• W2034521022 cites W2101666345 @default.
• W2034521022 cites W2107910552 @default.
• W2034521022 cites W2110993096 @default.
• W2034521022 cites W2111353076 @default.
• W2034521022 cites W2115282751 @default.
• W2034521022 cites W2135621391 @default.
• W2034521022 cites W2139875914 @default.
• W2034521022 cites W2144829796 @default.
• W2034521022 cites W2156347478 @default.
• W2034521022 cites W2163600218 @default.
• W2034521022 cites W2295882966 @default.
• W2034521022 cites W3021487187 @default.
• W2034521022 doi "https://doi.org/10.1016/j.artint.2012.04.008" @default.
• W2034521022 hasPublicationYear "2012" @default.
• W2034521022 type Work @default.
• W2034521022 sameAs 2034521022 @default.
• W2034521022 citedByCount "34" @default.
• W2034521022 countsByYear W20345210222012 @default.
• W2034521022 countsByYear W20345210222013 @default.
• W2034521022 countsByYear W20345210222014 @default.
• W2034521022 countsByYear W20345210222015 @default.
• W2034521022 countsByYear W20345210222016 @default.
• W2034521022 countsByYear W20345210222017 @default.
• W2034521022 countsByYear W20345210222018 @default.
• W2034521022 countsByYear W20345210222019 @default.
• W2034521022 countsByYear W20345210222020 @default.
• W2034521022 countsByYear W20345210222022 @default.
• W2034521022 crossrefType "journal-article" @default.
• W2034521022 hasAuthorship W2034521022A5002604860 @default.
• W2034521022 hasAuthorship W2034521022A5017101409 @default.
• W2034521022 hasAuthorship W2034521022A5039882261 @default.
• W2034521022 hasAuthorship W2034521022A5087340443 @default.
• W2034521022 hasBestOaLocation W20345210221 @default.
• W2034521022 hasConcept C11413529 @default.
• W2034521022 hasConcept C118615104 @default.
• W2034521022 hasConcept C118930307 @default.
• W2034521022 hasConcept C121332964 @default.
• W2034521022 hasConcept C148230440 @default.
• W2034521022 hasConcept C177264268 @default.
• W2034521022 hasConcept C199360897 @default.
• W2034521022 hasConcept C2185349 @default.
• W2034521022 hasConcept C2777704519 @default.
• W2034521022 hasConcept C33923547 @default.
• W2034521022 hasConcept C41008148 @default.
• W2034521022 hasConcept C55439883 @default.
• W2034521022 hasConcept C62520636 @default.
• W2034521022 hasConcept C80444323 @default.
• W2034521022 hasConceptScore W2034521022C11413529 @default.
• W2034521022 hasConceptScore W2034521022C118615104 @default.
• W2034521022 hasConceptScore W2034521022C118930307 @default.
• W2034521022 hasConceptScore W2034521022C121332964 @default.
• W2034521022 hasConceptScore W2034521022C148230440 @default.
• W2034521022 hasConceptScore W2034521022C177264268 @default.
• W2034521022 hasConceptScore W2034521022C199360897 @default.
• W2034521022 hasConceptScore W2034521022C2185349 @default.
• W2034521022 hasConceptScore W2034521022C2777704519 @default.
• W2034521022 hasConceptScore W2034521022C33923547 @default.
• W2034521022 hasConceptScore W2034521022C41008148 @default.
• W2034521022 hasConceptScore W2034521022C55439883 @default.
• W2034521022 hasConceptScore W2034521022C62520636 @default.
• W2034521022 hasConceptScore W2034521022C80444323 @default.
• W2034521022 hasLocation W20345210221 @default.
• W2034521022 hasLocation W20345210222 @default.
• W2034521022 hasLocation W20345210223 @default.
• W2034521022 hasOpenAccess W2034521022 @default.
• W2034521022 hasPrimaryLocation W20345210221 @default.
• W2034521022 hasRelatedWork W1517300050 @default.
• W2034521022 hasRelatedWork W1589124319 @default.
• W2034521022 hasRelatedWork W1973135411 @default.
• W2034521022 hasRelatedWork W2006132255 @default.
• W2034521022 hasRelatedWork W2012670464 @default.
• W2034521022 hasRelatedWork W2083689031 @default.
• W2034521022 hasRelatedWork W2381846203 @default.

• next