Расширение реляционной модели для лучшего отражения семантики


Предшествование событий


Сущности типа событий – это такие сущности, частью описания которых является время возникновения либо время начала и/или время окончания. Заметим, что не все сущности с атрибутами времени являются событиями. Например, ассоциативная сущность, которая указывает, что поставщик x

может поставить деталь y со сроком доставки, равным трем месяцам, сама по себе не является событием.

В некоторых базах данных важную роль играет упорядоченность событий во времени. Обеспечение регистрации этого упорядочения на уровне типа представляет собой шаг в направлении поддержки сценариев (script) (см. [17]).

Событие e1 следует за событием e2, если e1 возникло/началось является строго позже, чем возникло/окончилось e2

(в соответствии с тем, воспринимаются ли эти события как мгновенные или нет). За некоторыми типами событий безусловно следуют один или несколько других типов событий. Такое следование обычно представляет собой частичный порядок. Оно представляется в RM/T отношением безусловного следования (unconditional successor relation, US-отношение) – графовым отношением на RN-домене. (SUB:m, SUP:n) принадлежит этому отношению, если событие типа e(m) должно следовать за событием типа e(n), и не существует какого-либо промежуточного типа событий e такого, что e является безусловным преемником e(m), а e(n) – безусловным преемником e.

Подобным же образом, некоторые типы событий являются альтернативными преемниками других событий, и это альтернативное следование представляется отношением альтернативного следования (alternative successor relation, AS-отношение) таким же образом, как и безусловное следование.

Если событие e2 следует за событием e1, то это, очевидно, означает, что e1 является предшественником e2, но это не означает, что e1 обязательно является единственным предшественником e2, даже если e2 – единственный преемник e1. Следовательно, нам необходимы два дополнительных графовых отношения для описания предшествования между типами событий: UP – для безусловного предшествования и AP – для альтернативного предшествования.




Начало  Назад  Вперед



Книжный магазин