А.В. Брешенков
2
Для всех атрибутов необходимо обеспечить выполнение условия
1
...
...
,
1, ,
j
n
i
i
i
T e
T e
T e j
n
где
j
i
T e
— тип
j
-го элемента атрибута
A
i
.
•
Каждый столбец имеет уникальное имя
:
1
...
...
,
1, .
i
k
A A A i
k
•
Одинаковые строки в таблице отсутствуют
:
1
...
...
,
1, ,
i
n
S
S
S i
n
1
, ...,
, ...,
,
1, .
j
k
i
i
i
i
S e
e
e j
k
•
Порядок следования столбцов и строк может быть произволь-
ным
.
В общем случае ИТВ этими свойствами не обладает. Более того,
заголовки столбцов исходных таблиц и элементы данных могут рас-
полагаться на нескольких строках, в заголовках столбцов могут при-
сутствовать запрещенные с точки зрения БД символы («.», «!» и др.).
Все это недопустимо для реляционных таблиц. В связи с этим пер-
вым шагом преобразования в файлы РБД является
генерация таблиц
,
обладающих перечисленными свойствами, на основе ИТВ.
Для решения этой проблемы сначала нужно разработать фор-
мальную модель ИТВ и формальную модель реляционных таблиц,
а затем на основе их использования разработать метод, обеспечива-
ющий выполнение сформулированных условий и преобразование
ИТВ к реляционному виду.
Проблема нормализации заполненных таблиц.
После того как
информация приведена к реляционному виду, нет никакой гарантии,
что получены самые удачные таблицы с точки зрения их представле-
ния и использования в БД. Сформулируем постановку задач приве-
дения заполненных таблиц к нормальным формам.
Постановка задачи приведения отношений к первой нормаль-
ной форме
.
Дано отношение
1
, ...,
, ...,
,
1, ,
i
k
R A A A i
k
причем
1
, ...,
, ...,
,
1, ,
n
j
i
i
i
i
А A A A j
n
1
, ...,
, ...,
,
1, ,
j
j
j
j
t
p
i
i
i
i
A A
A
A t
p
