1.4Дополнительные требования…
Приводятся дополнительные требования, необходимые для описания предметной области.
1.5Модели предметной области каждого из пользователей в виде диаграмм "Объекты/связи"…
Диаграмма это графическое изображение структуры БД с использованием ER-модели. В диаграммах используются следующие фигуры:
Объект - Связь- Атрибут -
Логическая (концептуальная) модель предметной области с использованием реляционной модели. При этом необходимо выполнить следующее…
Разработать схемы базовых отношений…
Для построения логической модели важным является понятие переменной отношения. В теории реляционных баз данных под переменной отношения понимают произвольное отношение, в некоторых случаях – произвольное отношение с заданной схемой. Для того, чтобы задать значение переменной отношения необходимо задать схему отношения и тело отношения. Схему отношения (заголовок отношения) можно задать как множество имен атрибутов, точнее множество пар вида (<имя_атрибута>, <имя_домена>). Тело отношения это множество кортежей. Каждый кортеж – упорядоченное множество значений имен атрибутов. С каждым значением в кортеже связано имя атрибута, т.е. кортеж можно понимать как множество пар (<имя_атрибута>, <значение_атрибута>). Т.к. отношение это множество, то в отношениях нет двух одинаковых кортежей. Следовательно, в каждом отношении существует хотя бы один первичный ключ. Значения всех атрибутов должны быть атомарными. Это означает, что ни один атрибут не возможно разделить на части, которые являются свойствами какого-либо объекта из предметной области. Под базовыми отношениями понимают отношения, которые не возможно выразить через другие отношения. Обычно, каждому объекту из предметной области, определенному пользователем во внешней модели, соответствует отношение в логической модели.
Описать домены атрибутов всех отношений…
Домен назначается для каждого атрибута каждого отношения. Под доменом понимают множество значений, которые может принимать данный атрибут. Чаще всего домен не совпадает с множеством, определяемым типом атрибута. Например, атрибут количество_товара имеет цифровой тип, но его домен – это неотрицательное число. Понятие типа атрибута задается на физическом уровне трех уровневой модели ANSI/SPARC, и в данном разделе его указывать не следует.
Построить множество функциональных зависимостей…
Пусть R – является переменной отношения. A – множество его атрибутов. X и Y являются произвольными подмножествами множества атрибутов отношения R ( X Y . Говорят, что Y функционально зависит от X тогда и только тогда, когда для любого допустимого значения отношения R, если два кортежа отношения R совпадают по значению атрибутов, имена которых находятся во множестве X, то эти кортежи обязательно совпадают по значениям атрибутов, имена которых находятся во множестве Y. Если Y функционально зависит от X то это записываю следующим образом: X→Y.
Наличие функциональной зависимости (ФЗ) определяется внешней моделью предметной области. Например, если для отношения Поставки со схемой A={Поставщик, Статус, Город, товар, количество} пользователь во внешней модели установил ограничение, заключающееся в том, что поставщики не имеют филиалов, то в логической модели необходимо ввести ФЗ {Поставщик} {Город}.
Обозначим множество функциональных зависимостей отношения R через S.
Множество всех ФЗ, которые можно получить из S, будем называть замыканием множества ФЗ S и обозначать через S+.