Concept · dictionary entry
Valid Transformation
A change of relational state that is permitted by a stated invariant.
Definition
A transformation of a relational geometry is valid when it is permitted by the invariant that governs the affected subgraph. Validity is a property of the transformation with respect to a rule — it is neither a property of the source state alone nor of the target state alone. A blocked transformation is informative: it identifies which rule refused it.
Formal reference
Governed Relational Geometry: A Formal Model for Evidence, Context and Valid Transformation — §3
Related concepts
Demonstrations
Limitations
- Validity is relative to the declared invariant, not to an absolute truth
- A valid transformation may still produce an outcome the operator disagrees with