П. Г. Демидова А. В. Зафиевский А. А. Короткин А. Н. Лататуев Базы данных Учебное пособие

Замечание. Не все домены обладают логическим условием, 
ограничивающим возможные значения домена. В таком случае 
множество возможных значений домена совпадает с множеством 
возможных значений типа данных.
Замечание. Не всегда очевидно, как задать логическое усло-
вие, ограничивающее возможные значения домена. Например, 
по-видимому, невозможно задать условие на строковый тип 
данных, задающий домен «Фамилия сотрудника». Ясно, что стро-
ки, являющиеся фамилиями, не должны начинаться с цифр, 
служебных символов, мягкого знака и т. д. Но вот является ли 
допустимой фамилия, состоящая из бессмысленного набора букв 
типа «Нпрнеккккыыыов»? Очевидно, нет! Трудности такого рода 
возникают потому, что смысл реальных явлений далеко не всегда 
можно формально описать. Просто человек интуитивно пони-
мает, что такое фамилия, но никто не может дать такое формаль-
ное определение, которое отличало бы фамилии от строк, фами-
лиями не являющимися. Выход из этой ситуации простой – поло-
житься на разум сотрудника, вводящего фамилии в компьютер.
Определение 2.2. Атрибут отношения есть пара вида 
(
_
:
_
)
имя атрибута имя домена .
Имена атрибутов должны быть уникальны в пределах отно-
шения. Часто имена атрибутов отношения совпадают с именами 
соответствующих доменов.
Реляционное отношение (далее просто отношение), опреде-
ленное на множестве доменов с именами 
n
D
D
D
,
,
,
2
1

, – это 
именованный объект, содержащий две части: заголовок и тело.  

---

29 
Заголовок 


A D
A D
n
n
1
1
:
,...,
:
– это множество имен атрибутов 
или, точнее, пар вида 
(
_
:
_
)
имя атрибута имя домена
. Тело – это 
множество кортежей 


m
t
t
t
,
,
,
1
1

, где i-й кортеж имеет вид 


1
1
: , ...,
:
i
i
n
in
t
A v
A v

, где 
ij
v
– значение j-го атрибута 
j
A
в i-м 
кортеже, 
j
ij
D
v

.






1
11
2
12
1
2
21
2
22
2
1
2
2
:
,
:
, ...,
:
:
,
:
, ...,
:
..................................................
:
,
:
, ...,
:
n
n
n
n
m
m
m
n
mn
A v
A v
A v
A v
A v
A v
A v
A v
A v














(2.1) 
Все кортежи содержат одно и то же количество n элементов 
(число n  называется арностью или степенью отношения). 
В дальнейшем значение атрибута A
i
в кортеже t будем 
обозначать с помощью точечной нотации t.A
i
.