Предыдущая страница реферата | 1  2  3  4 | Следующая страница реферата

Определение 5: Набор правил является конфлюэнтным если для каждого начального состояния выполнения правила S (получаемого из исходного состояния базы данных множеством воздействий пользователя) каждая валидная и законченная последовательность выполнения правил, начинающаяся с состояния S, имеет одно и тоже конечное состояние.

Определение 6:

Пусть R: C→A. Функция num определяет количество отношений, используемых в операторе where для части A (действие) правила (А.where) (точное определение не приводится из-за ограниченного объема работы).

Пусть R: C→A.

S(R) = набор атрибутов, которые выбраны в C

U(R) = набор атрибутов, которым присвоены значения в A

E(R) = набор атрибутов, используемых в правой части выражений присваивания в A

st-rule (стартовое правило) – это правило, которое запускается внешними или внутренними сгенерированными событиями. Его действие только модернизирует концепты, выбранные по его условию. Оно описывает изменение значений внутри того же концепта. St-rule представляет набор стартовых правил.

pr-rule (правило распространения) – это правило, которое передает изменения значений различным концептам через отношения между этими концептами. Это может быть признаком плохого проектирования, если правила передают изменения с помощью иных средств, нежели отношения концептов в AHS. Pr-rule представляет набор правил распространения.

Pri(R) – это число для представления приоритета порядка выполнения правила R.

AM(rel)ÍPr-rule – набор правил, которые распространяют изменения “через” отношения типа rel.

Далее мы рассмотрим ограничения, которые гарантируют, что выполнение набора правил конечно и конфлюэнтно, но оставляют автору известную степень выразительной мощности при написании правил распространения. Несколько первых ограничений показывают, что непосредственный прямой подход приводит к очень жестким ограничениям, что ограничивает свободу автора.

Ограничение 1: "Ri,RjÎAM: S(Ri)ÇU(Rj) = Æ.

Это ограничение означает, что правилам не позволено запускать друг друга.

Теорема 1: Набор правил AM, удовлетворяющий Ограничению 1, конечен.

Мы пропускаем (легкое) доказательство данной теоремы. Это ограничение является очень жестким, так как оно мешает процессу распространения. Тем не менее, оно, однако, не является достаточным, чтобы гарантировать конфлюэнтность.

Ограничение 2: "Ri,RjÎAM:

Ri не зависит от Rj: (S(Ri)ÈU(Ri)ÈE(Ri)) Ç U(Rj) = Æ.

Ri является самонезависимым: (S(Ri)ÈE(Ri)) Ç U(Ri) = Æ.

Это ограничение означает, что правилам не позволено воздействовать (активировать или деактивировать) друг друга или самих себя и порядок выполнения правил не будет влиять на конечный результат.

Теорема 2: Набор правил AM, удовлетворяющий Ограничению 2, конечен и конфлюэнтен. Мы также пропускаем (легкое) доказательство данной теоремы.

В то время как Ограничение 1 гарантирует только конечность, Ограничение 2 является достаточным условием для конечности и конфлюэнтности. Вычислительная сложность алгоритма проверки этих ограничений O(N2xM2), где N количество правил, а M – количество атрибутов. Эти ограничения очень строги в том смысле, что невозможно описать никакой процесс распространения (правило, которое активирует другие правила). Мы определи Ограничения 3-7 (и 7’), чтобы дать авторам бóльшую выразительную свободу.

Ограничение 3: AM = St-ruleÈPr-rule, "RiÎSt-rule, "RjÎPr-rule: Pri(Ri)>Pri(Rj).

Правило является семантически корректным в AHS, если оно удовлетворяет данному ограничению. Это значит, что набор правил состоит из стартовых правил и правил распространения. Данное ограничение также описывает то, что в каждой фазе перехода стартовые правила выполняются перед распространением. Приоритеты помогают, но их не достаточно для гарантирования конечности и конфлюэнтности.

Ограничение 4: “Граф” для каждого типа отношений концептов (исключая гиперссылки) ацикличен.

Рекомендуем скачать другие рефераты по теме: урок мира конспект, реферат традиции.



Предыдущая страница реферата | 1  2  3  4 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки