Правило перехода различает допустимые и запрещенные пары состояний
информационной базы. Оно может рассматриваться как двоичная функция,
которая помечаеткаждуюпарусостоянийинформационной базы или
"+" (допустимая), или "-" (запрещенная), что определяет дихотомию декартова
произведения множества всех состояний информационной базы самой на себя.
Такая дихотомия есть декомпозиция на два множества -+ допустимых и-
запрещенныхизменений. + можноназватьположительным,а-
отрицательным расширением правила. Для описания дихотомии можно
использовать любое из двух множеств. Эффект правила перехода полностью
определяется как его положительным, так и отрицательным расширением.
Вориентированныхнадействиеописанияхдопустимыеизменения
определяются последовательностями допустимых действий. Допустимость
действий или последовательности действий может зависеть от текущего
состояния. Поэтому правило или ограничение является множеством пар, каждая
из которых состоит из компонента состояния информационной базы и
компонента последовательности действий.
В ориентированных на действие описаниях правило определяет, что переход
допустим, если, начиная от допустимого состояния СТАРОЕ, переход
осуществляется посредством последовательности действий Q такой, что пара
<СТАРОЕ, Q> присутствует в множестве, заданном правилом. Допустимость
может прослеживаться назад, до начального состояния и всех действий,
осуществленных над ним вплоть до текущего момента.
Для того чтобы получить конечные описания теоретически бесконечных
последовательностей действий (на длину последовательностей действий
ограничений нет), необходимо определить классы действий. Ориентированное
на действие правило определено на классах последовательностей действий. В
частности, последовательность действий может состоять только из одного
элементарного действия. Сложные правила образуются посредством композиций
действий в допустимое действие (для данного отправного состояния).
Допустимое действие завершается успешно либо неуспешно как одно целое.
Действия, из которых складывается допустимое действие, могут не быть
допустимыми по отдельности.
Все установленные правила и ограничения вместе можно рассматривать как
одновсеобщееправило,управляющеевсейинформационнойбазой.
Требованием к языку является возможность составления сложных правил и
ограничений из более простых. Разложение на более простые правила должно
заканчиваться предопределенными примитивными правилами. Примитивное
правило должно быть просто структурированным, легко обозримым множеством
пар состояний информационной базы или состояния информационной базы и
последовательности действий.
3.7 Координация допустимых действий
Вседействия,выполняемыеинформационнымпроцессоромнад
информационной базой и концептуальной схемой, должны производиться в
терминах допустимых действий. В силу этого любой процесс, выполняемый
информационным процессором, будет состоять из одного или нескольких
допустимых действий.