W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1763] New: [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions

From: <bugzilla@wiggum.w3.org>
Date: Tue, 19 Jul 2005 23:15:53 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1Dv1JZ-00060T-8t@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1763

           Summary: [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and
                    fn:sum functions
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions

Introduction
"The dynamic evaluation rules for aggregate functions"
    No such thing. Perhaps s/evaluation rules/semantics/

STA / rule (1|2|3|4)
"ItemType"
    Change all occurrences of "ItemType" to "FormalItemType".

STA / rule (1|2|3|4)
"Type0 in { ... }"
    I think the rule reads better if this premise is last.

STA / rule (1|2|3|4) / last two premises
"statEnv |- ItemTypei can be promoted to Type0      1 <= i <= n"
    I think you want *all* ItemTypes to be promotable to Type0, not just
    one. Change last line to
        statEnv |- ItemType1 can be promoted to Type0
        ...
        statEnv |- ItemTypen can be promoted to Type0

"For fn:avg, the target type Type is either ..."
"For fn:sum, the target type Type is either ..."
    s/Type/Type0/
Received on Tuesday, 19 July 2005 23:15:58 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC