[Bug 1645] New: [FS] tightening the description of the Normalization phase

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1645

           Summary: [FS] tightening the description of the Normalization
                    phase
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


3.2.1 Processing model
Step 3, "Normalization" contains statements that are contradicted
in Section 3.5.3 "SequenceType Syntax", to wit:

1. Section 3.2.1 contains "... the [XPath/XQuery] Core language...is 
a subset of the XQuery grammar" but 3.5.3 points out that 
the type system in the Core grammar is not a subset of 
XQuery grammar.  The correction would be to reword 3.2.1 to say
that Core is mostly a subset of XQuery, except that the type 
system in Core is richer than XQuery's.

2. Section 3.2.1 portrays Normalization as a phase that can be
performed in entirety after phase 2, "static context processing",
and before phase 3, "static type analysis".  Section 3.5.3 says
that normalization of sequence types can occur "whenever a
dynamic or static rule requires it".  Presumably the reference
to "static rule" is a reference to phase 4 "static type analysis"
in section 3.2.1.  This could be clarified in both sections.

Received on Friday, 15 July 2005 22:19:18 UTC