[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Subtyping in XML

RE:  Subtyping in XML
> Is everyone who wants datatypes comfortable with a 
> minimum set or is the perennial "how to extend this 
> in a standard way" argument being had? 
No. I want to be able to define any simple type I want. This includes:

1) types based on mathematical axioms and proofs
2) types whose values are determined by laws of nature (empirical and
3) types based on rigidly defined international standards
I also want:
4) types based on specific locale

All of these would have clearly defined membership (value spaces).

Some of these values spaces would not be computable.

Of those that are computable, some would be prohibitively expensive to

All, however, would allow the unambiguous communication of a concept.

All types must have at least one lexical representation to be meaningful.

A type may have a universal lexical representation, or it may not.

A universal lexical representation must be capable of depicting all values
of  the type.

A type may have both universal and local representations, or only local

Local lexical representations may only allow  depiction of  _some_ values of
a type.

For those types with universal representations, a local representation _may_
have a defined mapping to the universal representation.

For types lacking an accepted universal lexical rep, then each local rep
_may_ describe mappings to other local reps. 

A local rep _may_   have only a partial mapping to another local rep.

Existence of a universal lexical space does not prohibit direct
locale-to-locale mappings.

All respresentations of values in a locale must have a provable mapping to
one and only one universal rep (if it exists).  Implementations of such
mappings do not have to be provided or made available.

Local representations can be intersected with where partial mappings are
available. The resulting lexical and value space must be well defined.


In other words, types first and formost define a concept of membership.
Such definitions must be formal and unambiguous.

If it's validatable, great.

If it has a universal representation, great.

If it has one or neither, it's still useful for articulating what a data
value _is_.


Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
First Name
Last Name
Subscribe in XML format
RSS 2.0
Atom 0.3

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.

Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.