Лекция 4_Реляционная модель данных
.pdfРеляционная модель данных
Отношение и таблицы. Сопоставление.
Элемент реляционной модели |
Форма представления |
|
|
Отношение |
Таблица |
|
|
Кортеж |
Строка таблицы |
|
|
Заголовок (схема) отношения |
Строка заголовков столбцов |
|
таблицы (заголовок таблицы) |
|
|
Атрибут |
Заголовок столбца таблицы |
|
|
Значение атрибута |
Значение поля в записи |
|
|
Домен |
Множество допустимых значений |
|
атрибута |
|
|
Первичный ключ |
Один или несколько атрибутов |
|
|
Тип данных |
Тип значений элементов таблицы |
|
|
* Представленные здесь сопоставления не говорят о равнозначности использования терминов.
11
Реляционная модель данных
Отношение и таблицы. Особенности.
12
Реляционная модель данных
Ключ отношения. Определение через понятие множества.
Ключом (потенциальным, возможным) переменной
отношения является такое подмножество S множества
атрибутов ее заголовка, что в любое время значение первичного ключа (составное, если в состав этого ключа входит более одного атрибута) в любом кортеже тела отношения отличается от значения ключа в любом другом
кортеже тела этого отношения, а никакое собственное
подмножество S этим свойством не обладает.
13
Реляционная модель данных
Понятие «Надключа» отношения
Надключ (суперключ) отношения
14
Реляционная модель данных
Понятие «Надключа» отношения
Сколько надключей?
15
Реляционная модель данных
Ключ (потенциальный) и надключ
Определение через понятие «надключа»
16
Реляционная модель данных
Классификация ключей
• По составу
oПростой (один атрибут в ключе)
oСоставной (несколько атрибутов)
•По естественности
oЕстественные (реальные атрибуты)
oСуррогатные (id кортежа)
•По приоритету
oПервичные (primary)
o Дополнительные (secondary)
17
Реляционная модель данных
Составной ключ
Пример составного ключа
18
Реляционная модель данных
Выбор ключей
19
Реляционная модель данных
Фундаментальные свойства отношения
Отсутствие кортежей-дубликатов, наличие потенциальных ключей отношения
То свойство, что тело любого отношения никогда не содержит кортежей-дубликатов, следует из определения тела отношения как множества кортежей. В классической теории множеств по определению любое множество состоит из различных элементов.
Отсутствие упорядоченности кортежей
Формально свойство отсутствия упорядоченности кортежей в значении отношения также является следствием определения тела отношения как множества кортежей.
Отсутствие упорядоченности атрибутов
Атрибуты отношений не упорядочены, поскольку по определению заголовок отношения есть множество пар <имя атрибута, имя домена>.
Атомарность значений атрибутов
Значения всех атрибутов являются атомарными (скалярными). Это следует из определения домена как потенциального множества значений скалярного типа данных, т. е. среди значений домена не могут содержаться значения с видимой структурой, в том числе множества значений (отношения).
20