зависимости между частями системы в любой момент времени. Динамическими
являются аспекты, которые управляют развитием системы во времени.
Рассматривать динамические аспекты системы означает рассматривать законы
ее изменения. Динамические правила устанавливают зависимости между
частями системы, развивающейся во времени.
Статические правила и ограничения связаны с непротиворечивостью и
допустимостью совокупности предложений. Сфера влияния статических правил
может быть ограничена единичными предложениями, или она может включать в
себя несколько предложений в пределах одной совокупности предложений в
одном состоянии информационной базы.
Динамические правила связаны с допустимыми переходами от одной
совокупности предложений к другой, определяя возможные последовательности
состояний информационной базы. Они являются правилами перехода. Правила
перехода абстрагируются от причин изменений, а также от влияния,
оказываемого этими изменениями на среду. Они указывают, какие состояния
информационной базы могут следовать после других данных состояний
информационной базы.
Соблюдение или нарушение правил перехода может контролироваться
проверкойсостояний.Статическиеправиламогутрассматриватьсякак
специальные случаи правил перехода. Хотя статические правила определяют,
какие состояния допустимы, статическое правило можно интерпретировать как
утверждение,чтоопределенные состояния допустимыилизапрещены
независимо от того, каким было предыдущее состояние. То же самое можно
выразить в виде правила перехода. Фразу "Независимо от того, каким было
предыдущее состояние" можно понимать так: любое из возможных состояний
информационной базы может выступать в качестве предыдущего состояния.
Допустимость состояния информационной базы может зависеть от любого из
предыдущих состояний, а не только от самого последнего. История состояний
может воздействовать на допустимость очередного состояния лишь в той
степени, в какой она отражена в самом последнем состоянии. Поэтому
достаточно учитывать только последнее состояние.
Такие правила являются статическими, так как они применяются к
предложениям в одном состоянии информационной базы. Но их можно считать
динамическими, так как они управляют процессом вывода.
Выводимые предложения не только могут порождаться в процессе вывода в
информационной системе. Такие предложения могут быть вставлены явно. В
таких случаях "правила вывода" гарантируют непротиворечивость полученной
совокупности предложений, включая вставленные "выводимые" предложения.
3.6 Формулирование правил и ограничений
В ориентированных на состояния описаниях правила и ограничения
формулируютсякактребования,предъявляемыекпоследовательным
состояниям информационной базы. Тогда правило или ограничение является по
сути описанием множества пар состояний информационной базы <СТАРОЕ,
НОВОЕ>. Переход из состояния СТАРОЕ в состояние НОВОЕ допустим,
независимо от того, каким образом он осуществляется, тогда и только тогда,
когда пара <СТАРОЕ, НОВОЕ> присутствует в этом множестве.