ГОСТ Р 56271-2014
П р и м е р — Множество определений
{Л(х)оЗу.(В{у)лЩх.у))1
В(х)«-+C(x)vD(x)}
это действительное множество шаблонов, а множество определений
(А(х)^Зу.(В(у)лЩх.у)).
B(x)«-»C(x)vA(x>}
4.3 Протошаблоны
Протошаблоны являются базовой формой шаблонов. Они реализуют слой абстракции сразу над
реляционными типами сущностей ИСО 15926-2 путем сокрытия конкретизированных (см. 2.1.21) отно
шений ИСО 15926-2.
Каждый протошаблон основывается на двух аксиомах в логике первого порядка FOL. Первая ак
сиома дает краткую форму реляционного типа сущности. Предикат протошаблона называется прото-
тройкой (прото-триплетом).
Предположим, что R — это реляционный тип сущности в ИСО 15926-2. и что R имеет две роли: г1
и г2. Прото-тройка для R. Rtriple. определяется как:
Rtriple(z.x.y) 4-» R(z)AhasR1(z,x)AhasR2(z.y)
Если реляционная сущность Т наследует свою роль из супертипа R. то прото-тройка TTriple опре
деляется как:
TTriple(z.x.y) <-»Т(г)лЯТпр1е{г.х,у).
Предложение (бинарное) протошаблона выражает отношение между двумя заполнителями роли
соответствующего реляционного типа сущности. Протошаблон для R. RTomplato. определяется как
RTemplato(x.y)3z(RTrip!e(z.x.y)).
Аксиомы, определяющие лротошаблоиы для реляционных типов сущностей ИСО 15926-2, пред
ставлены в приложении С. Краткий листинг всех протошаблонов дан в приложении D.
4.3.1 entityTriple
Сказуемое entityTriple определено в разделе С.З, как дизъюнкция всех протошаблонов, данных в
разделах С.1 и С.2. Данная тройка позволяет получить краткие выражения утверждений, применимых ко
всем реляционным типам сущностей.
4.4 Диаграммы
Настоящий раздел определяет порядок интерпретации диаграмм.
Класс представляется прямоугольником, разделенным пополам. Верхняя часть содержит обозна
чение. нижняя определяет тип сущности ИСО 15926-2 класса. Класс с обозначением А и типом сущ
ности Class показан на рисунке 2.
А
cm*
Рисунок 2 — Диаграмма класса
Зависимость показана двойным ромбом и соединительной линией, идущей к прямоугольнику, по
казывающему тип сущности и (по выбору) обозначение зависимости. Зависимость с обозначением R и
тип сущности ClassOfConnectionOfindividual показаны на рисунке 3 (справа с обозначением, слева без
обозначения).
Рисунок 3 — Диаграмма зависимости
Отношение (экземпляр зависимости) показывается аналогично зависимости, но с одинарным
ромбом. Отношениям в общем случае не дают обозначений. На рисунке 4 показано отношение с типом
сущности ConnectionOflndividual.
8