Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080751405> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2080751405 endingPage "163" @default.
- W2080751405 startingPage "154" @default.
- W2080751405 abstract "This paper presents a methodology for testing a general logic program containing function symbols and built-in predicates for safety and effective computability . Safety is the property that the set of answers for a given query is finite. A related issues is whether the evaluation strategy can effectively compute all answers and terminate. We consider these problems under the assumption that queries are evaluated using a bottom-up fixpoint computation. We also approximate the use of function symbols by considering Datalog programs with infinite base relations over which finiteness constraints and monotonicity constraints are considered. One of the main results of this paper is a recursive algorithm, check_clique , to test the safety and effective computability of predicates in arbitrarily complex cliques. This algorithm takes certain procedures as parameters, and its applicability can be strengthened by making these procedures more sophisticated. We specify the properties required of these procedures precisely, and present a formal proof of correctness for algorithm check_clique . This work provides a framework for testing safety and effective computability of recursive programs, and is based on a clique by clique analysis. The results reported here form the basis of the safety testing for the LDL language, being implemented at MCC." @default.
- W2080751405 created "2016-06-24" @default.
- W2080751405 creator A5047193562 @default.
- W2080751405 creator A5051301731 @default.
- W2080751405 creator A5052452463 @default.
- W2080751405 date "1988-06-01" @default.
- W2080751405 modified "2023-10-16" @default.
- W2080751405 title "A framework for testing safety and effective computability of extended datalog" @default.
- W2080751405 cites W2027276583 @default.
- W2080751405 cites W2027639996 @default.
- W2080751405 cites W2036335723 @default.
- W2080751405 cites W2049863790 @default.
- W2080751405 cites W2070553391 @default.
- W2080751405 cites W2110463644 @default.
- W2080751405 cites W2134439098 @default.
- W2080751405 cites W2139875914 @default.
- W2080751405 cites W4255993952 @default.
- W2080751405 doi "https://doi.org/10.1145/971701.50219" @default.
- W2080751405 hasPublicationYear "1988" @default.
- W2080751405 type Work @default.
- W2080751405 sameAs 2080751405 @default.
- W2080751405 citedByCount "33" @default.
- W2080751405 countsByYear W20807514052012 @default.
- W2080751405 countsByYear W20807514052015 @default.
- W2080751405 countsByYear W20807514052016 @default.
- W2080751405 crossrefType "journal-article" @default.
- W2080751405 hasAuthorship W2080751405A5047193562 @default.
- W2080751405 hasAuthorship W2080751405A5051301731 @default.
- W2080751405 hasAuthorship W2080751405A5052452463 @default.
- W2080751405 hasBestOaLocation W20807514051 @default.
- W2080751405 hasConcept C11413529 @default.
- W2080751405 hasConcept C114614502 @default.
- W2080751405 hasConcept C134306372 @default.
- W2080751405 hasConcept C14036430 @default.
- W2080751405 hasConcept C148230440 @default.
- W2080751405 hasConcept C152062344 @default.
- W2080751405 hasConcept C177264268 @default.
- W2080751405 hasConcept C199360897 @default.
- W2080751405 hasConcept C2777035058 @default.
- W2080751405 hasConcept C33923547 @default.
- W2080751405 hasConcept C41008148 @default.
- W2080751405 hasConcept C42058472 @default.
- W2080751405 hasConcept C55439883 @default.
- W2080751405 hasConcept C78458016 @default.
- W2080751405 hasConcept C80444323 @default.
- W2080751405 hasConcept C86803240 @default.
- W2080751405 hasConceptScore W2080751405C11413529 @default.
- W2080751405 hasConceptScore W2080751405C114614502 @default.
- W2080751405 hasConceptScore W2080751405C134306372 @default.
- W2080751405 hasConceptScore W2080751405C14036430 @default.
- W2080751405 hasConceptScore W2080751405C148230440 @default.
- W2080751405 hasConceptScore W2080751405C152062344 @default.
- W2080751405 hasConceptScore W2080751405C177264268 @default.
- W2080751405 hasConceptScore W2080751405C199360897 @default.
- W2080751405 hasConceptScore W2080751405C2777035058 @default.
- W2080751405 hasConceptScore W2080751405C33923547 @default.
- W2080751405 hasConceptScore W2080751405C41008148 @default.
- W2080751405 hasConceptScore W2080751405C42058472 @default.
- W2080751405 hasConceptScore W2080751405C55439883 @default.
- W2080751405 hasConceptScore W2080751405C78458016 @default.
- W2080751405 hasConceptScore W2080751405C80444323 @default.
- W2080751405 hasConceptScore W2080751405C86803240 @default.
- W2080751405 hasIssue "3" @default.
- W2080751405 hasLocation W20807514051 @default.
- W2080751405 hasLocation W20807514052 @default.
- W2080751405 hasOpenAccess W2080751405 @default.
- W2080751405 hasPrimaryLocation W20807514051 @default.
- W2080751405 hasRelatedWork W1586535663 @default.
- W2080751405 hasRelatedWork W1589124319 @default.
- W2080751405 hasRelatedWork W1762910438 @default.
- W2080751405 hasRelatedWork W1967832907 @default.
- W2080751405 hasRelatedWork W2080751405 @default.
- W2080751405 hasRelatedWork W2171153670 @default.
- W2080751405 hasRelatedWork W2570392075 @default.
- W2080751405 hasRelatedWork W2788108184 @default.
- W2080751405 hasRelatedWork W2964346180 @default.
- W2080751405 hasRelatedWork W4323527394 @default.
- W2080751405 hasVolume "17" @default.
- W2080751405 isParatext "false" @default.
- W2080751405 isRetracted "false" @default.
- W2080751405 magId "2080751405" @default.
- W2080751405 workType "article" @default.