FRINK Linked Data Fragments server

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

• W2107489588 endingPage "38" @default.
• W2107489588 startingPage "1" @default.
• W2107489588 abstract "This article describes a method for transforming any given set of Datalog rules into an efficient specialized implementation with guaranteed worst-case time and space complexities, and for computing the complexities from the rules. The running time is optimal in the sense that only useful combinations of facts that lead to all hypotheses of a rule being simultaneously true are considered, and each such combination is considered exactly once in constant time. The associated space usage may sometimes be reduced using scheduling optimizations to eliminate some summands in the space usage formula. The transformation is based on a general method for algorithm design that exploits fixed-point computation, incremental maintenance of invariants, and combinations of indexed and linked data structures. We apply the method to a number of analysis problems, some with improved algorithm complexities and all with greatly improved algorithm understanding and greatly simplified complexity analysis." @default.
• W2107489588 created "2016-06-24" @default.
• W2107489588 creator A5021474885 @default.
• W2107489588 creator A5068274526 @default.
• W2107489588 date "2009-08-01" @default.
• W2107489588 modified "2023-10-02" @default.
• W2107489588 title "From datalog rules to efficient programs with time and space guarantees" @default.
• W2107489588 cites W1509428113 @default.
• W2107489588 cites W1518141528 @default.
• W2107489588 cites W1533832653 @default.
• W2107489588 cites W1545676661 @default.
• W2107489588 cites W1595129576 @default.
• W2107489588 cites W1967890297 @default.
• W2107489588 cites W1969965298 @default.
• W2107489588 cites W1989783863 @default.
• W2107489588 cites W1992808564 @default.
• W2107489588 cites W1994511561 @default.
• W2107489588 cites W2011170798 @default.
• W2107489588 cites W2023048022 @default.
• W2107489588 cites W2037035101 @default.
• W2107489588 cites W2040152339 @default.
• W2107489588 cites W2043100293 @default.
• W2107489588 cites W2063039776 @default.
• W2107489588 cites W2063727779 @default.
• W2107489588 cites W2069476565 @default.
• W2107489588 cites W2070598037 @default.
• W2107489588 cites W2073845305 @default.
• W2107489588 cites W2092260504 @default.
• W2107489588 cites W2092397450 @default.
• W2107489588 cites W2093080079 @default.
• W2107489588 cites W2105470748 @default.
• W2107489588 cites W2109317282 @default.
• W2107489588 cites W2126871242 @default.
• W2107489588 cites W2130958154 @default.
• W2107489588 cites W2135105491 @default.
• W2107489588 cites W2139298964 @default.
• W2107489588 cites W2139875914 @default.
• W2107489588 cites W2158047578 @default.
• W2107489588 cites W2158600037 @default.
• W2107489588 cites W2167968482 @default.
• W2107489588 cites W2170803956 @default.
• W2107489588 cites W219888783 @default.
• W2107489588 cites W4212857488 @default.
• W2107489588 cites W4254112940 @default.
• W2107489588 doi "https://doi.org/10.1145/1552309.1552311" @default.
• W2107489588 hasPublicationYear "2009" @default.
• W2107489588 type Work @default.
• W2107489588 sameAs 2107489588 @default.
• W2107489588 citedByCount "40" @default.
• W2107489588 countsByYear W21074895882012 @default.
• W2107489588 countsByYear W21074895882013 @default.
• W2107489588 countsByYear W21074895882014 @default.
• W2107489588 countsByYear W21074895882015 @default.
• W2107489588 countsByYear W21074895882016 @default.
• W2107489588 countsByYear W21074895882017 @default.
• W2107489588 countsByYear W21074895882018 @default.
• W2107489588 countsByYear W21074895882019 @default.
• W2107489588 countsByYear W21074895882020 @default.
• W2107489588 countsByYear W21074895882021 @default.
• W2107489588 countsByYear W21074895882022 @default.
• W2107489588 countsByYear W21074895882023 @default.
• W2107489588 crossrefType "journal-article" @default.
• W2107489588 hasAuthorship W2107489588A5021474885 @default.
• W2107489588 hasAuthorship W2107489588A5068274526 @default.
• W2107489588 hasBestOaLocation W21074895881 @default.
• W2107489588 hasConcept C104317684 @default.
• W2107489588 hasConcept C11413529 @default.
• W2107489588 hasConcept C126255220 @default.
• W2107489588 hasConcept C148230440 @default.
• W2107489588 hasConcept C165696696 @default.
• W2107489588 hasConcept C177264268 @default.
• W2107489588 hasConcept C185592680 @default.
• W2107489588 hasConcept C199360897 @default.
• W2107489588 hasConcept C204241405 @default.
• W2107489588 hasConcept C206729178 @default.
• W2107489588 hasConcept C2777027219 @default.
• W2107489588 hasConcept C2778361913 @default.
• W2107489588 hasConcept C311688 @default.
• W2107489588 hasConcept C33923547 @default.
• W2107489588 hasConcept C38652104 @default.
• W2107489588 hasConcept C41008148 @default.
• W2107489588 hasConcept C45374587 @default.
• W2107489588 hasConcept C55493867 @default.
• W2107489588 hasConcept C80444323 @default.
• W2107489588 hasConceptScore W2107489588C104317684 @default.
• W2107489588 hasConceptScore W2107489588C11413529 @default.
• W2107489588 hasConceptScore W2107489588C126255220 @default.
• W2107489588 hasConceptScore W2107489588C148230440 @default.
• W2107489588 hasConceptScore W2107489588C165696696 @default.
• W2107489588 hasConceptScore W2107489588C177264268 @default.
• W2107489588 hasConceptScore W2107489588C185592680 @default.
• W2107489588 hasConceptScore W2107489588C199360897 @default.
• W2107489588 hasConceptScore W2107489588C204241405 @default.
• W2107489588 hasConceptScore W2107489588C206729178 @default.
• W2107489588 hasConceptScore W2107489588C2777027219 @default.
• W2107489588 hasConceptScore W2107489588C2778361913 @default.
• W2107489588 hasConceptScore W2107489588C311688 @default.
• W2107489588 hasConceptScore W2107489588C33923547 @default.

• next