"XML Query Algebra" typos

I found some typos in "The XML Query Algebra", 2000-12-04 working draft.
Read "->" as "should be replaced by".
By "example", I mean "<pre> element".

1 Introduction
2nd para:
    "long standing" -> "long-standing"

4th para:
    "guarantuee" -> "guarantee"

2.10 Sorting
1st para:
    "Note that the variable b appear":
    "appear" -> "appears"

2.15 Functions for all well-formed documents
2nd para:
    "Finally an AnyTree is either..."
    "AnyTree" -> "AnyType"

9th para:
    "The first branch of the match match expression..."
    Delete first "match".

3.1 Expanded names
1st para:
    "or namespace, local name pairs"
    Change to "or (namespace, local name) pairs" ?

3.2 Wildcards
Near end of section:
    "{Namespace}LocalName <:wild {*}*"
    Italicize "Namespace".

4.1 Relating projection to iteration
    The first four examples use "AnyComplexType", but the last three use
    "AnyType". Not sure why.

4.2 Reducible Expressions
1st para:
    "In these definitions, Exp1 {Exp2/Var} denotes..."
    In fact, Figure 4 doesn't use that construct. (Figure 5 does though, so
    maybe "these definitions" was meant to include it.)

4.3 Laws
7th example:
    "for a in b do"
    Shouldn't that be "for a in b/author do" ?

Figure 5:
    definition of "E":
    Maybe change "E" to "E[]"?
    Also, delete the "|" before "else e".

    rule 13:
    "e[e2]" -> "E[e2]"

    rule 15:
    On the left-hand side, put the ellipsis between the two "case" lines.
    Also, "casev" -> "case v".

last para:
    "context variable e" -> "context variable E"
    "e[e]" -> "E[e]"
    "six expressions" -> "four expressions"
    The example might be clearer if the two expressions (inner and outer)
    weren't both for-expressions.

5.3 Factoring types
3rd example:
    "String" -> "Integer"

4th example:
    Insert space between "Integer" and "]".

5.5 Expressions
5th para:
    "@Name[Data]" -> "@Name[Exp]"

-Michael Dyck

Received on Saturday, 23 December 2000 21:32:54 UTC