Итак, отношение есть множество, элементами которого являются кортежи, которые, в свою очередь, состоят из элементов других множеств. При этом между любым кортежем отношения и самим отношением имеет место отношение принадлежности e, но не включения с . Кортеж представляет собой не множество, а упорядоченную последовательность элементов. Рассмотрим в качестве примера отношение отцы_и_дети. Это отношение между множеством мужчины и множеством люди: отцы_и_дети (мужчины, люди). Мы не будем сейчас определять предикат, задающий это отношение. Алгоритм определения отцовства может быть различным. Например, можно ограничиться только опросом всех мужчин на предмет, каких детей они имеют, провести генетическую экспертизу и т. п. Как бы то ни было, в результате мы получим множество всех кортежей вида (jcl, x2), в которых через jd и x2 обозначены люди, такие, что jd является отцом для x2. B качестве имен людей следует выбрать их уникальные идентификаторы. Фамилия, имя и отчество для этой цели вряд ли подойдут. Возможно, окажется достаточным использовать дополнительные паспортные данные, отпечатки пальцев или снимок радужной оболочки глаза. Очевидно, что множества отцов и женщин включаются в множество людей, но ни одна женщина не принадлежит множеству отцов. Поэтому в рассматриваемом отношении отцы_и_дети не будет ни одного кортежа, в котором на первом месте стояло бы имя женщины. Кроме того, ни один человек не может быть отцом для самого себя. Поэтому в отношении не будет ни одного кортежа, в котором первый и второй элемент совпадают. Эти и, возможно, другие особенности, характеризующие отношение, называются ограничениями его целостности.

Блог flycat.info – Не только о Linux и PDA