This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The Update Facility specification should state that the expression on the right-hand side of a variable declaration must be a simple expression. Violation of this rule should raise err:XUST0001. The right place for this rule should probably be in Section 2.2, Extensions to the Prolog.
The Query working group discussed this bug report on 3 June 2008 and agreed to make the suggested change. Don Chamberlin (for the Query working group)