Курсовая работа: База данных по учёту видеокассет
Рис.2.2
В этом случае строится 2 отношения, при этом ключ односвязной сущности добавляется в отношение для многосвязной сущности.
По описанным выше алгоритмам получаем реляционную модель. В полученной модели есть ряд фиктивных отношений, предназначенных для реализации некоторых связей, организации целостности данных и выполнимости запросов (см.п.1.3).
3. МАТЕМАТИЧЕСКОЕ ОПИСАНИЕ РЕЛЯЦИОННОЙ МОДЕЛИ
3.1 Описание доменов
Математическое описание реляционной модели необходимо для облегчения пользователю задачи написания программ ее реализации на разных языках программирования.
Домен – это множество атомарных значений одного и того же типа.
Введем следующие понятия:
Length(x) – функция, возвращающая значение длины x;
String(x) – функция определения длины строки х;
Dom(x) – домен атрибута х;
По результатам описания сущностей (см.п.1.4) и созданной реляционной модели (см.п.2.3), можно сделать вывод о типичности отношений, что позволяет нам не описывать все отношения, а остановиться на конкретных примерах.
Текстовые атрибуты
К таким атрибутам можно отнести, например, атрибуты "Наименование заказчика" или "Адрес" и подобные им.
Dom (Отношение. Текстовый атрибут) = {x | String(x)}; где x – цепочка следующих друг за другом символов.
{String(x) = true, если Length(x) < С} or {String(x) = false, если Length(x) ³С},
где С-константа.
Её можно взять из таблицы атрибутов (см.табл.1.2). Приведём два примера.
1. Dom (Заказчики. Наименование заказчика) = {x | String(x)};
где x – цепочка следующих друг за другом символов.
{String(x) = true, если Length(x) < 20} or {String(x) = false, если Length(x) ³ 20}
2. Dom (Поставщики. Адрес) = {x | String(x)}; где x – цепочка следующих друг за другом символов.
{String(x) = true, если Length(x) < 20} or {String(x) = false, если Length(x) ³ 20}
Это правило распространяется на все текстовые атрибуты. Отличие заключается в ограничение на длину строки. Конкретную цифру получаем из таблицы атрибутов в столбце "Метод контроля" (см.табл.1.2).
Числовые атрибуты
К этой категории относят атрибуты отношений, например "Код поставщика", "Цена", "Количество" и т.д. Домены числовых атрибутов записываются так:
Dom (Отношение. Числовой атрибут) = {с1..с2}, где с1 и с2 – соответственно начало и конец диапазона.
Например,
Dom (Заказчики. Код заказчика) = {0…10000}.