[Bug 4793] Restructure section 3.4 to follow the following 1) mapping from syntax to cannonical representation, 2) what constitutues a valid usage and 3) implications on instances.

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4793





------- Comment #1 from sandygao@ca.ibm.com  2007-07-12 16:40 -------
For example, for 3.4.1 "acyclic", we could organize its subsections like the
following:

3.4.1 (description) {acyclic} is an SML specific property on SML reference
types. It's value is a boolean. 
3.4.1.1 (maping from schema) if SML:acyclic is present, then {acyclic} has the
actual value of SML:acyclic; otherwise, it has the value of {acyclic} of its
base type.
3.4.1.2 (rules) it's an error if base type has {acyclic} with true and derived
type has it with false.
3.4.1.3 (validation rule) if {acyclic} is true for a type, then its instances
form no cycles.

Received on Thursday, 12 July 2007 16:40:56 UTC