 |
.. (לתיקייה המכילה) | |
Say i have an operation that performing it on certain schema will conflict some invariant. | |
|
The invariant will hold in any case therefore the operation will not be performed in the above mentioned case. You should add preconditions to the operation since otherwise you'll have an operation that does not work in some cases and it is not clear why. It is also good for error-handling. |