<?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>6952</bug_id>
          
          <creation_ts>2009-05-25 17:21:22 +0000</creation_ts>
          <short_desc>[XSLT 2.0] Is there really a need to prohibit checking of NOTATIONs during validation?</short_desc>
          <delta_ts>2010-07-15 16:52:09 +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>XSLT 2.0</component>
          <version>Recommendation</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows XP</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc>http://www.w3.org/TR/xslt20/#validation-process</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="Henry Zongaro">zongaro</reporter>
          <assigned_to name="Michael Kay">mike</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>25289</commentid>
    <comment_count>0</comment_count>
    <who name="Henry Zongaro">zongaro</who>
    <bug_when>2009-05-25 17:21:22 +0000</bug_when>
    <thetext>According to the fourth bullet in the first list section 19.2.1.3 of XSLT 2.0,[1]

&quot;There is no check that the document contains notations whose names match the values of nodes of type xs:NOTATION. (The XDM data model makes no provision for notations to be represented in the tree.)&quot;

Similarly, the sixth bullet of section 19.2.2 of XSLT 2.0[2] reads,

&quot;There is no check that the document contains notations whose names match the values of nodes of type xs:NOTATION. This is because notations are not part of the XDM data model. It is possible to add notations to the result document by referencing a suitable DOCTYPE during serialization.&quot;

However, according to section 3.2.19 of XML Schema: Datatypes,[3] &quot;The ·value space· of NOTATION is the set of QNames of notations declared in the current schema. The ·lexical space· of NOTATION is the set of all names of notations declared in the current schema (in the form of QNames).&quot;  This stands in contrast to the ENTITY datatype,[4] whose values have to have been declared as unparsed entities in a DTD.

Have I missed something or is there really no need for this requirement that the processor not check the values of nodes of type xs:NOTATION?  I would suggest striking the two bullets I&apos;ve quoted above.

[1] http://www.w3.org/TR/xslt20/#validation-process
[2] http://www.w3.org/TR/xslt20/#validating-document-nodes
[3] http://www.w3.org/TR/xmlschema-2/#NOTATION
[4] http://www.w3.org/TR/xmlschema-2/#ENTITY</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>35857</commentid>
    <comment_count>1</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2010-05-27 16:46:10 +0000</bug_when>
    <thetext>Agreed that validation should check that NOTATIONS are declared in the schema, deleting the offending text from the spec.

Noted that the same problem is present in the XQuery specification.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>35863</commentid>
    <comment_count>2</comment_count>
    <who name="Henry Zongaro">zongaro</who>
    <bug_when>2010-05-27 17:00:07 +0000</bug_when>
    <thetext>See also the related bug filed against XQuery 1.0:  Bug 9816</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>36897</commentid>
    <comment_count>3</comment_count>
    <who name="Michael Kay">mike</who>
    <bug_when>2010-07-15 09:37:16 +0000</bug_when>
    <thetext>This will be erratum E48.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>