OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: What are schemata

[ Lists Home | Date Index | Thread Index ]
  • From: Lars Marius Garshol <larsga@ifi.uio.no>
  • To: <xml-dev@ic.ac.uk>
  • Date: 30 May 1998 20:42:07 +0200

* Tim Bray
| I kind of think that the thing people have in mind in this group
| when they say "schema" is "expressions of syntactic constraints
| which can be verified mechanically" or some such.

* James K. Tauber
| So is a schema a function that maps a document to a truth value?

I'd rather say that it is a definition of a set of documents, just as
a formal language is usually considered to be the set of sentences
that are well-formed in that language.

The software that verifies a document could be called "a function that
maps a document to a truth value", though. Mathematically, such
software would perform an "element of"-test on the set of documents
defined by the schema.

"These are, as I began, cumbersome ways / to kill a man. Simpler, direct, 
and much more neat / is to see that he is living somewhere in the middle /
of the twentieth century, and leave him there."     -- Edwin Brock

 http://www.stud.ifi.uio.no/~larsga/      http://birk105.studby.uio.no/

xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@ic.ac.uk)


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS