При проектировании РБД на основе использования существующей
ИТВ происходит слияние инфологического и датологического этапов
проектирования. Это связано с тем, что при наличии данныхразра-
ботчик имеет возможность использовать инструментальные средства
СУБД на раннихэтапахпроектирования БД.
Физическое проектирование
позволяет привязать датологиче-
скую модель к среде хранения. На этом этапе выбираются носитель
данных, внутренние форматы их хранения, методы доступа к данным,
методы сжатия данных, реализуются меры по безопасности данных.
Этот этап мало связан с концептуальной моделью данныхи практиче-
ски не зависит от того, использовалась ли ИТВ при проектировании
РБД. Более того, современные инструментальные СУБД берут на себя
значительную часть решения проблем физического проектирования.
Основным понятием РМД является
отношение
.
В РМД считается классическим следующее определение от-
ношения. Пусть задано множество из
n
типов, или доменов,
T
i
(
i
= 1
, . . . , n
), причем все они необязательно должны быть различ-
ными. Тогда
r
будет
отношением
определенным на этихтипах, если
оно состоит из двухчастей, заголовка и тела (заголовок еще иногда
называют схемой, переменной или отношением или
интенсиона-
лом отношения
, а тело — расширением, значением переменной или
отношением или
экстенсионалом отношения
), где
заголовок — это множество, состоящее из
n
атрибутов вида
A
i
:
T
i
;
здесь
A
i
— имена атрибутов отношения
r
, а
T
i
— соответствующие
имена типов;
тело — это множество, состоящее из
m
кортежей
t
; здесь
t
— мно-
жество компонентов вида
A
i
:
v
i
, в которых
v
i
— значение типа
T
i
, т.е.
значение атрибута
A
i
в кортеже
t
[1].
Отношение можно представить как таблицу, где каждая строка —
это кортеж, а каждый столбец — множество значений одного атри-
бута. Таблица, соответствующая отношению из
k
атрибутов, должна
удовлетворять следующим свойствам:
•
каждая строка представляет собой кортеж из
k
значений, принад-
лежащих
k
столбцам;
•
каждый кортеж содержит точно одно значение (соответствующе-
го типа) для каждого атрибута;
•
порядок столбцов фиксирован (
1
,
2
, . . . , k
);
•
порядок строк произволен;
•
любые две строки различаются хотя бы одним элементом;
•
cтроки и столбцы могут обрабатываться в любой последователь-
ности, определяемой применяемыми операциями обработки.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 4 45