Matches in SemOpenAlex for { <https://semopenalex.org/work/W51544413> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W51544413 abstract "Network Datalog (<i>NDlog</i>) is a recursive query language that extends Datalog by allowing programs to be distributed in a network. In our initial efforts to formally specify <i>NDlog</i>'s operational semantics, we have found several problems with the current evaluation algorithm being used, including unsound results, unintended multiple derivations of the same table entry, and divergence. In this paper, we make a first step towards correcting these problems by formally specifying a new operational semantics for <i>NDlog</i> and proving its correctness for the fragment of non-recursive programs. We also argue that if termination is guaranteed, then the results also extend to recursive programs. Finally, we identify a number of potential implementation improvements to <i>NDlog</i>." @default.
- W51544413 created "2016-06-24" @default.
- W51544413 creator A5015395686 @default.
- W51544413 creator A5054465062 @default.
- W51544413 creator A5080152569 @default.
- W51544413 creator A5087946116 @default.
- W51544413 creator A5090052860 @default.
- W51544413 date "2018-01-23" @default.
- W51544413 modified "2023-09-23" @default.
- W51544413 title "An Operational Semantics for Network Datalog" @default.
- W51544413 cites W142537503 @default.
- W51544413 cites W1495793844 @default.
- W51544413 cites W1535318411 @default.
- W51544413 cites W1819216168 @default.
- W51544413 cites W1963779317 @default.
- W51544413 cites W2012615291 @default.
- W51544413 cites W2012670464 @default.
- W51544413 cites W2032504915 @default.
- W51544413 cites W2040807747 @default.
- W51544413 cites W2044701300 @default.
- W51544413 cites W2070324762 @default.
- W51544413 cites W2073904762 @default.
- W51544413 cites W2096160379 @default.
- W51544413 cites W2105170773 @default.
- W51544413 cites W2114852717 @default.
- W51544413 cites W2126819522 @default.
- W51544413 cites W2136575791 @default.
- W51544413 cites W2146078049 @default.
- W51544413 cites W2153037302 @default.
- W51544413 cites W2158049821 @default.
- W51544413 cites W2339351027 @default.
- W51544413 cites W2911865844 @default.
- W51544413 doi "https://doi.org/10.29007/f89j" @default.
- W51544413 hasPublicationYear "2018" @default.
- W51544413 type Work @default.
- W51544413 sameAs 51544413 @default.
- W51544413 citedByCount "3" @default.
- W51544413 countsByYear W515444132013 @default.
- W51544413 countsByYear W515444132015 @default.
- W51544413 crossrefType "proceedings-article" @default.
- W51544413 hasAuthorship W51544413A5015395686 @default.
- W51544413 hasAuthorship W51544413A5054465062 @default.
- W51544413 hasAuthorship W51544413A5080152569 @default.
- W51544413 hasAuthorship W51544413A5087946116 @default.
- W51544413 hasAuthorship W51544413A5090052860 @default.
- W51544413 hasBestOaLocation W515444131 @default.
- W51544413 hasConcept C138885662 @default.
- W51544413 hasConcept C148230440 @default.
- W51544413 hasConcept C156325763 @default.
- W51544413 hasConcept C184337299 @default.
- W51544413 hasConcept C199360897 @default.
- W51544413 hasConcept C207390915 @default.
- W51544413 hasConcept C2776235265 @default.
- W51544413 hasConcept C41008148 @default.
- W51544413 hasConcept C41895202 @default.
- W51544413 hasConcept C55439883 @default.
- W51544413 hasConcept C80444323 @default.
- W51544413 hasConceptScore W51544413C138885662 @default.
- W51544413 hasConceptScore W51544413C148230440 @default.
- W51544413 hasConceptScore W51544413C156325763 @default.
- W51544413 hasConceptScore W51544413C184337299 @default.
- W51544413 hasConceptScore W51544413C199360897 @default.
- W51544413 hasConceptScore W51544413C207390915 @default.
- W51544413 hasConceptScore W51544413C2776235265 @default.
- W51544413 hasConceptScore W51544413C41008148 @default.
- W51544413 hasConceptScore W51544413C41895202 @default.
- W51544413 hasConceptScore W51544413C55439883 @default.
- W51544413 hasConceptScore W51544413C80444323 @default.
- W51544413 hasLocation W515444131 @default.
- W51544413 hasLocation W515444132 @default.
- W51544413 hasLocation W515444133 @default.
- W51544413 hasOpenAccess W51544413 @default.
- W51544413 hasPrimaryLocation W515444131 @default.
- W51544413 hasRelatedWork W1548537923 @default.
- W51544413 hasRelatedWork W1602014241 @default.
- W51544413 hasRelatedWork W1798364377 @default.
- W51544413 hasRelatedWork W2008609084 @default.
- W51544413 hasRelatedWork W2035786727 @default.
- W51544413 hasRelatedWork W2404327427 @default.
- W51544413 hasRelatedWork W27605384 @default.
- W51544413 hasRelatedWork W2973978040 @default.
- W51544413 hasRelatedWork W3028943997 @default.
- W51544413 hasRelatedWork W44755678 @default.
- W51544413 isParatext "false" @default.
- W51544413 isRetracted "false" @default.
- W51544413 magId "51544413" @default.
- W51544413 workType "article" @default.