W3C home > Mailing lists > Public > www-xml-query-comments@w3.org > November 2001

mistake in the rule of the binary operator?

From: Edenilson Josť da Silva <ede@pb.cefetpr.br>
Date: Tue, 20 Nov 2001 09:13:13 -0200
Message-ID: <001101c171b4$59fbf120$3b021dac@EDE>
To: <www-xml-query-comments@w3.org>
Hi,
I'm student of the master's degree in computer science of the Federal University of ParanŠ (Brazil), and analyzing the document XQUERY 1.0 FORMAL SEMANTICS in the last version, I found in the item 5.4 the description of the unary operator, as shown below:  
  
 
      E |- Expr1 => v1      a2 = apply(Op, a1)  

--------------------------------------------------------------------------
     
      E |- Op Expr1 => a2  


But, it seems that a small mistake exists in this rule (shown in red). Am I correct in my statement?

  
      E |- Expr1 => a1      a2 = apply(Op, a1)  

--------------------------------------------------------------------------
     
      E |- Op Expr1 => a2  



 

Best Regards.

Edenilson Silva
CEFET/PR - Pato Branco
Received on Tuesday, 20 November 2001 06:08:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 2 February 2007 00:13:04 GMT