Классика баз данных - статьи
a имеется не более одного
1.2 Для каждого a имеется не более одного b, для каждого b имеется ровно один a.
Пример: В заданной компании в заданный момент времени каждый служащий руководит не более чем одним отделом, и у каждого отдела имеется ровно один менеджер (из числа служащих, руководящих отделами). Замечание: Хотелось бы отметить мимоходом, что случаи такого рода происходят в связи с наследованием, как оно описано, например, в . Например, пусть A и B являются типами RECTANGLE и SQUARE соответственно, и пусть SQUARE является подтипом супертипа RECTANGLE. Тогда связь супертип/подтип является такой, что для заданного прямоугольника «имеется» соответствующий квадрат в том и только в том случае, когда этот прямоугольник в действительности является квадратом, и для заданного квадрата «имеется» соответствующий прямоугольник, являющийся в точности тем прямоугольником, которому соответствует данный квадрат. (Конечно, любой квадрат является прямоугольником, но многие прямоугольники квадратами не являются.) В этом примере связь от RECTANGLE к SQUARE и инверсная связь от SQUARE к RECTANGLE являются тождественными (т.е. «является тем же прямоугольником», или просто «равен»).
1.3 Для каждого a имеется не более одного b, для каждого b имеется не менее одного a.
Пример: В заданной компании в заданный момент времени каждый служащий работает не более чем в одном отделе (но некоторые служащие не относятся ни к какому отделу), и в каждом отделе работает, по меньшей мере, один служащий.
1.4 Для каждого a имеется не более одного b, для каждого b имеется много элементов a.
Пример: В заданной компании в заданный момент времени каждый служащий работает не более чем в одном отделе (но некоторые служащие не относятся ни к какому отделу), и в каждом отделе работает произвольное число служащих (возможно, не работает ни один служащий).
2.1 Для каждого a имеется ровно один b, для каждого b имеется не более одного a.
Пример: Это тот же случай, что и 1.2, но A и B поменяны местами. Тем самым, пример звучит следующим образом.
