FRINK Linked Data Fragments server

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

• W2113644983 abstract "Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. The dominant strategies to improve the performance of answering queries are reusing answers to subqueries for top-down methods, and transforming rules based on demand from the query, such as the well-known magic sets transformation, for bottom-up methods. However, the performance of these strategies vary drastically, and the most effective method has remained unknown.This paper describes precise time and space complexity analysis for efficient implementation of Datalog queries using subsumptive tabling, a top-down evaluation method with more reuse of answers than the dominant tabling strategy, and shows that subsumptive tabling beats bottom-up evaluation of rules after magic sets transformation in both time and space complexities. It also describes subsumptive demand transformation, a novel method for transforming the rules so that bottom-up evaluation of the transformed rules mimics subsumptive tabling; we show that the time complexity of bottom-up evaluation after this transformation is equal to the the time complexity of top-down evaluation with subsumptive tabling. The paper further describes subsumption optimization, an optimization to increase the use of subsumption in subsumptive methods, and shows its application in the derivation of a well-known demand-driven pointer analysis algorithm. We support our analyses and comparisons through experiments with applications in ontology queries and program analysis." @default.
• W2113644983 created "2016-06-24" @default.
• W2113644983 creator A5026724371 @default.
• W2113644983 creator A5068274526 @default.
• W2113644983 date "2011-01-01" @default.
• W2113644983 modified "2023-10-02" @default.
• W2113644983 title "More efficient datalog queries" @default.
• W2113644983 cites W1284694 @default.
• W2113644983 cites W146462443 @default.
• W2113644983 cites W1509428113 @default.
• W2113644983 cites W150943429 @default.
• W2113644983 cites W1522225310 @default.
• W2113644983 cites W1558832481 @default.
• W2113644983 cites W1602828133 @default.
• W2113644983 cites W1660714679 @default.
• W2113644983 cites W1671718115 @default.
• W2113644983 cites W1856491113 @default.
• W2113644983 cites W1976924726 @default.
• W2113644983 cites W1978108034 @default.
• W2113644983 cites W1992681763 @default.
• W2113644983 cites W1995214664 @default.
• W2113644983 cites W2017469907 @default.
• W2113644983 cites W2017842497 @default.
• W2113644983 cites W2022938902 @default.
• W2113644983 cites W2040019628 @default.
• W2113644983 cites W2044701300 @default.
• W2113644983 cites W2057396314 @default.
• W2113644983 cites W2070598037 @default.
• W2113644983 cites W2107489588 @default.
• W2113644983 cites W2118210775 @default.
• W2113644983 cites W2124342795 @default.
• W2113644983 cites W2144416276 @default.
• W2113644983 cites W2149237601 @default.
• W2113644983 cites W2174018523 @default.
• W2113644983 cites W2339351027 @default.
• W2113644983 cites W266212533 @default.
• W2113644983 cites W37344797 @default.
• W2113644983 cites W70417731 @default.
• W2113644983 doi "https://doi.org/10.1145/1989323.1989393" @default.
• W2113644983 hasPublicationYear "2011" @default.
• W2113644983 type Work @default.
• W2113644983 sameAs 2113644983 @default.
• W2113644983 citedByCount "20" @default.
• W2113644983 countsByYear W21136449832012 @default.
• W2113644983 countsByYear W21136449832013 @default.
• W2113644983 countsByYear W21136449832014 @default.
• W2113644983 countsByYear W21136449832015 @default.
• W2113644983 countsByYear W21136449832016 @default.
• W2113644983 countsByYear W21136449832017 @default.
• W2113644983 countsByYear W21136449832018 @default.
• W2113644983 countsByYear W21136449832019 @default.
• W2113644983 countsByYear W21136449832020 @default.
• W2113644983 countsByYear W21136449832021 @default.
• W2113644983 countsByYear W21136449832022 @default.
• W2113644983 countsByYear W21136449832023 @default.
• W2113644983 crossrefType "proceedings-article" @default.
• W2113644983 hasAuthorship W2113644983A5026724371 @default.
• W2113644983 hasAuthorship W2113644983A5068274526 @default.
• W2113644983 hasConcept C104317684 @default.
• W2113644983 hasConcept C121332964 @default.
• W2113644983 hasConcept C135798126 @default.
• W2113644983 hasConcept C148230440 @default.
• W2113644983 hasConcept C177264268 @default.
• W2113644983 hasConcept C185592680 @default.
• W2113644983 hasConcept C18903297 @default.
• W2113644983 hasConcept C199360897 @default.
• W2113644983 hasConcept C204241405 @default.
• W2113644983 hasConcept C206588197 @default.
• W2113644983 hasConcept C2777502361 @default.
• W2113644983 hasConcept C2777704519 @default.
• W2113644983 hasConcept C41008148 @default.
• W2113644983 hasConcept C55493867 @default.
• W2113644983 hasConcept C62520636 @default.
• W2113644983 hasConcept C80444323 @default.
• W2113644983 hasConcept C86803240 @default.
• W2113644983 hasConcept C98183937 @default.
• W2113644983 hasConceptScore W2113644983C104317684 @default.
• W2113644983 hasConceptScore W2113644983C121332964 @default.
• W2113644983 hasConceptScore W2113644983C135798126 @default.
• W2113644983 hasConceptScore W2113644983C148230440 @default.
• W2113644983 hasConceptScore W2113644983C177264268 @default.
• W2113644983 hasConceptScore W2113644983C185592680 @default.
• W2113644983 hasConceptScore W2113644983C18903297 @default.
• W2113644983 hasConceptScore W2113644983C199360897 @default.
• W2113644983 hasConceptScore W2113644983C204241405 @default.
• W2113644983 hasConceptScore W2113644983C206588197 @default.
• W2113644983 hasConceptScore W2113644983C2777502361 @default.
• W2113644983 hasConceptScore W2113644983C2777704519 @default.
• W2113644983 hasConceptScore W2113644983C41008148 @default.
• W2113644983 hasConceptScore W2113644983C55493867 @default.
• W2113644983 hasConceptScore W2113644983C62520636 @default.
• W2113644983 hasConceptScore W2113644983C80444323 @default.
• W2113644983 hasConceptScore W2113644983C86803240 @default.
• W2113644983 hasConceptScore W2113644983C98183937 @default.
• W2113644983 hasLocation W21136449831 @default.
• W2113644983 hasOpenAccess W2113644983 @default.
• W2113644983 hasPrimaryLocation W21136449831 @default.
• W2113644983 hasRelatedWork W1512706510 @default.
• W2113644983 hasRelatedWork W1570025952 @default.
• W2113644983 hasRelatedWork W1746884077 @default.

• next