Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093463375> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2093463375 abstract "As an alternative to logic-based query languages for recursive queries, we are investigating a graphical query language called G+, which allows, among other things, easy formulation of certain queries involving simple paths in directed graphs. This led us to study whether such queries are expressible in DATALOG, the language of function-free Horn clauses. Since some G+ queries are NP-hard, and all DATALOG queries are polynomial time computable, the answer appears to be negative. However, it would be interesting to have proof techniques and tools for settling such questions with certainty. The objective of this paper is the development of one such tool, inductive pebble games, based on a normal form for DATALOG programs derived here, and its relationship to Alternating Turing Machine computations. As an application, we sketch a proof that the query “find all pairs of nodes connected by a directed simple path of even length” cannot be expressed in DATALOG." @default.
- W2093463375 created "2016-06-24" @default.
- W2093463375 creator A5004768561 @default.
- W2093463375 creator A5061876697 @default.
- W2093463375 date "1989-01-01" @default.
- W2093463375 modified "2023-10-18" @default.
- W2093463375 title "Inductive pebble games and the expressive power of datalog" @default.
- W2093463375 cites W102782605 @default.
- W2093463375 cites W1481677469 @default.
- W2093463375 cites W1541434994 @default.
- W2093463375 cites W1555138513 @default.
- W2093463375 cites W1980622548 @default.
- W2093463375 cites W1984581643 @default.
- W2093463375 cites W1992810975 @default.
- W2093463375 cites W1998162300 @default.
- W2093463375 cites W2033647831 @default.
- W2093463375 cites W2058419440 @default.
- W2093463375 cites W2088094394 @default.
- W2093463375 cites W2125362004 @default.
- W2093463375 cites W2162621793 @default.
- W2093463375 cites W2569646339 @default.
- W2093463375 cites W3127113455 @default.
- W2093463375 cites W31561947 @default.
- W2093463375 cites W43155751 @default.
- W2093463375 doi "https://doi.org/10.1145/73721.73751" @default.
- W2093463375 hasPublicationYear "1989" @default.
- W2093463375 type Work @default.
- W2093463375 sameAs 2093463375 @default.
- W2093463375 citedByCount "19" @default.
- W2093463375 crossrefType "proceedings-article" @default.
- W2093463375 hasAuthorship W2093463375A5004768561 @default.
- W2093463375 hasAuthorship W2093463375A5061876697 @default.
- W2093463375 hasBestOaLocation W20934633751 @default.
- W2093463375 hasConcept C114793014 @default.
- W2093463375 hasConcept C121332964 @default.
- W2093463375 hasConcept C127313418 @default.
- W2093463375 hasConcept C148230440 @default.
- W2093463375 hasConcept C163258240 @default.
- W2093463375 hasConcept C173608175 @default.
- W2093463375 hasConcept C195818886 @default.
- W2093463375 hasConcept C199360897 @default.
- W2093463375 hasConcept C2777760186 @default.
- W2093463375 hasConcept C41008148 @default.
- W2093463375 hasConcept C62520636 @default.
- W2093463375 hasConceptScore W2093463375C114793014 @default.
- W2093463375 hasConceptScore W2093463375C121332964 @default.
- W2093463375 hasConceptScore W2093463375C127313418 @default.
- W2093463375 hasConceptScore W2093463375C148230440 @default.
- W2093463375 hasConceptScore W2093463375C163258240 @default.
- W2093463375 hasConceptScore W2093463375C173608175 @default.
- W2093463375 hasConceptScore W2093463375C195818886 @default.
- W2093463375 hasConceptScore W2093463375C199360897 @default.
- W2093463375 hasConceptScore W2093463375C2777760186 @default.
- W2093463375 hasConceptScore W2093463375C41008148 @default.
- W2093463375 hasConceptScore W2093463375C62520636 @default.
- W2093463375 hasLocation W20934633751 @default.
- W2093463375 hasOpenAccess W2093463375 @default.
- W2093463375 hasPrimaryLocation W20934633751 @default.
- W2093463375 hasRelatedWork W1508480023 @default.
- W2093463375 hasRelatedWork W1521337661 @default.
- W2093463375 hasRelatedWork W1557218957 @default.
- W2093463375 hasRelatedWork W1590734823 @default.
- W2093463375 hasRelatedWork W1603777797 @default.
- W2093463375 hasRelatedWork W2000780397 @default.
- W2093463375 hasRelatedWork W2097474199 @default.
- W2093463375 hasRelatedWork W2740990710 @default.
- W2093463375 hasRelatedWork W2951885490 @default.
- W2093463375 hasRelatedWork W4288046192 @default.
- W2093463375 isParatext "false" @default.
- W2093463375 isRetracted "false" @default.
- W2093463375 magId "2093463375" @default.
- W2093463375 workType "article" @default.