[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: meta-specs (was RE: A few things I noticed about w3c's xml-schema)
- From: Jonathan Borden <email@example.com>
- To: Joel Rees <firstname.lastname@example.org>
- Date: Thu, 31 May 2001 12:43:41 -0400
Joel Rees wrote:
> Iwaku Jonathan Borden:
> > As you stick each of your documents into the boxes you find that for two
> > the boxes, half the documents cause the box to light up and for the
> > two boxes the other half of the documents cause the box to light up. You
> > have your two groups of documents, and two groups of schemata. We say
> > of the schema in the group is "equal" because they each have the same
> > instance documents.
> Is this ability to compare instances assumed to be hypothetical, or can it
> actually be implemented for some subset of instances?
It can be easily implemented for some subset of documents. An instance
validator for a schema language indicates whether a document is "valid" with
respect to a schema. For a DTD, this is implemented by a validating parser.