Домен. В самом общем виде домен определяется заданием некоторого базового типа
данных, к которому относятся элементы домена, и способа определения принадлежности
произвольного элемента типа данных домену. Например, домен Имена очевидным образом
определяется на базовом типе строк символов, но в число его значений могут входить только
те строки, которые могут изображать имя (в частности, такие строки не могут начинаться с
мягкого знака). Обычно такой способ определения принадлежности элемента типа данных
домену сводится к заданию некоторого логического выражения, применяемого к элементам
данных. Если вычисление этого логического выражения дает результат True, то элемент
данных является элементом домена. Таким образом, правильной интуитивной трактовкой
понятия домена является понимание домена как допустимого потенциального множества значений элементов данных определенного типа.
Кортеж, соответствующий данной схеме отношения, - это множество пар (имя атрибута,
значение), которое содержит одно вхождение каждого имени атрибута, принадлежащего
схеме отношения. Значение является допустимым значением домена данного атрибута (или
типа данных, если понятие домена не поддерживается). Тем самым, степень, или «арность»
кортежа, то есть число элементов в нем, совпадает с «арностью» соответствующей схемы
отношения.
Отношением называется произвольное конечное подмножество декартова произведения
одного или нескольких доменов.
Схема БД (в структурном смысле) - это набор именованных схем отношений. В
целом реляционная база данных представляется набором взаимосвязанных
отношений различного смыслового наполнения, а ее схема – списком имен
отношений, ее образующих, и совокупностью схем каждого из этих отношений.
