Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571490841> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1571490841 abstract "Disjunctive Logic Programming (DLP) is an extension of Datalog that allows for disjunction in rule head and nonmonotonic negation in bodies. All of the queries in the second level of the polynomial hierarchy can be expressed in this language. However, DLP does not allow for representing properties which involve sets of data in a natural way. Extending the language by introducing aggregate functions has been proposed in the literature to overcome this lack, then leading to the language DLPA,¬. In particular, DLPA,¬ allows for using recursive aggregates, which naturally arise in many practical application scenarios. An aggregate is recursive if its aggregate set depends on the evaluation of the aggregate itself. The evaluation of programs with aggregates is hard, especially when aggregates are recursive, optimization techniques are highly needed to make these programs usable in real-world applications.In this paper, we focus on the optimization of queries over programs with recursive aggregates. In particular, we design an extension of the Dynamic Magic Set (DMS) technique to programs with stratified negation and monotone recursive aggregates, and we demonstrate the correctness of the proposed technique. For assessing the effectiveness of the new technique, we consider a standard benchmark for recursive aggregates, referred to as Company Controls, along with a couple of benchmarks involving aggregates over the WordNet database. Experimental results confirm the effectiveness of our technique." @default.
- W1571490841 created "2016-06-24" @default.
- W1571490841 creator A5002604860 @default.
- W1571490841 creator A5039882261 @default.
- W1571490841 creator A5087340443 @default.
- W1571490841 date "2011-01-01" @default.
- W1571490841 modified "2023-09-24" @default.
- W1571490841 title "Dynamic Magic Sets for Programs with Monotone Recursive Aggregates" @default.
- W1571490841 cites W1491267207 @default.
- W1571490841 cites W1587265115 @default.
- W1571490841 cites W1598820892 @default.
- W1571490841 cites W1976055110 @default.
- W1571490841 cites W1978108034 @default.
- W1571490841 cites W1993398079 @default.
- W1571490841 cites W2076698873 @default.
- W1571490841 cites W2101666345 @default.
- W1571490841 cites W2105869173 @default.
- W1571490841 cites W2139875914 @default.
- W1571490841 cites W2295882966 @default.
- W1571490841 cites W3101144034 @default.
- W1571490841 doi "https://doi.org/10.1007/978-3-642-20895-9_14" @default.
- W1571490841 hasPublicationYear "2011" @default.
- W1571490841 type Work @default.
- W1571490841 sameAs 1571490841 @default.
- W1571490841 citedByCount "6" @default.
- W1571490841 countsByYear W15714908412014 @default.
- W1571490841 countsByYear W15714908412016 @default.
- W1571490841 countsByYear W15714908412018 @default.
- W1571490841 countsByYear W15714908412019 @default.
- W1571490841 countsByYear W15714908412020 @default.
- W1571490841 crossrefType "book-chapter" @default.
- W1571490841 hasAuthorship W1571490841A5002604860 @default.
- W1571490841 hasAuthorship W1571490841A5039882261 @default.
- W1571490841 hasAuthorship W1571490841A5087340443 @default.
- W1571490841 hasConcept C11413529 @default.
- W1571490841 hasConcept C121332964 @default.
- W1571490841 hasConcept C128838566 @default.
- W1571490841 hasConcept C148230440 @default.
- W1571490841 hasConcept C159985019 @default.
- W1571490841 hasConcept C177264268 @default.
- W1571490841 hasConcept C192562407 @default.
- W1571490841 hasConcept C199360897 @default.
- W1571490841 hasConcept C2185349 @default.
- W1571490841 hasConcept C2524010 @default.
- W1571490841 hasConcept C2777502361 @default.
- W1571490841 hasConcept C2777704519 @default.
- W1571490841 hasConcept C2834757 @default.
- W1571490841 hasConcept C33923547 @default.
- W1571490841 hasConcept C41008148 @default.
- W1571490841 hasConcept C4679612 @default.
- W1571490841 hasConcept C55439883 @default.
- W1571490841 hasConcept C62520636 @default.
- W1571490841 hasConcept C80444323 @default.
- W1571490841 hasConceptScore W1571490841C11413529 @default.
- W1571490841 hasConceptScore W1571490841C121332964 @default.
- W1571490841 hasConceptScore W1571490841C128838566 @default.
- W1571490841 hasConceptScore W1571490841C148230440 @default.
- W1571490841 hasConceptScore W1571490841C159985019 @default.
- W1571490841 hasConceptScore W1571490841C177264268 @default.
- W1571490841 hasConceptScore W1571490841C192562407 @default.
- W1571490841 hasConceptScore W1571490841C199360897 @default.
- W1571490841 hasConceptScore W1571490841C2185349 @default.
- W1571490841 hasConceptScore W1571490841C2524010 @default.
- W1571490841 hasConceptScore W1571490841C2777502361 @default.
- W1571490841 hasConceptScore W1571490841C2777704519 @default.
- W1571490841 hasConceptScore W1571490841C2834757 @default.
- W1571490841 hasConceptScore W1571490841C33923547 @default.
- W1571490841 hasConceptScore W1571490841C41008148 @default.
- W1571490841 hasConceptScore W1571490841C4679612 @default.
- W1571490841 hasConceptScore W1571490841C55439883 @default.
- W1571490841 hasConceptScore W1571490841C62520636 @default.
- W1571490841 hasConceptScore W1571490841C80444323 @default.
- W1571490841 hasLocation W15714908411 @default.
- W1571490841 hasOpenAccess W1571490841 @default.
- W1571490841 hasPrimaryLocation W15714908411 @default.
- W1571490841 hasRelatedWork W1479960293 @default.
- W1571490841 hasRelatedWork W1508718221 @default.
- W1571490841 hasRelatedWork W1975880448 @default.
- W1571490841 hasRelatedWork W2011124182 @default.
- W1571490841 hasRelatedWork W2034521022 @default.
- W1571490841 hasRelatedWork W2037201895 @default.
- W1571490841 hasRelatedWork W2044922487 @default.
- W1571490841 hasRelatedWork W2054769644 @default.
- W1571490841 hasRelatedWork W2064864283 @default.
- W1571490841 hasRelatedWork W2069156007 @default.
- W1571490841 hasRelatedWork W2080339008 @default.
- W1571490841 hasRelatedWork W2096650850 @default.
- W1571490841 hasRelatedWork W2124864854 @default.
- W1571490841 hasRelatedWork W2159796089 @default.
- W1571490841 hasRelatedWork W2186849240 @default.
- W1571490841 hasRelatedWork W2905530691 @default.
- W1571490841 hasRelatedWork W2964029271 @default.
- W1571490841 hasRelatedWork W2965522163 @default.
- W1571490841 hasRelatedWork W2980569716 @default.
- W1571490841 hasRelatedWork W3021965629 @default.
- W1571490841 isParatext "false" @default.
- W1571490841 isRetracted "false" @default.
- W1571490841 magId "1571490841" @default.
- W1571490841 workType "book-chapter" @default.