This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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]. >>
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