This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 2150 - [XQuery] Processing model: promotion not part of normalization
Summary: [XQuery] Processing model: promotion not part of normalization
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Linux
: P2 normal
Target Milestone: ---
Assignee: Don Chamberlin
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-09-12 19:30 UTC by Jerome Simeon
Modified: 2005-09-14 17:32 UTC (History)
0 users

See Also:


Attachments

Description Jerome Simeon 2005-09-12 19:30:01 UTC
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].
>>
Comment 1 Don Chamberlin 2005-09-14 17:32:13 UTC
Thanks for this suggestion, which was reviewed and approved by the Query 
Working Group on Sept. 14, 2005. I will implement the suggestion in the next 
revision of the XQuery specification.
Don Chamberlin