[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" <martin@loewis.home.cs.tu-berlin.de>
- To: gtn@ebt.com
- 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.
Regards,
Martin