Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497137050> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1497137050 abstract "Capture rules were introduced in [U] as a method for planning the evaluation of a query expressed in first-order logic. We examine a capture rule that is substantiated by a simple top-down implementation of restricted Horn clause logic. A necessary and sufficient condition for the top-down algorithm to converge is shown. It is proved that, provided there is a bound on the number of arguments of predicates, the test can be performed in polynomial time; however, if the arity of predicates is made part of the input, then the problem of deciding whether the top-down algorithm converges is NP-hard. We then consider relaxation of some of our constraints on the form of the logic, showing that success of the top-down algorithm can still be tested in polynomial time if the number of arguments is limited and in exponential time if not." @default.
- W1497137050 created "2016-06-24" @default.
- W1497137050 creator A5014143171 @default.
- W1497137050 creator A5089065417 @default.
- W1497137050 date "1984-07-01" @default.
- W1497137050 modified "2023-09-26" @default.
- W1497137050 title "Complexity of a top-down capture rule" @default.
- W1497137050 cites W1970637119 @default.
- W1497137050 cites W2026955262 @default.
- W1497137050 cites W2027276583 @default.
- W1497137050 cites W2072843304 @default.
- W1497137050 cites W52405575 @default.
- W1497137050 cites W2108812171 @default.
- W1497137050 hasPublicationYear "1984" @default.
- W1497137050 type Work @default.
- W1497137050 sameAs 1497137050 @default.
- W1497137050 citedByCount "8" @default.
- W1497137050 crossrefType "journal-article" @default.
- W1497137050 hasAuthorship W1497137050A5014143171 @default.
- W1497137050 hasAuthorship W1497137050A5089065417 @default.
- W1497137050 hasConcept C110546421 @default.
- W1497137050 hasConcept C111472728 @default.
- W1497137050 hasConcept C11413529 @default.
- W1497137050 hasConcept C118615104 @default.
- W1497137050 hasConcept C128838566 @default.
- W1497137050 hasConcept C134306372 @default.
- W1497137050 hasConcept C138885662 @default.
- W1497137050 hasConcept C189790780 @default.
- W1497137050 hasConcept C2780586882 @default.
- W1497137050 hasConcept C311688 @default.
- W1497137050 hasConcept C33923547 @default.
- W1497137050 hasConcept C41008148 @default.
- W1497137050 hasConcept C80444323 @default.
- W1497137050 hasConcept C90119067 @default.
- W1497137050 hasConceptScore W1497137050C110546421 @default.
- W1497137050 hasConceptScore W1497137050C111472728 @default.
- W1497137050 hasConceptScore W1497137050C11413529 @default.
- W1497137050 hasConceptScore W1497137050C118615104 @default.
- W1497137050 hasConceptScore W1497137050C128838566 @default.
- W1497137050 hasConceptScore W1497137050C134306372 @default.
- W1497137050 hasConceptScore W1497137050C138885662 @default.
- W1497137050 hasConceptScore W1497137050C189790780 @default.
- W1497137050 hasConceptScore W1497137050C2780586882 @default.
- W1497137050 hasConceptScore W1497137050C311688 @default.
- W1497137050 hasConceptScore W1497137050C33923547 @default.
- W1497137050 hasConceptScore W1497137050C41008148 @default.
- W1497137050 hasConceptScore W1497137050C80444323 @default.
- W1497137050 hasConceptScore W1497137050C90119067 @default.
- W1497137050 hasLocation W14971370501 @default.
- W1497137050 hasOpenAccess W1497137050 @default.
- W1497137050 hasPrimaryLocation W14971370501 @default.
- W1497137050 hasRelatedWork W1481536172 @default.
- W1497137050 hasRelatedWork W1548801608 @default.
- W1497137050 hasRelatedWork W1550042714 @default.
- W1497137050 hasRelatedWork W1557063378 @default.
- W1497137050 hasRelatedWork W1593279918 @default.
- W1497137050 hasRelatedWork W1593956419 @default.
- W1497137050 hasRelatedWork W1603122100 @default.
- W1497137050 hasRelatedWork W19044712 @default.
- W1497137050 hasRelatedWork W1979186433 @default.
- W1497137050 hasRelatedWork W2025671483 @default.
- W1497137050 hasRelatedWork W2027276583 @default.
- W1497137050 hasRelatedWork W2027450089 @default.
- W1497137050 hasRelatedWork W2104881994 @default.
- W1497137050 hasRelatedWork W2108911687 @default.
- W1497137050 hasRelatedWork W2123481932 @default.
- W1497137050 hasRelatedWork W2132063146 @default.
- W1497137050 hasRelatedWork W2144890472 @default.
- W1497137050 hasRelatedWork W236032 @default.
- W1497137050 hasRelatedWork W2784921327 @default.
- W1497137050 hasRelatedWork W52405575 @default.
- W1497137050 isParatext "false" @default.
- W1497137050 isRetracted "false" @default.
- W1497137050 magId "1497137050" @default.
- W1497137050 workType "article" @default.