[Bug 1548] New: [FS] editorial: 3.2.2 Normalization judgment

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

           Summary: [FS] editorial: 3.2.2 Normalization judgment
           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


3.2.2 Normalization judgment

"the above rule is a shorthand for:
statEnv |- [Object]_Subscript == Mapped Object"
    I would say there's no need to retain '==' here. The standard '=' of
    inference rules seems to have the right semantics.  See, e.g.,
    4.8.2 / STA / rule 3, or 5.14 / SCP / rule 2.

    Moreover, a mapping rule is not just a shorthand for a judgment, but
    for a whole inference rule, with the given judgment as the conclusion,
    and generally no premises.
    There are a few normalization rules (in 4.7.1 and 4.7.1.1) that *do*
    have a premise, but there's nothing here to support that syntax.

Received on Monday, 11 July 2005 19:48:25 UTC