 |
Реляционная модель. Структурная и целостная части
|
|
|
|
Структурная часть
Реляционная модель данных является математической основой языка SQL, в которой приведено строгое формальное описание всех реляционных объектов, и ее изучение интересно именно с этой точки зрения.
Такие понятия, как таблица, строка, столбец и т.д., являются точными, но не достаточно формальными терминами для строгого математического описания реляционных объектов. При разработке реляционной модели за основу была принята теория множеств, а в качестве математической модели таблицы используется отношение (relation), которое определяется в терминах теории множеств. Собственно, и термин «реляционная» произошел от английского термина relation (иногда в литературе используется термин «реляция»).Соответствие между реляционной и общепринятой терминологией приведено в таблице 2.1.
Таблица 2.1. Соответствие между реляционными и общепринятыми терминами
| Общепринятый термин | Реляционный термин |
| Таблица | Отношение |
| Строка | Кортеж |
| Столбец | Атрибут |
| Множество допустимых значений столбца | Домен, на котором определен атрибут |
| Количество столбцов | Степень или арность |
| Количество строк | Кардинальное число |
Для каждого реляционного термина приведем его формальное определение.
Атрибуты и домены. Схема отношения
Атрибут определяется как именованный атомарный (неделимый) элемент данных. Множество допустимых значений атрибута называется доменом, на котором определен данный атрибут. Каждый атрибут определен на своем домене, при этом допустимы одинаковые домены для различных атрибутов. Сравнивать между собой можно только значения атрибутов, определенных на одинаковых доменах.
Определение домена очень близко к определению типа данных в языках программирования. В самом общем виде домен определяется заданием некоторого базового типа данных, и произвольного логического выражения, применяемого к каждому элементу данных. Если вычисление этого логического выражения дает результат "истина", то элемент данных является элементом домена.
|
|
|
В большинстве реляционных СУБД объект «домен» не используется, но для каждого атрибута задается базовый тип и ряд ограничений (constraints), которые проверяются для каждого значения атрибута. В последнем стандарте SQL специфицирована команда create type…, которая позволяет конструировать произвольные типы данных, что еще точнее соответствует понятию домена, введенного Коддом для реляционных баз данных.
Схема отношения - это именованное множество упорядоченных пар
(имя атрибута: имя домена).
Степень или "арность" схемы отношения - мощность этого множества (количество элементов, входящих в множество). Например, если в схему отношения входит всего два атрибута, то отношение называется бинарным, если три – тернарным.
Схема БД - это набор именованных схем отношений.
Кортежи. Отношение
Кортеж, соответствующий данной схеме отношения, - это множество упорядоченных пар
(имя атрибута: значение атрибута),
которое содержит по одному вхождению каждого имени атрибута, принадлежащего схеме отношения.
Значение атрибута является допустимым значением из домена данного атрибута. Арность кортежа, т.е. число элементов в нем, совпадает с арностью соответствующей схемы отношения. Таким образом, можно считать кортеж математической моделью одной (любой) строки таблицы.
Отношение - это множество кортежей, соответствующих одной схеме отношения. В определении Дейта [1] схема отношения называется заголовком отношения, а множество кортежей - телом отношения. Заголовок отношения соответствует заголовку («шапке») таблицы, тело отношения соответствует всей совокупности данных, содержащихся в таблице.
|
|
|
Из определения отношения следуют его основные свойства:
· в отношении не может быть двух одинаковых кортежей (согласно определению множества, все его элементы уникальны)
· кортежи не упорядочены, атрибуты также не упорядочены (это свойство также является неотъемлемым свойством любого множества).
Добавим к этому, что имена всех атрибутов в пределах одного отношения должны быть уникальны.
Реляционная база данных - это набор отношений, имена которых совпадают с именами схем отношений в схеме БД.
|
|
|
A) простая, единая, целостная форма национально-государственного устройства, при которой территория государства подразделяется на административно-территориальные единицы.
A- сначала в передней части
VI. Заявки на участие
Автокорреляционная функция сигналов
В графической части
В левой части уравнения величина ЕА означает
В левой части формулы представлена
В-ПЯТЫХ, ДЕЕПРИЧАСТИЯ
В-ШЕСТЫХ, ПРИЧАСТИЯ, ГЛАГОЛ «ИДЕ»
Вечная (perennial) модель.
