Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994301353> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1994301353 abstract "Detecting bounded recursions is a powerful optimization technique for recursions database query languages as bounded recursions can be replaced by equivalent nonrecursive definitions. The problem is of theoretical interest because by varying the class of recursions considered one can generate instances that vary from linearly decidable to NP-hard to undecidable. In this paper we review and clarify the existing definitions of boundedness. We then specify a sample criterion that guarantees that the condition in Vaughton [7] is necessary and sufficient for boundedness. The programs satisfying this criterion subsume and extend previously known decidable classes of bounded linear recursions." @default.
- W1994301353 created "2016-06-24" @default.
- W1994301353 creator A5014143171 @default.
- W1994301353 creator A5074213929 @default.
- W1994301353 date "1987-01-01" @default.
- W1994301353 modified "2023-10-18" @default.
- W1994301353 title "A decidable class of bounded recursions" @default.
- W1994301353 cites W1533846661 @default.
- W1994301353 cites W1585796231 @default.
- W1994301353 cites W1975714036 @default.
- W1994301353 cites W1988600452 @default.
- W1994301353 cites W2058952316 @default.
- W1994301353 cites W2108911687 @default.
- W1994301353 cites W2161525442 @default.
- W1994301353 cites W245469613 @default.
- W1994301353 doi "https://doi.org/10.1145/28659.28684" @default.
- W1994301353 hasPublicationYear "1987" @default.
- W1994301353 type Work @default.
- W1994301353 sameAs 1994301353 @default.
- W1994301353 citedByCount "56" @default.
- W1994301353 countsByYear W19943013532016 @default.
- W1994301353 countsByYear W19943013532019 @default.
- W1994301353 crossrefType "proceedings-article" @default.
- W1994301353 hasAuthorship W1994301353A5014143171 @default.
- W1994301353 hasAuthorship W1994301353A5074213929 @default.
- W1994301353 hasConcept C118615104 @default.
- W1994301353 hasConcept C134306372 @default.
- W1994301353 hasConcept C153269930 @default.
- W1994301353 hasConcept C154945302 @default.
- W1994301353 hasConcept C192034797 @default.
- W1994301353 hasConcept C2777212361 @default.
- W1994301353 hasConcept C33923547 @default.
- W1994301353 hasConcept C34388435 @default.
- W1994301353 hasConcept C41008148 @default.
- W1994301353 hasConcept C80444323 @default.
- W1994301353 hasConceptScore W1994301353C118615104 @default.
- W1994301353 hasConceptScore W1994301353C134306372 @default.
- W1994301353 hasConceptScore W1994301353C153269930 @default.
- W1994301353 hasConceptScore W1994301353C154945302 @default.
- W1994301353 hasConceptScore W1994301353C192034797 @default.
- W1994301353 hasConceptScore W1994301353C2777212361 @default.
- W1994301353 hasConceptScore W1994301353C33923547 @default.
- W1994301353 hasConceptScore W1994301353C34388435 @default.
- W1994301353 hasConceptScore W1994301353C41008148 @default.
- W1994301353 hasConceptScore W1994301353C80444323 @default.
- W1994301353 hasLocation W19943013531 @default.
- W1994301353 hasOpenAccess W1994301353 @default.
- W1994301353 hasPrimaryLocation W19943013531 @default.
- W1994301353 hasRelatedWork W1561522752 @default.
- W1994301353 hasRelatedWork W1584462731 @default.
- W1994301353 hasRelatedWork W1618267488 @default.
- W1994301353 hasRelatedWork W1835325438 @default.
- W1994301353 hasRelatedWork W2037204124 @default.
- W1994301353 hasRelatedWork W2073769643 @default.
- W1994301353 hasRelatedWork W2529633050 @default.
- W1994301353 hasRelatedWork W2751448516 @default.
- W1994301353 hasRelatedWork W3159455060 @default.
- W1994301353 hasRelatedWork W4297670065 @default.
- W1994301353 isParatext "false" @default.
- W1994301353 isRetracted "false" @default.
- W1994301353 magId "1994301353" @default.
- W1994301353 workType "article" @default.