Matches in SemOpenAlex for { <https://semopenalex.org/work/W2301030643> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2301030643 endingPage "474" @default.
- W2301030643 startingPage "467" @default.
- W2301030643 abstract "Most query languages for graph databases rely on exploring the topological properties of the data by using paths. However, many applications require more complex patterns to be matched against the graph to obtain desired results. For this reason a version of the standard XML query language XPath has been adapted to work over graphs. In this paper we study static analysis aspects of this language, concentrating on problems such as containment, equivalence and satisfiability. We show that for the full language all of the problems are undecidable. By restricting the language we then obtain several natural fragments whose complexity ranges from PSpace-complete to ExpTime-complete. The paper deals with GXPath, the adaptation of XPath for graph databases.The central problems we study are containment and satisfiability of GXPath formulas.Both problems turn out to be undecidable for the full language.By restricting binary negation in GXPath we can show EXPTIME tight bounds for both problems.When no negation is allowed we show PSPACE-completeness of the containment problem." @default.
- W2301030643 created "2016-06-24" @default.
- W2301030643 creator A5000893188 @default.
- W2301030643 creator A5065838322 @default.
- W2301030643 creator A5071446856 @default.
- W2301030643 date "2016-07-01" @default.
- W2301030643 modified "2023-09-24" @default.
- W2301030643 title "Static analysis of navigational XPath over graph databases" @default.
- W2301030643 cites W1549008998 @default.
- W2301030643 cites W1971729277 @default.
- W2301030643 cites W1982011272 @default.
- W2301030643 cites W1983524017 @default.
- W2301030643 cites W1986667059 @default.
- W2301030643 cites W2054812122 @default.
- W2301030643 cites W2101571534 @default.
- W2301030643 cites W2117657788 @default.
- W2301030643 doi "https://doi.org/10.1016/j.ipl.2016.03.006" @default.
- W2301030643 hasPublicationYear "2016" @default.
- W2301030643 type Work @default.
- W2301030643 sameAs 2301030643 @default.
- W2301030643 citedByCount "7" @default.
- W2301030643 countsByYear W23010306432016 @default.
- W2301030643 countsByYear W23010306432017 @default.
- W2301030643 countsByYear W23010306432018 @default.
- W2301030643 countsByYear W23010306432021 @default.
- W2301030643 countsByYear W23010306432023 @default.
- W2301030643 crossrefType "journal-article" @default.
- W2301030643 hasAuthorship W2301030643A5000893188 @default.
- W2301030643 hasAuthorship W2301030643A5065838322 @default.
- W2301030643 hasAuthorship W2301030643A5071446856 @default.
- W2301030643 hasBestOaLocation W23010306432 @default.
- W2301030643 hasConcept C132525143 @default.
- W2301030643 hasConcept C136764020 @default.
- W2301030643 hasConcept C176225458 @default.
- W2301030643 hasConcept C183068750 @default.
- W2301030643 hasConcept C199360897 @default.
- W2301030643 hasConcept C2780213375 @default.
- W2301030643 hasConcept C2989070954 @default.
- W2301030643 hasConcept C41008148 @default.
- W2301030643 hasConcept C77088390 @default.
- W2301030643 hasConcept C80444323 @default.
- W2301030643 hasConcept C8797682 @default.
- W2301030643 hasConceptScore W2301030643C132525143 @default.
- W2301030643 hasConceptScore W2301030643C136764020 @default.
- W2301030643 hasConceptScore W2301030643C176225458 @default.
- W2301030643 hasConceptScore W2301030643C183068750 @default.
- W2301030643 hasConceptScore W2301030643C199360897 @default.
- W2301030643 hasConceptScore W2301030643C2780213375 @default.
- W2301030643 hasConceptScore W2301030643C2989070954 @default.
- W2301030643 hasConceptScore W2301030643C41008148 @default.
- W2301030643 hasConceptScore W2301030643C77088390 @default.
- W2301030643 hasConceptScore W2301030643C80444323 @default.
- W2301030643 hasConceptScore W2301030643C8797682 @default.
- W2301030643 hasIssue "7" @default.
- W2301030643 hasLocation W23010306431 @default.
- W2301030643 hasLocation W23010306432 @default.
- W2301030643 hasOpenAccess W2301030643 @default.
- W2301030643 hasPrimaryLocation W23010306431 @default.
- W2301030643 hasRelatedWork W1510221101 @default.
- W2301030643 hasRelatedWork W1519515941 @default.
- W2301030643 hasRelatedWork W2004949443 @default.
- W2301030643 hasRelatedWork W2301030643 @default.
- W2301030643 hasRelatedWork W2326518252 @default.
- W2301030643 hasRelatedWork W2614770353 @default.
- W2301030643 hasRelatedWork W2945661852 @default.
- W2301030643 hasRelatedWork W3029916054 @default.
- W2301030643 hasRelatedWork W3111715194 @default.
- W2301030643 hasRelatedWork W2611571641 @default.
- W2301030643 hasVolume "116" @default.
- W2301030643 isParatext "false" @default.
- W2301030643 isRetracted "false" @default.
- W2301030643 magId "2301030643" @default.
- W2301030643 workType "article" @default.