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


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] Data binding as type definition

[ Lists Home | Date Index | Thread Index ]

Amelia A Lewis scripsit:

> It follows that the first question to ask is "what is a type?"

Very well.  A (simple) type is a named set of values.

> Therefore, to create a data library definition language
> (which is what I think XML Schema part two should have been), one needs to
> create a language capable of describing validation algorithms.

In principle, it is known that a context-free grammar is strong enough.
In practice, a regular grammar is probably strong enough, but may be ugly
in particular cases of practical interest:  it is painful to write a regex
that matches all integers between -200 and 55678.

> If in fact language binding is a significant part of how a simple type is
> defined, 

I don't think anybody argues this.  Rather, the claim is that language
binding is an important *application* of types.

John Cowan <jcowan@reutershealth.com>     http://www.reutershealth.com
I amar prestar aen, han mathon ne nen,    http://www.ccil.org/~cowan
han mathon ne chae, a han noston ne 'wilith.  --Galadriel, _LOTR:FOTR_


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

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