2150 2005-09-12 19:30:01 +0000 [XQuery] Processing model: promotion not part of normalization 2005-09-14 17:32:30 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 1.0 Last Call drafts PC Linux CLOSED FIXED P2 normal --- 1 simeon chamberl public-qt-comments oldest_to_newest 6115 0 simeon 2005-09-12 19:30:01 +0000 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]. >> 6143 1 chamberl 2005-09-14 17:32:13 +0000 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