Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035512098> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2035512098 abstract "Unlike in traditional query languages, expressions in XQuery can have an undefined meaning (i.e., these expressions produce a run-time error). It is hence natural to ask whether we can solve the well-definedness problem for XQuery: given an expression and an input type, check whether the semantics of the expression is defined for all inputs adhering to the input type. In this paper we investigate the well-definedness problem for non-recursive fragments of XQuery under a bounded-depth type system. We identify properties of base operations which can make the problem undecidable and give conditions which are sufficient to ensure decidability." @default.
- W2035512098 created "2016-06-24" @default.
- W2035512098 creator A5022558461 @default.
- W2035512098 date "2005-06-13" @default.
- W2035512098 modified "2023-09-25" @default.
- W2035512098 title "Deciding well-definedness of XQuery fragments" @default.
- W2035512098 cites W1584521688 @default.
- W2035512098 cites W1591037184 @default.
- W2035512098 cites W1977152005 @default.
- W2035512098 cites W2019156246 @default.
- W2035512098 cites W2026004882 @default.
- W2035512098 cites W2130872776 @default.
- W2035512098 cites W2163491591 @default.
- W2035512098 cites W2173322574 @default.
- W2035512098 cites W2673028924 @default.
- W2035512098 doi "https://doi.org/10.1145/1065167.1065173" @default.
- W2035512098 hasPublicationYear "2005" @default.
- W2035512098 type Work @default.
- W2035512098 sameAs 2035512098 @default.
- W2035512098 citedByCount "6" @default.
- W2035512098 countsByYear W20355120982015 @default.
- W2035512098 crossrefType "proceedings-article" @default.
- W2035512098 hasAuthorship W2035512098A5022558461 @default.
- W2035512098 hasBestOaLocation W20355120982 @default.
- W2035512098 hasConcept C136764020 @default.
- W2035512098 hasConcept C199360897 @default.
- W2035512098 hasConcept C23123220 @default.
- W2035512098 hasConcept C2780512708 @default.
- W2035512098 hasConcept C41008148 @default.
- W2035512098 hasConcept C68699486 @default.
- W2035512098 hasConcept C8797682 @default.
- W2035512098 hasConceptScore W2035512098C136764020 @default.
- W2035512098 hasConceptScore W2035512098C199360897 @default.
- W2035512098 hasConceptScore W2035512098C23123220 @default.
- W2035512098 hasConceptScore W2035512098C2780512708 @default.
- W2035512098 hasConceptScore W2035512098C41008148 @default.
- W2035512098 hasConceptScore W2035512098C68699486 @default.
- W2035512098 hasConceptScore W2035512098C8797682 @default.
- W2035512098 hasLocation W20355120981 @default.
- W2035512098 hasLocation W20355120982 @default.
- W2035512098 hasOpenAccess W2035512098 @default.
- W2035512098 hasPrimaryLocation W20355120981 @default.
- W2035512098 hasRelatedWork W1491786945 @default.
- W2035512098 hasRelatedWork W1520171584 @default.
- W2035512098 hasRelatedWork W1525368680 @default.
- W2035512098 hasRelatedWork W1539190243 @default.
- W2035512098 hasRelatedWork W1625144041 @default.
- W2035512098 hasRelatedWork W2007635916 @default.
- W2035512098 hasRelatedWork W206656128 @default.
- W2035512098 hasRelatedWork W2355957276 @default.
- W2035512098 hasRelatedWork W96275304 @default.
- W2035512098 hasRelatedWork W2523034269 @default.
- W2035512098 isParatext "false" @default.
- W2035512098 isRetracted "false" @default.
- W2035512098 magId "2035512098" @default.
- W2035512098 workType "article" @default.