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

Re: Announce: XML Schema, The W3C's Object-OrientedDescription


fsm ide
On Wed, 2002-06-26 at 05:04, Jonathan Borden wrote:
> Bullard, Claude L (Len) wrote:
> >
> > Hoping sincerely that your book is one that enables right choice
> > based on well-understood requirements.  Best of luck.
> >
> 
> Some of my requirements for a schema language:
> 
> 1) No surprises. I want to be able to express the constraints for a desired
> collection of documents in a straightforward fashion. I don't want the
> schema language to GPF for unexpected reasons.
> 
> 2) Good power/complexity ratio. I will accept complexity only if it is
> accompanied by sufficient power. If I am going to slug through learning a
> new language, I expect to be rewarded for doing so.
> 
> 3) Easy for easy tasks. I don't want to make everything complicated. See
> above.

I think that the 3 points are linked and that most of the time
simplicity and flexibility are closely related at least from a user POV.
Complexity begins with added restrictions aimed to make life easier for
the implementers and which when not assimilated by users look
unpredictable and are seen as GPF. And ultimately, when too many of
these restrictions are added, the implementers themselves get confused.

> Off the top of my head that's a few. For example, we've long been told that
> XML DTDs dropped the "&" construct because of the cost/benefit ratio -- cost
> for the implementation that is, because this construct is rather intuitive
> for people designing document formats (translation: it makes expressing
> certain document constraints _easy_). Now it seems that RELAXNG has brought
> back the "&" at least in the form of "interleave" yet without any great
> increase in complexity indeed the language is simpler than XML Schema. So
> that is a _good thing_ right?

This is an example where the restrictions on xs:all create complexity
for the users and the lack of restrictions on RNG interleave is source
of simplicity.

What's interesting is that in the derivative algorithm described by
James Clark, interleave is barely more complex than ordered groups: in
my implementation, the main derivation method is 11 python instructions
for ordered groups and 13 instructions for interleave. What's also worth
noting is that interleave derivation would have had to be implemented
anyway since it's used to derive patterns against attribute nodes and
that at the end of the day, interleave doesn't add complexity for
implementers either.

The restrictions on xs:all appear then to have been dictated by the
concern of exponential blowup for implementations using a finite state
machine and here again, what's interesting is that Murata Makoto has
recently published a paper [1] describing a two phases technique based
on FSM which should avoid the exponential blowup for unordered content
models.

[1] http://www.kurims.kyoto-u.ac.jp/~hahosoya/papers/attelm.ps

There is probably a lesson to learn here for specification writers: yes
this is important to make sure that a specification can be implemented
at specification time. OTH there is a balance to find and being too
close to a specific implementation algorithm may impact the useability
of the spec without improving its implementability!

Eric

> Jonathan
> 
-- 
See you in San Diego.
                               http://conferences.oreillynet.com/os2002/
------------------------------------------------------------------------
Eric van der Vlist       http://xmlfr.org            http://dyomedea.com
(W3C) XML Schema ISBN:0-596-00252-1 http://oreilly.com/catalog/xmlschema
------------------------------------------------------------------------


PURCHASE STYLUS STUDIO ONLINE TODAY!

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.
Email
First Name
Last Name
Company
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.