이행 제약

이행 제약은 데이터가 이전 상태로 인해 불가능한 상태가 되지 않도록 강제하는 방법입니다.예를 들어, 한 사람이 "결혼"에서 "혼자, 결혼하지 않음"으로 바뀌는 것은 가능하지 않아야 한다."married" 뒤에 유효한 상태는 "divised", "whided" 또는 "deceaded"뿐일 수 있습니다.

이것은 이 용어의 데이터베이스 중심 해석입니다.

컴퓨터 보안의 정식 모델에서 전이 제약은 모델 상태에서 후속 상태로의 모든 유효한 전이를 지배하는 속성입니다.이는 그 자체로는 주(州)와 관련되지만 연속된 주(州) 간의 전환과는 관련이 없는 주(州) 기준을 보완하는 것으로 볼 수 있다.