<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>4174</bug_id>
          
          <creation_ts>2007-01-09 18:47:24 +0000</creation_ts>
          <short_desc>[UPD] Revalidation and non-globally defined elements</short_desc>
          <delta_ts>2007-01-30 20:48:33 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XPath / XQuery / XSLT</product>
          <component>Update Facility</component>
          <version>Working drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Linux</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>WONTFIX</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="John Snelson">john.snelson</reporter>
          <assigned_to name="Andrew Eisenberg">andrew.eisenberg</assigned_to>
          
          
          <qa_contact name="Mailing list for public feedback on specs from XSL and XML Query WGs">public-qt-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>13391</commentid>
    <comment_count>0</comment_count>
    <who name="John Snelson">john.snelson</who>
    <bug_when>2007-01-09 18:47:24 +0000</bug_when>
    <thetext>In section 3.2.3 of the XQuery Update specification, revalidation is defined in terms of the XQuery &quot;validate&quot; expression. I understand why the specification does this, but it seems like this could be a problem since &quot;validate&quot; can only validate an element which has a globally defined schema element for it. This effectively means that with a revalidation mode of &quot;strict&quot;, you could not successfully modify any element that didn&apos;t have a globally defined schema element for it.

Would there be any merit in storing the original type of the element when upd:setToUntyped() is called, and using that somehow for validation?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>13843</commentid>
    <comment_count>1</comment_count>
    <who name="Jonathan Robie">jonathan.robie</who>
    <bug_when>2007-01-30 15:44:24 +0000</bug_when>
    <thetext>Hi John,

On behalf of the XML Query Working Group, I&apos;d like to thank you for this comment, which generated a rather long and interesting discussion. In the end, we decided to make no change for the following reasons:

- If we keep the original type of the element then we encounter some difficult corner cases; for instance, do we keep that type if the element is renamed?

- Local types are not designed for use in root level elements. Arguably, the schema itself identifies which types should be allowed at the root level.

- There is an easy workaround. Although you can not do a transform in strict mode to create elements with local types at the top level, you can certainly do this in other validation modes, and you can certainly validate the result as long as the query result places all locally declared types in a context where they are allowed to exist in a validated document.

So we do not feel this needs to be fixed.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>