Deciding well-definedness of XQuery fragments

Stijn Vansummeren
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xtq6wnwaszaebg4qf7aw6mllwi" style="color: black;">Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS &#39;05</a> </i> &nbsp;
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 welldefinedness problem for non-recursive fragments of XQuery under a bounded-depth type
more &raquo; ... We identify properties of base operations which can make the problem undecidable and give conditions which are sufficient to ensure decidability.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1065167.1065173">doi:10.1145/1065167.1065173</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pods/Vansummeren05.html">dblp:conf/pods/Vansummeren05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2lo65frsdjhprhsc7se54rmluu">fatcat:2lo65frsdjhprhsc7se54rmluu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719074707/https://uhdspace.uhasselt.be/dspace/bitstream/1942/965/1/decidingwell.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/37/5f3706264f99ff9873181f41b2874ca88d4349e6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1065167.1065173"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>