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


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: attribute order (RE: Syntax Sugar and XML information models)

> I think ordering is just one more type constraint. I'm using
> a non-standard definition of "type" though... where type is proven
> by a set of assertions...

That is actually the definition for a type given in ISO Open
Distributed Processing (ODP): A type is a predicate.