ELEMENT REFINEMENT inference rule

• From: James Clark <jjc@jclark.com>
• Date: Fri, 27 Apr 2001 13:39:38 +0700
• To: "XML Schema Comments" <www-xml-schema-comments@w3.org>
• Message-ID: <008301c0cee4$d4f81f70$0a00a8c0@bkk.thaiopensource.com>

I don't understand the ELEMENT REFINEMENT inference rule in section 6.1.
Specifically, I don't understand the judgement "d in e": "in" is a relation
between forests and *groups*, but "e" ranges over element names.  I have a
similar problem with the WILDCARD inference rule.

Received on Friday, 27 April 2001 02:41:20 UTC