<На страницу назад | На страницу вперед >
Семантика неспецифических отношений
И отношение родитель-потомок, и отношение категоризации рассматриваются как специфические отношения, поскольку они точно определяют, как экземпляры одной сущности связаны с экземплярами другой. В полностью детализированной IDEF1X-модели все связи между сущностями должны быть выражены как специфические отношения. Однако при первоначальной разработке модели часто полезно устанавливать неспецифическое отношение между двумя сущностями. Эти неспецифические отношения детализируются на более поздних стадиях построения модели. Процедура детализации неспецифических отношений рассматривается в разделе 4.4.1.
Неспецифическое отношение, называемое также отношением многого_ко_многому, - это связь между двумя сущностями, при которой каждый экземпляр первой сущности связан с произвольным (в том числе нулевым) количеством экземпляров второй сущности, а каждый экземпляр второй сущности связан с произвольным (в том числе нулевым) количеством экземпляров первой сущности. Например, если служащий может быть занят во многих проектах, а в проекте может быть занято много служащих, то отношение между сущностями СЛУЖАЩИЙ и ПРОЕКТ является неспецифическим отношением. При дальнейшей разработке модели неспецифическое отношение может быть заменено на специфическое отношение посредством введения третьей сущности, такой, как ИСПОЛНИТЕЛЬ_ПРОЕКТА, являющейся общей сущностью-потомком в определенных отношениях связи с сущностями СЛУЖАЩИЙ и ПРОЕКТ. Новые отношения будут определять, что служащий занят в произвольном количестве (в том числе нулевом) проектов и что проект обладает произвольным (в том числе нулевым) количеством исполнителей. Каждый исполнитель проекта существует только для одного служащего и только для одного проекта. Сущности, введенные для разрешения неспецифического отношения, называются иногда сущностями пересечения или ассоциативными сущностями.
Неспецифическое отношение может быть далее определено с помощью указания мощности на обоих направлениях отношения. Для определения неспецифического отношения может использоваться любая комбинация мощностей. А именно для каждого экземпляра первой сущности может быть следующее количество экземпляров второй сущности:
а для каждого экземпляра второй сущности может быть следующее количество экземпляров первой сущности:
Заметим, что если на любом из концов отношения имеется мощность "ровно один", то отношение является специфическим.
Синтаксис неспецифических отношений
Неспецифическое отношение изображается линией, соединяющей две связанные сущности и имеющей точки на обоих концах (см. рис.3-6). Мощность может указываться на обоих концах отношения, согласно тому, как показано на рис. 3-2. Рядом с точкой помещается буква Р (positive), указывающая на то, что для каждого экземпляра сущности с другого конца отношения существует один или несколько экземпляров сущности на конце с буквой Р. Рядом с точкой помещается буква Z для указания того, что для любого экземпляра сущности на другом конце отношения имеется ноль или один из экземпляров сущности на конце с буквой Z. Аналогично для указанного значения мощности рядом с точкой может размещаться положительное целое число или диапазон таких чисел. Установкой по умолчанию для мощности является "ноль, один или много".
Неспецифическому отношению дается двойное имя. Имена отношений выражаются грамматическими оборотами глаголов (глагол, дополненный, возможно, наречиями и предлогами), размещаемыми рядом с линией отношения и разделенными косой чертой.
Порядок имен отношений зависит от относительных позиций сущностей. Первое имя выражает отношение либо от левой сущности к правой (если сущности расположены горизонтально), либо от верхней сущности к нижней (если сущности расположены вертикально). Второе имя выражает отношение в противоположном направлении, т.е. в зависимости от ориентации, либо от правой сущности к левой, либо от нижней сущности к верхней. Отношение называется таким образом, чтобы при соединении имен сущности с именами отношения получались предложения. Например, из неспецифического отношения с меткой "имеет/занят" между сущностями ПРОЕКТ и ИСПОЛНИТЕЛЬ могут быть сформулированы утверждения "Проект имеет ноль, один или много служащих" и "Служащий занят ни в одном, в одном, или во многих проектах". (Эта последовательность предполагает, что сущность ПРОЕКТ появляется выше или левее сущности ИСПОЛНИТЕЛЬ.)
Рис. 3-6. Синтаксис неспецифических отношений
Правила неспецифических отношений