Глава 4. Реляционные объекты данных: домены и отношения.

4.1. Вводный пример

Домены

Отношение

К

А

Р

Д Ч

И И

Н С

А Л

Л О

Ь

Н

О

Е

Как отмечалось в главе 3, реляционная модель делится на три части, в которых рас­сматриваются соответственно объекты, целостность и операторы. Во всех трех частях есть свои специальные термины. Наиболее важные термины, используемые в части "объектов" (предмет настоящей главы), показаны на рис. 4.1. В качестве иллю­страции взята таблица S из базы данных поставщиков и деталей. Речь идет о терми­нах отношение, кортеж, кардинальное число, атрибут, степень, домен и первичный ключ (вы уже должны быть знакомы по крайней мере с терминами отношение и пер­вичный ключ). Сейчас мы дадим неформальное объяснение каждого термина, а в по­следующих разделах представим формальные определения.

Рис. 4,1. Отношение поставщиков S

Итак, вкратце:

•Отношение соответствует тому, что мы до сих пор называли таблицей.

• Кортеж соответствует строке этой таблицы, а атрибут — столбцу. Количество кор­тежей называется кардинальным числом, а количество атрибутов — степенью.

• Первичный ключ — это уникальный идентификатор для таблицы, т.е. столбец или такая комбинация столбцов, что в любой момент времени не существует двух строк, содержащих одинаковое значение в этом столбце или комбинации столбцов.

• И, наконец, домен — это общая совокупность значений, из которой берутся на­стоящие значения для определенных атрибутов определенного отношения. На­пример, домен, обозначенный S# на рис. 4.1 — это множество всех допустимых значений номера поставщика, а множество значений S# в отношении S в любой момент времени является подмножеством этого множества. Точно так же множе­ство значений S# в отношении SP в любой момент времени является подмножест­вом этого множества.

На рис. 4.2 представлен обзор этих терминов. Этот рисунок требует некоторых пояснений.

1. Нужно понимать, что "эквивалентности", показанные на рисунке, лишь приблизи­тельны, так как реляционные термины, перечисленные слева, имеют точные опре­деления, в то время как неформальные эквиваленты справа имеют лишь грубые, нестрогие определения.

Поэтому, например, отношение и таблица — это не одно и то же, хотя часто на практике удобно считать, что это так. (Далее в этой главе мы объясним точную разницу между отношением и таблицей.)

2. Понятие домена является иллюстрацией одного важного момента, о котором шла речь в главе 3, — не все реляционные системы поддерживают полностью все ас­пекты реляционной модели. На самом деле в главе 3 мы дали общее описание ре­ляционных систем, не упоминая доменов вообще.

Формальный реляционный термин	Неформальный эквивалент
Отношение	Таблица
Кортеж	Строка или запись
Кардинальное число	Количество строк
Атрибут	Столбец или поле
Степень	Количество столбцов
Первичный ключ	Уникальный идентификатор
Домен	Общая совокупность допустимых значений

Рис. 4.2. Реляционные объекты данных: терминология

В действительности большинство современных реляционных систем не поддер­живает домены в полной мере, несмотря на то, что они являются одной из фунда­ментальных составляющих реляционной модели в целом. Поэтому помните, что в следующих нескольких главах описывается только реляционная модель; поведе­ние же реляционной системы совсем не обязательно соответствует описанному. Теперь перейдем к формальному изложению.