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>
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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:21:14 UTC