W3C home > Mailing lists > Public > www-ql@w3.org > January to March 2001

XML Schema: Formal Description is now published

From: Jonathan Robie <Jonathan.Robie@SoftwareAG-USA.com>
Date: Tue, 20 Mar 2001 14:06:55 -0500
Message-Id: <5.0.2.1.0.20010320140648.024c8fc0@pop.mindspring.com>
To: www-ql@w3.org
The document formerly known as MSL has now been published publicly as a W3C 
Working Draft:

http://www.w3.org/TR/xmlschema-formal/

This formalization is a formal, declarative system for describing and 
naming XML Schema information, specifying XML instance type information, 
and validating instances against schemas. The goals of the formalization 
are to:
       Provide a semantic framework for software systems that use the W3C 
XML Schema specification, such as the W3C XML Query Algebra.
       Specify names for all components of an XML Schema, so that they can 
be uniquely identified by URIs. Such unique identifiers may be useful to 
XML Query, RDF, and topic maps, among others.
       Formally define validation at a declarative level.
       Define the mapping from the current XML Schema syntax onto the 
structures described here, as well as the mapping between the XML Schema 
component mode and our component model.

Jonathan
Received on Tuesday, 20 March 2001 14:05:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 22 July 2006 00:10:17 GMT