Классика баз данных - статьи
у каждого отдела имеется ровно
В заданной компании в заданный момент времени у каждого отдела имеется ровно один менеджер (т.е. служащий, управляющий отделом), и каждый служащий руководит не более чем одним отделом.
2.2 Для каждого a имеется ровно один b, для каждого b имеется ровно один a.
Пример: В заданной транспортной компании для заданного груза имеется в точности одна соответствующая накладная, и для заданной накладной имеется один соответствующий груз.
2.3 Для каждого a имеется ровно один b, для каждого b имеется не менее одного a.
Пример: В заданной компании в заданный момент времени каждый служащий работает ровно в одном отделе, и в каждом отделе работает не менее одного служащего.
2.4 Для каждого a имеется ровно один b, для каждого b имеется много элементов a.
Пример: В заданной компании в заданный момент времени каждый служащий работает ровно в одном отделе, и в каждом отделе работает произвольное число служащих (возможно, не работает ни один служащий). Другой пример: у каждого человека имеется ровно одна биологическая мать, и каждая женщина является биологической матерью нуля или более детей.
3.1 Для каждого a имеется не менее одного b, для каждого b имеется не более одного a.
Пример: Это тот же случай, что и 1.3, но A и B поменяны местами; см. случай 1.3.
3.2 Для каждого a имеется не менее одного b, для каждого b имеется ровно один a.
Пример: Это тот же случай, что и 2.3, но A и B поменяны местами; см. случай 2.3.
3.3 Для каждого a имеется не менее одного b, для каждого b имеется не менее одного a.
Пример: У каждой книги имеется не менее одного автора, каждый автор (т.е. автор книг) по определению является автором не менее одной книги.
3.4 Для каждого a имеется не менее одного b, для каждого b имеется много экземпляров a.
Пример: На любых спортивных соревнованиях имеется, по крайней мере, один победитель (возможно большее число победителей, если допускаются ничьи), любой участник соревнований является победителем нуля или большего числа соревнований.
4.1 Для каждого a имеется много элементов b, для каждого b имеется не более одного a.
