Высказывание по группе отношений
sergey shishkinДля использования в работе введённых групп отношений необходимо описать операцию формирования высказывания по группе отношений. Обозначаться такое высказывание будет квадратными скобками вокруг группы с указанием уникального имени, выбранного для обозначения фиксированного набора значений всех отношений из указанной группы, например [InnerLink]start(Obj). Возможно несколько вариантов указания требований к значениям отношений внутри группы:
- требование истинности всех отношений в группе, задаётся знаком ∀ и наименование для этого случая можно опустить. Например, утверждение о наличии связи для любой пары объектов из множества Obj;
- требование истинности хотя бы одного отношения из группы, задаётся знаком ∃ и наименование для этого случая можно опустить. Например, утверждение о наличии связи хотя бы одной пары объектов из множества Obj;
- требование истинности конкретного числа N отношений из группы обозначается именем Count(N). Например, утверждение о наличии только двух связей для всех пар объектов из множества Obj;
- именованное требование истинности только перечисленных отношений из группы. Для краткой записи именованного требования используется, следующая запись: [Some](Obj)≡[Link(Obj)]Some. Например, утверждение о наличии только двух связей для пар объектов.