Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113809903> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2113809903 endingPage "517" @default.
- W2113809903 startingPage "501" @default.
- W2113809903 abstract "Logic programs can be evaluated bottom-up by repeatedly applying all rules, in iterations, until the fixpoint is reached. However, it is often desirable-and, in some cases, e.g. programs with stratified negation, it is even necessary to guarantee the semantics-to apply the rules in some order. We present two algorithms that apply rules in a specified order without repeating inferences. One of them (GSN) is capable of dealing with a wide range of rule orderings, but with a little more overhead than the well-known seminaive algorithm (which we call BSN). The other (PSN) handles a smaller class of rule orderings, but with no overheads beyond those in BSN. We also demonstrate that by choosing a good ordering, we can reduce the number of rule applications (and thus the number of joins). We present a theoretical analysis of rule orderings and identify orderings that minimize the number of rule applications (for all possible instances of the base relations) with respect to a class of orderings called fair orderings. We also show that though nonfair orderings may do a little better on some data sets, they can do much worse on others. The analysis is supplemented by performance results.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2113809903 created "2016-06-24" @default.
- W2113809903 creator A5051301731 @default.
- W2113809903 creator A5081847962 @default.
- W2113809903 creator A5088315797 @default.
- W2113809903 date "1994-01-01" @default.
- W2113809903 modified "2023-10-18" @default.
- W2113809903 title "Rule ordering in bottom-up fixpoint evaluation of logic programs" @default.
- W2113809903 cites W1519674225 @default.
- W2113809903 cites W1595667954 @default.
- W2113809903 cites W2032504915 @default.
- W2113809903 cites W2036240164 @default.
- W2113809903 cites W2070553391 @default.
- W2113809903 cites W2075610180 @default.
- W2113809903 cites W2078783169 @default.
- W2113809903 cites W2091631741 @default.
- W2113809903 cites W2102126498 @default.
- W2113809903 cites W2108911687 @default.
- W2113809903 cites W4255993952 @default.
- W2113809903 doi "https://doi.org/10.1109/69.298169" @default.
- W2113809903 hasPublicationYear "1994" @default.
- W2113809903 type Work @default.
- W2113809903 sameAs 2113809903 @default.
- W2113809903 citedByCount "25" @default.
- W2113809903 countsByYear W21138099032012 @default.
- W2113809903 countsByYear W21138099032017 @default.
- W2113809903 countsByYear W21138099032022 @default.
- W2113809903 crossrefType "journal-article" @default.
- W2113809903 hasAuthorship W2113809903A5051301731 @default.
- W2113809903 hasAuthorship W2113809903A5081847962 @default.
- W2113809903 hasAuthorship W2113809903A5088315797 @default.
- W2113809903 hasBestOaLocation W21138099032 @default.
- W2113809903 hasConcept C110546421 @default.
- W2113809903 hasConcept C11413529 @default.
- W2113809903 hasConcept C118615104 @default.
- W2113809903 hasConcept C134306372 @default.
- W2113809903 hasConcept C154945302 @default.
- W2113809903 hasConcept C199360897 @default.
- W2113809903 hasConcept C2185349 @default.
- W2113809903 hasConcept C2777212361 @default.
- W2113809903 hasConcept C2778692605 @default.
- W2113809903 hasConcept C2779960059 @default.
- W2113809903 hasConcept C33923547 @default.
- W2113809903 hasConcept C41008148 @default.
- W2113809903 hasConcept C61445026 @default.
- W2113809903 hasConcept C80444323 @default.
- W2113809903 hasConceptScore W2113809903C110546421 @default.
- W2113809903 hasConceptScore W2113809903C11413529 @default.
- W2113809903 hasConceptScore W2113809903C118615104 @default.
- W2113809903 hasConceptScore W2113809903C134306372 @default.
- W2113809903 hasConceptScore W2113809903C154945302 @default.
- W2113809903 hasConceptScore W2113809903C199360897 @default.
- W2113809903 hasConceptScore W2113809903C2185349 @default.
- W2113809903 hasConceptScore W2113809903C2777212361 @default.
- W2113809903 hasConceptScore W2113809903C2778692605 @default.
- W2113809903 hasConceptScore W2113809903C2779960059 @default.
- W2113809903 hasConceptScore W2113809903C33923547 @default.
- W2113809903 hasConceptScore W2113809903C41008148 @default.
- W2113809903 hasConceptScore W2113809903C61445026 @default.
- W2113809903 hasConceptScore W2113809903C80444323 @default.
- W2113809903 hasIssue "4" @default.
- W2113809903 hasLocation W21138099031 @default.
- W2113809903 hasLocation W21138099032 @default.
- W2113809903 hasOpenAccess W2113809903 @default.
- W2113809903 hasPrimaryLocation W21138099031 @default.
- W2113809903 hasRelatedWork W1482507836 @default.
- W2113809903 hasRelatedWork W2056906662 @default.
- W2113809903 hasRelatedWork W2073547112 @default.
- W2113809903 hasRelatedWork W2158013543 @default.
- W2113809903 hasRelatedWork W2363930051 @default.
- W2113809903 hasRelatedWork W2462670247 @default.
- W2113809903 hasRelatedWork W2952075544 @default.
- W2113809903 hasRelatedWork W4230850137 @default.
- W2113809903 hasRelatedWork W4301642742 @default.
- W2113809903 hasRelatedWork W575918167 @default.
- W2113809903 hasVolume "6" @default.
- W2113809903 isParatext "false" @default.
- W2113809903 isRetracted "false" @default.
- W2113809903 magId "2113809903" @default.
- W2113809903 workType "article" @default.