Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123504059> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2123504059 abstract "We show how Horn logic programs can be implemented using database techniques, namely, mostly bottom-up in combination with certain top-down elements (as opposed to the top-down implementations of logic programs prevailing so far). The proposed method is sound and complete. It easily lends itself to a parallel implementation, and is free of nonlogical features, like backtracking. In extension to the common approach to deductive databases, we allow function symbols to appear in programs. An important advantage of this method is that it terminates in many cases in which PROLOG and SLD-resolution do not." @default.
- W2123504059 created "2016-06-24" @default.
- W2123504059 creator A5001569651 @default.
- W2123504059 creator A5059918476 @default.
- W2123504059 date "1987-02-01" @default.
- W2123504059 modified "2023-09-26" @default.
- W2123504059 title "Implementing logic programs as a database system" @default.
- W2123504059 cites W1528738961 @default.
- W2123504059 cites W2014580042 @default.
- W2123504059 cites W2123858323 @default.
- W2123504059 doi "https://doi.org/10.1109/icde.1987.7272403" @default.
- W2123504059 hasPublicationYear "1987" @default.
- W2123504059 type Work @default.
- W2123504059 sameAs 2123504059 @default.
- W2123504059 citedByCount "8" @default.
- W2123504059 crossrefType "proceedings-article" @default.
- W2123504059 hasAuthorship W2123504059A5001569651 @default.
- W2123504059 hasAuthorship W2123504059A5059918476 @default.
- W2123504059 hasConcept C128838566 @default.
- W2123504059 hasConcept C199360897 @default.
- W2123504059 hasConcept C2987117450 @default.
- W2123504059 hasConcept C41008148 @default.
- W2123504059 hasConcept C77088390 @default.
- W2123504059 hasConceptScore W2123504059C128838566 @default.
- W2123504059 hasConceptScore W2123504059C199360897 @default.
- W2123504059 hasConceptScore W2123504059C2987117450 @default.
- W2123504059 hasConceptScore W2123504059C41008148 @default.
- W2123504059 hasConceptScore W2123504059C77088390 @default.
- W2123504059 hasLocation W21235040591 @default.
- W2123504059 hasOpenAccess W2123504059 @default.
- W2123504059 hasPrimaryLocation W21235040591 @default.
- W2123504059 hasRelatedWork W134220871 @default.
- W2123504059 hasRelatedWork W1493824320 @default.
- W2123504059 hasRelatedWork W1542459781 @default.
- W2123504059 hasRelatedWork W1576485315 @default.
- W2123504059 hasRelatedWork W1885402555 @default.
- W2123504059 hasRelatedWork W1966767581 @default.
- W2123504059 hasRelatedWork W2003151706 @default.
- W2123504059 hasRelatedWork W201827850 @default.
- W2123504059 hasRelatedWork W2097388634 @default.
- W2123504059 hasRelatedWork W50928870 @default.
- W2123504059 isParatext "false" @default.
- W2123504059 isRetracted "false" @default.
- W2123504059 magId "2123504059" @default.
- W2123504059 workType "article" @default.