Re: Re: Schemas: Different Strokes From Different Folks

From: John Cowan <johnwcowan@gmail.com>
To: "Henry S. Thompson" <ht@markup.co.uk>
Date: Wed, 18 Jan 2017 16:36:36 -0500

Play the video

On Wed, Jan 18, 2017 at 4:17 PM, Henry S. Thompson <ht@markup.co.uk> wrote:

I understood Murata to have proved for RELAX NG that given two XML
languages, each (weakly) generated by a RELAX NG schema, the union _of
the languages_ would be generated by the union of the schemata.

Indeed, the proof is trivial. Let a be the root pattern of schema A, and b be the root pattern of schema B. Then <choice><ref name="a"/><ref name="b"/></choice> matches any document that matches either a or b or both. And since there are no constraints on the subpatterns of a choice pattern other than those inherited from the context of the choice pattern (which here is null), all such patterns are valid.

GMail doesn't have rotating .sigs, but you can see mine at http://www.ccil.org/~cowan/signatures

Follow-Ups:
- Re: Schemas: Different Strokes From Different Folks
  - From: ht@markup.co.uk (Henry S. Thompson)

References:
- Schemas: Different Strokes From Different Folks
  - From: Patrick Durusau <patrick@durusau.net>
- Re: Schemas: Different Strokes From Different Folks
  - From: Ihe Onwuka <ihe.onwuka@gmail.com>
- Re: Schemas: Different Strokes From Different Folks
  - From: Patrick Durusau <patrick@durusau.net>
- Re: Schemas: Different Strokes From Different Folks
  - From: ht@markup.co.uk (Henry S. Thompson)

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

PURCHASE STYLUS STUDIO ONLINE TODAY!

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

Download The World's Best XML IDE!

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

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.

XML Editor - Download a 15 Day Free Trial Now >

See What's New in Stylus Studio >

Buy Stylus Studio - XML Editor - Now >