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

  35790931     

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


Сущности типа событий – это такие сущности, частью описания которых является время возникновения либо время начала и/или время окончания. Заметим, что не все сущности с атрибутами времени являются событиями. Например, ассоциативная сущность, которая указывает, что поставщик 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 – для альтернативного предшествования.


Для иллюстрации использования этих графовых отношений предположим, что имеется база данных, которая включает записи заказов, помещаемые поставщиками, и записи поставок, которые принимаются как входные данные для инвентарной ведомости (соответствующие типы сущностей-событий будут называться заказами и поставками). Предположим также, что мы запрещаем принятие записей поставок в инвентарную ведомость, если не отсутствует какой-либо невыполненный заказ соответствующих товаров. Тогда отношение UP должно содержать кортеж (SUB:orders, SUP:shipments), наличие которого интерпретируется как утверждение, что каждому принятию записи поставки должен безусловно предшествовать какой-либо заказ. Кроме того, отношение AS должно включать некоторый кортеж, соответствующий утверждению, что одним из возможных событий-преемников для помещения заказа является принятие записи поставки (поставки могут, конечно, отвергаться). Такая интенсиональная информация может использоваться системой базы данных для того, чтобы подвергать сомнению допустимость принятия конкретных записей поставок, не охваченных соответствующими заказами.

В более общем смысле, отношения US, AS, UP, AP обеспечивают средства задания ограничений на вставку и обновление событийных отношений, поддерживающих некоторый тип событий. В остальном их поведение при вставке, обновлении и удалении определяется тем, являются ли они стержневыми или ассоциативными.


Содержание раздела