[Bug 2150] [XQuery] Processing model: promotion not part of normalization

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

           Summary: [XQuery] Processing model: promotion not part of
                    normalization
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: simeon@us.ibm.com
         QAContact: public-qt-comments@w3.org


Reported on behalf of Lionel Villard, from IBM Watson.
- Jerome

In [Section 2.2.3.1 Static Analysis Phase]

The third paragraph mentions that normalization makes type promotion explicit.
But that is not the case (anymore). Type promotion is handled by the dynamic
evaluation directly.

I would suggest to rephrase by removing ", type promotio" from the paragraph, as
follows:

<<
The operation tree is then normalized by making explicit the implicit operations
such as atomization, type promotion, and extraction of Effective Boolean Values
(step SQ5). The normalization process is described in [XQuery 1.0 and XPath 2.0
Formal Semantics].
>>

to

<<
The operation tree is then normalized by making explicit the implicit operations
such as atomization, and extraction of Effective Boolean Values (step SQ5). The
normalization process is described in [XQuery 1.0 and XPath 2.0 Formal Semantics].
>>

Received on Monday, 12 September 2005 19:30:17 UTC