Transition Constraint

From Handwiki

A transition constraint is a way of enforcing that the data does not enter an impossible state because of a previous state. For example, it should not be possible for a person to change from being "married" to being "single, never married". The only valid states after "married" might be "divorced", "widowed", or "deceased". This is the database-centric interpretation of the term.

In formal models in computer security, a transition constraint is a property that governs every valid transition from a state of the model to a successor state. It can be viewed as complementary to the state criteria that pertain to states per se but have no bearing on transitions between successive states.

References

  • Modelling Transition Constraints (ResearchIndex)



Retrieved from "https://handwiki.org/wiki/index.php?title=Transition_constraint&oldid=54595"

Categories: [Data modeling]


Download as ZWI file | Last modified: 09/28/2024 13:24:31 | 5 views
☰ Source: https://handwiki.org/wiki/Transition_constraint | License: CC BY-SA 3.0

ZWI is not signed. [what is this?]