For a generic instance of the XSD schemas, the application of the compactification C and then the normalization N transformation does not always result in the original instances. This suggest some additional restrictions to the instances, beyond what is specified by the schemas, so that this law is satisfied. Mathematically, this is accomplished by defining a projection operator P = NC. A valid instance must satisfy x = Px.
Testing of this law should be incorporated into the bash scripts.
For a generic instance of the XSD schemas, the application of the compactification C and then the normalization N transformation does not always result in the original instances. This suggest some additional restrictions to the instances, beyond what is specified by the schemas, so that this law is satisfied. Mathematically, this is accomplished by defining a projection operator P = NC. A valid instance must satisfy x = Px.
Testing of this law should be incorporated into the bash scripts.