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

 


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

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


Subject: RE: [relax-ng] Closure


James only makes the claim that RELAX NG is closed under union.

See http://www.thaiopensource.com/relaxng/design.html#section:6.

I doubt we can claim it is closed under any other operation.

Mike

> -----Original Message-----
> From: John Cowan [mailto:jcowan@reutershealth.com]
> Sent: Thursday, May 23, 2002 12:42 PM
> To: relax-ng@lists.oasis-open.org
> Subject: [relax-ng] Closure
> 
> 
> I have stuck my neck out and claimed that RNG is closed under
> intersection.  Is it?  Also Tim Bray wants to know if RNG
> is closed under set difference.  My guess is 'no', but I'd like
> to know for sure, or know that it isn't known.
> 
> -- 
> 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_
> 
> ----------------------------------------------------------------
> To subscribe or unsubscribe from this elist use the subscription
> manager: <http://lists.oasis-open.org/ob/adm.pl>
> 


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


Powered by eList eXpress LLC