[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: attribute order (RE: Syntax Sugar and XML information models)
- From: "Martin v. Loewis" <email@example.com>
- To: firstname.lastname@example.org
- Date: Fri, 30 Mar 2001 23:24:07 +0200
> 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.