Формализация реляционной базы данных
Реляционная база данных (БД) – это совокупность отношений. Отношением
называется таблица, которая обладает следующими свойствами:
· все элементы каждого ее столбца имеют одинаковую природу;
· каждый столбец имеет уникальное имя;
· в таблице нет двух одинаковых строк;
· информативность таблицы не зависит от порядка расположения строк или столбцов.
Строки отношения называются кортежами. Каждый столбец отношения имеет уникальное имя, которое называется наименованием атрибута или просто атрибутом. Множество допустимых значений атрибута образует домен атрибута, который обозначается как dom (н-р, домен атрибута А – dom(A)), а множество допустимых значений всех атрибутов отношения - домен отношения
(обозначается буквой D). Количество атрибутов в отношении, как правило, остается неизменным в течение жизни БД и называется степенью отношения. Количество кортежей определяет мощность отношения (кардинальное число), которая в свою очередь постоянно изменяется во времени.
Реляционные базы данных составляют основу оперативных хранилищ информации, где над данными осуществляется 3 операции: добавление, правка, удаление. Декомпозиция обусловлена проблемами, которые возникают при выполнении этих операций.
У реляционной модели БД существует аппарат, который позволяет формализовать операции этой модели (реляционная алгебра). Также доступ к данным должен быть независим от ПО.
Формализация реляционной БД – это представление БД в виде отношения со всеми вытекающими из этого последствиями. Также реляционная модель требует, чтобы типы используемых данных были простыми.
