- From: Henry S. Thompson <ht@inf.ed.ac.uk>
- Date: Tue, 19 Apr 2005 14:39:19 +0100
- To: "Michael Kay" <mike@saxonica.com>
- Cc: "'Martin Thomson'" <martin.thomson@nortel.com>, <xmlschema-dev@w3.org>
"Michael Kay" <mike@saxonica.com> writes:
> I haven't seen that extensional interpretation of ##any used before.
As I said, that's a bit of forward-looking to XML Schema 1.1 in
XSV. . .
> What if there was a global declaration
>
> <xsd:element name="element" type="xsd:integer"/>
>
> Would it be the case that the restriction is invalid because none of the
> possible elements that ##any might match has a type that's compatible with
> xsd:token?
Yes, in 1.1 as currently envisaged.
> Or is there a rule somewhere that the restriction can only be a reference to
> a globally-declared element?
>
> Saxon incidentally accepts the schema as supplied, although it also uses an
> algorithm based on comparing the two FSA's to see if one subsumes the other.
> However, it only checks the element name ("element") against the set of
> namespaces permitted by the wildcard ("##any"), it doesn't expand the
> wildcard into a finite set of permitted element names.
That is correct per 1.0.
ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
Half-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
Received on Tuesday, 19 April 2005 13:39:29 UTC